C++ Logo


Advanced search

Subject: Re: What does [res.on.functions] actually mean? (related to: "Atomic shared ptr behaviour")
From: Jason McKesson (jmckesson_at_[hidden])
Date: 2021-02-14 17:27:01

Why does [res.on.functions] matter here? [atomics.types.generic]/1 clearly says:

> The template argument for T shall be trivially copyable (6.9).

And it has said that since C++11. If the standard says that "X shall
be Y", and "X" is under the control of the user, this means the
program is ill formed if "X" does not conform to the restriction "Y".

C++20 just uses different words to say the same thing.

STD-DISCUSSION list run by std-discussion-owner@lists.isocpp.org

Older Archives on Google Groups