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

constexpr void swap( propagate_const & pt ) noexcept(/* 参见下方 */);		(库基础 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++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
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