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