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` 说明： noexcept(std::is_nothrow_swappable_v<T>)	(库基础 TS v3)

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

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

experimental::propagate_const
experimental::not_fn
experimental::observer_ptr
experimental::make_array
experimental::to_array
experimental::ostream_joiner
experimental::gcd
experimental::lcm
experimental::source_location
experimental::randint
检测手法
统一容器擦除
逻辑运算符类型特性

成员函数
propagate_const::propagate_const
propagate_const::operator=
propagate_const::swap
观察器
propagate_const::get
propagate_const::operator bool
propagate_const::operator*propagate_const::operator->
propagate_const::operator element_typepropagate_const::operator const element_type
非成员函数
operator==operator!=operator<operator>operator<=operator>operator>=
swap
get_underlying
辅助类
std::hash
std::equal_tostd::not_equal_tostd::lessstd::greaterstd::less_equalstd::greater_equal