C++ Logo

sg15

Advanced search

Re: [isocpp-sg15] [isocpp-sg21] P3835 -- Different contract checking for different libraries

From: René Ferdinand Rivera Morell <grafikrobot_at_[hidden]>
Date: Tue, 14 Oct 2025 10:40:37 -0500
On Tue, Oct 14, 2025 at 10:09 AM Gabriel Dos Reis <gdr_at_[hidden]> wrote:

> I am not quite sure I see how the impossibility follows from that
> statement, though. Are there some other assumptions at play?
>

Perhaps there's some method I don't know about. So I'll ask you.. Given
what John said:

> 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?

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

Received on 2025-10-14 15:40:52