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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

 

库基础 v2

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

检测手法

统一容器擦除

逻辑运算符类型特性

 

std::experimental::propagate_const

成员函数

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_type*propagate_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

 

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++ 标准。

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