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++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (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 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

通用工具库

实用组件
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)	(ranges TS)
template< class T > struct is_swappable;	(2)	(ranges TS)
template< class T, class U > struct is_nothrow_swappable_with;	(3)	(ranges TS)
template< class T > struct is_nothrow_swappable;	(4)	(ranges TS)

1) 如果当表达式 ranges::swap(std::declval<T>(), std::declval<U>()) 和 ranges::swap(std::declval<U>(), std::declval<T>()) 在被视为未求值操作数时都是良构的，则提供等于 true 的成员常量 value。否则，value 为 false。访问检查 的执行如同来自与任一类型无关的上下文。

2) 如果 T 不是可引用类型（即，可能是带 cv 限定的 void 或带有cv-qualifier-seq 或 ref-qualifier 的函数类型），则提供等于 false 的成员常量 value。否则，提供等于 ranges::is_swappable_with<T&, T&>::value 的成员常量 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)	(ranges TS)
template< class T > constexpr bool is_swappable_v = is_swappable<T>::value;	(2)	(ranges TS)
template< class T, class U > constexpr bool is_nothrow_swappable_with_v = is_nothrow_swappable_with<T, U>::value;	(3)	(ranges TS)
template< class T > constexpr bool is_nothrow_swappable_v = is_nothrow_swappable<T>::value;	(4)	(ranges 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)	检查一个类型的对象是否可以与相同或不同类型的对象交换 (类模板)