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

constexpr void swap( propagate_const & pt ) noexcept(/* see below */);		(library fundamentals 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。	(library fundamentals TS v2)
`noexcept` 规范： noexcept(std::is_nothrow_swappable_v<T>)	(library fundamentals TS v3)

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	发布时的行为	正确行为
LWG 3413	LFTSv2	异常规范格式不正确	修正为格式正确

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D图形

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