std::experimental::propagate_const<T>::swap

constexpr void swap(propagate_const & pt) noexcept(/* see below */);
(库基础 TS v2)

交换被包装指针和 pt 的被包装指针。令 t_ 指代私有数据成员,即被包装的仿指针对象,则此函数等价于 swap(t_, pt.t_) ,其中对 swap 的重载决议在 std::swap 与通常查找规则所找到的任何声明之间进行,如在可交换 (Swappable) 中描述。

T 的左值不满足可交换 (Swappable) 则行为未定义。

参数

pt - 要与之交换的另一 propagate_const 对象

异常

noexcept 说明:  
noexcept(noexcept(swap(t_, pt.t_)))
异常说明中标识符 swap 的查找找到上述的重载,并且不找到成员函数自身,使得异常说明等价于 C++17 std::is_nothrow_swappable
(库基础 TS v2)
noexcept 说明:  
(库基础 TS v3)

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
LWG 3413 LFTSv2 异常说明为谬构 使之为良构