20 General utilities library [utilities]

20.4 Tuples [tuple]

20.4.2 Class template tuple [tuple.tuple]

20.4.2.2 Assignment [tuple.assign]

1

For each tuple assignment operator, an exception is thrown only if the assignment of one of the types in Types throws an exception. In the function descriptions that follow, let i be in the range [0,sizeof...(Types)) in order, Ti be the ith type in Types, and Ui be the ith type in a template parameter pack named UTypes, where indexing is zero-based.

tuple& operator=(const tuple& u);

2

Requires: is_copy_assignable<Ti>::value is true for all i.

3

Effects: Assigns each element of u to the corresponding element of *this.

4

Returns: *this

tuple& operator=(tuple&& u) noexcept(see below);

5

Remark: The expression inside noexcept is equivalent to the logical and of the following expressions:

is_nothrow_move_assignable<Ti>::value

where Ti is the ith type in Types.

6

Requires: is_move_assignable<Ti>::value is true for all i.

7

Effects: For all i, assigns std::forward<Ti>(get<i>(u)) to get<i>(*this).

8

Returns: *this.

template <class... UTypes> tuple& operator=(const tuple<UTypes...>& u);

9

Requires: sizeof...(Types) == sizeof...(UTypes) and is_assignable<Ti&, const Ui&>::value is true for all i.

10

Effects: Assigns each element of u to the corresponding element of *this.

11

Returns: *this

template <class... UTypes> tuple& operator=(tuple<UTypes...>&& u);

12

Requires: is_assignable<Ti&, Ui&&>::value == true for all i. sizeof...(Types) ==
sizeof...(UTypes).

13

Effects: For all i, assigns std::forward<Ui>(get<i)>(u)) to get<i>(*this).

14

Returns: *this.

template <class U1, class U2> tuple& operator=(const pair<U1, U2>& u);

15

Requires: sizeof...(Types) == 2. is_assignable<T0&, const U1&>::value is true for the first type T0 in Types and is_assignable<T1&, const U2&>::value is true for the second type T1 in Types.

16

Effects: Assigns u.first to the first element of *this and u.second to the second element of *this.

17

Returns: *this

template <class U1, class U2> tuple& operator=(pair<U1, U2>&& u);

18

Requires: sizeof...(Types) == 2. is_assignable<T0&, U1&&>::value is true for the first type T0 in Types and is_assignable<T1&, U2&&>::value is true for the second type T1 in Types.

19

Effects: Assigns std::forward<U1>(u.first) to the first element of *this and
std::forward<U2>(u.second) to the second element of *this.

20

Returns: *this.