On Tue, Oct 14, 2025 at 11:12 AM Gabriel Dos Reis <gdr_at_[hidden]> wrote:

> > The reason for this is that if you currently use a macro like
> MY_LIB_ASSERT(x), then you have control over what it does, even when your
> header is used by someone else.
>


>
> - Can you think of a way to guarantee the above is true?
>
>
>
> For the interest of the conversation, I would confess upfront that I don’t
> know everything (unlike some among us in this august forum).
>
> One way I know of protecting my macros from interference from the
> “outside” is to use #pragma push_macro, supported by GCC
> <https://gcc.gnu.org/onlinedocs/gcc/Push_002fPop-Macro-Pragmas.html>,
> Clang, and MSVC
> <https://learn.microsoft.com/en-us/cpp/preprocessor/push-macro?view=msvc-170>,
> to protect my macro definitions. Then interfering with it would require
> any of similar means as interfering with any other portion of the code that
> I author without macros. But, then again, I didn’t make the claim of the
> impossibility you made earlier.
>

While you could use push_macro to protect changes to that one macro when
you use it you would also provide some way to control the semantics of
MY_LIB_ASSERT when used. It's very likely that control, which is what I
think John was referring to, could be changed by any user (including
yourself). One of those well used methods is defining, or not, NDEBUG. What
I'm saying is that if you have any control anyway, not just you, can
manipulate that control.

-- 
-- René Ferdinand Rivera Morell
-- Don't Assume Anything  -- No Supongas Nada
-- Robot Dreams - http://robot-dreams.net