std::experimental::optional<T>::swap

void swap( optional& other ) noexcept(/* 见下文 */);
 (库基础 TS)

与 other 交换内容。

  • 如果 *this 和 other 均不含有值，则此函数没有效果。
  • 如果 *this 和 other 中仅一个含有值（令此对象为 in 而另一个为 un），则 un 的所含值从 std::move(*in) 直接初始化，之后跟着对 in 所含值如同以 in.val->T::~T() 进行析构。此调用后，in 不含有值而 un 含有值。
  • 如果 *this 和 other 都含有值，则通过调用 using std::swap; swap(**this, *other) 交换所含值。T 左值必须满足可交换 (Swappable) 。

参数

other - 要与之交换内容的 optional 对象

返回值

（无）

异常

noexcept 说明：  
noexcept(std::is_nothrow_move_constructible<T>::value &&
           noexcept(swap(std::declval<T&>(), std::declval<T&>())))

在抛出异常的情况下，*this 和 other 所含值的状态由类型 T 的 swap 或 T 的移动构造函数（其中所调用者）的异常安全性保证确定。对于 *this 和 other 两者，如果对象含有值，则其之后仍含有值，反之亦然。

参阅

 特化 std::swap 算法
(函数)