Skip to content

[pairs.pair, variant.ctor, tuple.cnstr] Only functions can be "constexpr-suitable" #8807

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Quuxplusone wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[pairs.pair, variant.ctor, tuple.cnstr] Only functions can be "constexpr-suitable" #8807

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions source/utilities.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -825,7 +825,7 @@
The defaulted move and copy constructor, respectively, of \tcode{pair}
is a constexpr function if and only if all required element-wise
initializations for move and copy, respectively,
would be constexpr-suitable\iref{dcl.constexpr}.
would satisfy the requirements for a constexpr function.

\pnum
If \tcode{(is_trivially_destructible_v<T1> \&\& is_trivially_destructible_v<T2>)}
Expand Down Expand Up @@ -1815,7 +1815,7 @@
The defaulted move and copy constructor, respectively, of
\tcode{tuple} is a constexpr function if and only if all
required element-wise initializations for move and copy, respectively,
would be constexpr-suitable\iref{dcl.constexpr}.
would satisfy the requirements for a constexpr function.
The defaulted move and copy constructor of \tcode{tuple<>} are
constexpr functions.

Expand Down Expand Up @@ -5900,9 +5900,9 @@

\pnum
\remarks
This function is \keyword{constexpr} if and only if the
This constructor is a constexpr function if and only if the
value-initialization of the alternative type $\tcode{T}_0$
would be constexpr-suitable\iref{dcl.constexpr}.
would satisfy the requirements for a constexpr function.
The exception specification is equivalent to
\tcode{is_nothrow_default_constructible_v<$\tcode{T}_0$>}.
\begin{note}
Expand Down
Loading