23 General utilities library [utilities]

Requires: Lvalues ​​типа ${\text{T}}_i$ должны быть заменяемыми ([swappable.requirements]) и is_­move_­constructible_­v<${\text{T}}_i$> должны быть доступны true для всех i.

Effects:

• (2.1)

  если valueless_­by_­exception() && rhs.valueless_­by_­exception() нет эффекта. Иначе,

• (2.2)

  если index() == rhs.index()звонит swap(get<i>(*this), get<i>(rhs)) где i есть index(). Иначе,

• (2.3)

  обменивает значения rhs и *this.

Throws: Если index() == rhs.index(), какое-либо исключение, созданное swap(get<i>(*this), get<i>(rhs)) с i be index(). В противном случае любое исключение, созданное конструктором перемещения объекта ${\text{T}}_i$ или ${\text{T}}_j$ with i being index() and j being rhs.index().

Remarks: Если во время вызова функции выбрасывается исключение swap(get<i>(*this), get<i>(rhs)), состояния содержащихся значений of *this и of rhs определяются гарантией безопасности исключений swap для lvalues ​​of ${\text{T}}_i$ with i being index(). Если во время обмена значениями *this и возникает исключение rhs, состояния значений *this и rhs определяются гарантией безопасности исключений variantконструктора перемещения. Выражение внутри noexcept эквивалентно логическому И is_­nothrow_­move_­constructible_­v<${\text{T}}_i$> && is_­nothrow_­swappable_­v<${\text{T}}_i$> для всех i.