std::experimental::ranges::is_swappable_with, std::experimental::ranges::is_swappable, std::experimental::ranges::is_nothrow_swappable_with, std::experimental::ranges::is_nothrow_swappable

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

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

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

通用实用程序库

实用程序组件
swap	exchange
函数对象
invoke identity	equal_to not_equal_to	greater less	greater_equal less_equal
元编程和类型特征
is_swappable_withis_swappable	is_nothrow_swappable_withis_nothrow_swappable	common_reference common_type
标记对和元组
TagSpecifier TaggedType	tagged 标签说明符	tagged_pair make_tagged_pair	tagged_tuple make_tagged_tuple

 

定义在头文件 <experimental/ranges/type_traits> 中
template< class T, class U > struct is_swappable_with;	(1)	(范围 TS)
template< class T > struct is_swappable;	(2)	(范围 TS)
template< class T, class U > struct is_nothrow_swappable_with;	(3)	(范围 TS)
template< class T > struct is_nothrow_swappable;	(4)	(范围 TS)

1) 如果表达式 ranges::swap(std::declval<T>(), std::declval<U>()) 和 ranges::swap(std::declval<U>(), std::declval<T>()) 作为未经评估的操作数处理时都格式良好，则提供成员常量 value 等于 true。 否则，value 为 false。 访问检查 的执行方式就好像是从与任一类型无关的上下文中执行一样。

2) 如果 T 不是可引用类型（即，可能是 cv 限定的 void 或具有 cv 限定符序列 或 引用限定符 的函数类型），则提供成员常量 value 等于 false。 否则，提供成员常量 value 等于 ranges::is_swappable_with<T&, T&>::value.

3) 与 (1) 相同，但已知 (1) 中两个表达式的计算都不会抛出异常。

4) 与 (2) 相同，但使用 is_nothrow_swappable_with.

T 和 U 应分别为完整类型、（可能 cv 限定的） void 或未知大小的数组。 否则，行为未定义。

辅助变量模板

template< class T, class U > constexpr bool is_swappable_with_v = is_swappable_with<T, U>::value;	(1)	(范围 TS)
template< class T > constexpr bool is_swappable_v = is_swappable<T>::value;	(2)	(范围 TS)
template< class T, class U > constexpr bool is_nothrow_swappable_with_v = is_nothrow_swappable_with<T, U>::value;	(3)	(范围 TS)
template< class T > constexpr bool is_nothrow_swappable_v = is_nothrow_swappable<T>::value;	(4)	(范围 TS)

从 std::integral_constant 继承

成员常量

value [静态]

true 如果 T 可与 U 交换，否则为 false (公有静态成员常量)

成员函数

operator bool	将对象转换为 bool，返回 value (公有成员函数)
operator() (C++14)	返回 value (公有成员函数)

成员类型

类型	定义
value_type	bool
type	std::integral_constant<bool, value>

注释

此特征不会检查交换表达式之外的任何内容：如果使用 T 或 U 会触发模板特化、隐式定义的特殊成员函数的生成等，并且这些操作存在错误，即使 ranges::is_swappable_with<T,U>::value 编译并计算结果为 true，实际的交换也可能无法编译。

另请参阅

SwappableSwappableWith	指定类型可以交换或两个类型可以相互交换 (概念)
is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17)	检查类型对象是否可以与相同或不同类型的对象交换 (类模板)