C++ Logo

sg15

Advanced search

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

From: Timur Doumler <cpp_at_[hidden]>
Date: Mon, 20 Oct 2025 14:31:01 +0200
> On 20 Oct 2025, at 13:53, Ville Voutilainen <ville.voutilainen_at_[hidden]> wrote:
>
> On Mon, 20 Oct 2025 at 14:36, Timur Doumler <cpp_at_[hidden]> wrote:
>>
>> That is not really an option 4, but rather a completely different feature, precisely because it loses the ability to change the semantic at build time. So really your option 4 is the same as my option 3: not standardise a feature that lets you change the semantic at build time.
>
> It doesn't lose the ability you speak of, and is nothing at all like
> your option 3, because when supplied alongside P2900, it easily
> attenuates if not completely alleviates the concerns about plain
> P2900.

I don't understand this. How can a specification simultaneously provide and not provide the ability to enable/disable a check via a build
flag?

Timur

Received on 2025-10-20 12:31:14