On 6/20/23 08:10, Jeremy Hurwitz via Std-Proposals wrote:
> > Is this a defect in the current spec? Thanks!
>
> Since C++17, std::atomic value-initializes its contained value, see:
>
> http://eel.is/c++draft/atomics#types.operations-2
> <http://eel.is/c++draft/atomics#types.operations-2>
>
> Therefore it cannot be trivially-constructible. std::atomic<bool> is not
> special in this regard.
>
>
> Good catch. Verified via godbolt that
> `std::is_trivially_constructible_v<std::atomic<bool>>` is true in C++17
> and false in C++20. So that defect only applies to C++17 and before.

Yes, I was mistaken there. The change only appeared in C++20, not in C++17.