C++ Logo

std-proposals

Advanced search

Re: [std-proposals] atomic_compare_exchange_and_notify

From: Andrey Semashev <andrey.semashev_at_[hidden]>
Date: Fri, 16 Jan 2026 05:39:04 +0300
On 16 Jan 2026 02:13, Jonathan Wakely wrote:
>
> On Thu, 15 Jan 2026 at 22:30, Andrey Semashev via Std-Proposals <std-
> proposals_at_[hidden] <mailto:std-proposals_at_[hidden]>> wrote:
>
> On 15 Jan 2026 23:11, Ryan P. Nicholl wrote:
> >> If you're having in mind a specific usage scenario involving
> std::latch,
> > where one of the waiters destroys the latch as soon as it wakes
> up, then
> > that would be an error of the user of std::latch.
> >
> > The standard explicitly says this is allowed and well defined
> behavior.
>
> Could you point to the specific standard wording that says this?
>
> For std::mutex it's here:
> https://eel.is/c++draft/thread#mutex.class-note-1 <https://eel.is/c+
> +draft/thread#mutex.class-note-1>

Thanks, although notes are not normative, are they?

> I don't know that std::latch says it.

I didn't find any such wording for std::latch, which is why I was asking.

Received on 2026-01-16 02:39:08