|
809 | 809 | the element-wise operations specified to be called for that operation
|
810 | 810 | throws an exception.
|
811 | 811 |
|
812 |
| -\pnum |
813 |
| -The defaulted move and copy constructor, respectively, of \tcode{pair} |
814 |
| -is a constexpr function if and only if all required element-wise |
815 |
| -initializations for move and copy, respectively, |
816 |
| -would be constexpr-suitable\iref{dcl.constexpr}. |
817 |
| - |
818 | 812 | \pnum
|
819 | 813 | If \tcode{(is_trivially_destructible_v<T1> \&\& is_trivially_destructible_v<T2>)}
|
820 | 814 | is \tcode{true}, then the destructor of \tcode{pair} is trivial.
|
|
1797 | 1791 | For each \tcode{tuple} constructor, an exception is thrown only if the construction of
|
1798 | 1792 | one of the types in \tcode{Types} throws an exception.
|
1799 | 1793 |
|
1800 |
| -\pnum |
1801 |
| -The defaulted move and copy constructor, respectively, of |
1802 |
| -\tcode{tuple} is a constexpr function if and only if all |
1803 |
| -required element-wise initializations for move and copy, respectively, |
1804 |
| -would be constexpr-suitable\iref{dcl.constexpr}. |
1805 |
| -The defaulted move and copy constructor of \tcode{tuple<>} are |
1806 |
| -constexpr functions. |
1807 |
| - |
1808 | 1794 | \pnum
|
1809 | 1795 | If \tcode{is_trivially_destructible_v<$\tcode{T}_i$>} is \tcode{true} for all $\tcode{T}_i$,
|
1810 | 1796 | then the destructor of \tcode{tuple} is trivial.
|
|
5773 | 5759 |
|
5774 | 5760 | \pnum
|
5775 | 5761 | \remarks
|
5776 |
| -This function is \keyword{constexpr} if and only if the |
5777 |
| -value-initialization of the alternative type $\tcode{T}_0$ |
5778 |
| -would be constexpr-suitable\iref{dcl.constexpr}. |
5779 | 5762 | The exception specification is equivalent to
|
5780 | 5763 | \tcode{is_nothrow_default_constructible_v<$\tcode{T}_0$>}.
|
5781 | 5764 | \begin{note}
|
|
0 commit comments