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)

技术规范

符号索引

外部库

 

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

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

 

范围

概念

通用工具

迭代器

范围

算法

 

通用工具库

工具组件
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
有标签的 pair 与 tuple
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>()) 在当做不求值运算数时均为良式，则提供等于 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)	(范围 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 [静态]

如果 T 与 U 可交换那么是 true，否则是 false (公开静态成员常量)

成员函数

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

成员类型

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

注意

此特性不检查 swap 表达式的立即语境外的任何内容：若使用 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)	检查一个类型的对象是否能与同类型或不同类型的对象交换 (类模板)