std::ranges::swap

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏(C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 协程支持(C++20) 契约支持(C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函数对象 位操纵(C++20) bitset hash (C++11) 关系运算符(C++20 弃用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换与类型运算 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

在标头 <concepts> 定义
namespace ranges {     inlinenamespace/* 未指明 */{         inlineconstexpr/* 未指明 */ swap =/* 未指明 */;     } }		(C++20 起) (定制点对象)
调用签名
template<class T, class U > constexprvoidranges::swap( T&& t, U&& u )noexcept(/* 见下文 */);		(C++20 起)

交换 t 和 u 所引用的值。

ranges::swap(t, u)表达式等价于：

1. (void)swap(t, u)，如果 t 或 u 具有类或枚举类型，并且在命名空间 std::ranges 中，外加候选 template<class T>void swap(T&, T&)= delete; 进行重载决议时该表达式合法。
   • 如果重载决议所选择的函数没有交换 t 和 u 所引用的值，那么程序非良构；不要求诊断。
2. 否则是 (void)ranges::swap_ranges(t, u)，如果 t 和 u 是长度相等（但元素类型可能不同）的数组左值，且 ranges::swap(*t, *u) 是合法表达式，但 noexcept(ranges::swap(t), ranges::swap(u)) 等于 noexcept(ranges::swap(*t, *u))；
3. 否则是一个交换 t 和 u 所引用的值的表达式，如果它们都是具有相同类型 V 的左值，而 V 实现 std::move_constructible<V> 和 std::assignable_from<V&, V>。
   • 对该表达式应用 noexcept 运算符的结果等于 std::is_nothrow_move_constructible_v<V>&&std::is_nothrow_move_assignable_v<V>。
   • 该表达式在满足以下所有条件时是常量表达式：
     • V 是字面类型(LiteralType)
     • t = std::move(u)) 和 u = std::move(t) 都是常量子表达式
     • 以下声明中的初始化式的完整表达式都是常量子表达式：
       • V v1(std::move(t));
       • V v2(std::move(u));
4. 否则，ranges::swap(t, u) 非良构，这能在 ranges::swap(t, u) 出现于模板实例化的立即语境时导致代换失败。

定制点对象

名字 ranges::swap 代表一个定制点对象，它是某个字面semiregular 类类型的 const 函数对象。 细节参见定制点对象(CustomizationPointObject) 。

示例

运行此代码

#include <array>#include <concepts>#include <iostream>#include <ranges>#include <string_view>#include <vector>   void print(std::string_view name, std::ranges::common_rangeautoconst& p, std::ranges::common_rangeautoconst& q){std::cout<< name <<"1{ ";for(autoconst& i : p)std::cout<< i <<' ';std::cout<<"}，"<< name <<"2{ ";for(autoconst& i : q)std::cout<< i <<' ';std::cout<<"}\n";}   void print(std::string_view name, int p, int q){std::cout<< name <<"1 = "<< p <<"，"<< name <<"2 = "<< q <<'\n';}   struct IntLike {int v;};   void swap(IntLike& lhs, int& rhs){std::swap(lhs.v, rhs);}   void swap(int& lhs, IntLike& rhs){std::swap(lhs, rhs.v);}   std::ostream& operator<<(std::ostream& out, IntLike i){return out << i.v;}   int main(){std::vector a1{10, 11, 12}, a2{13, 14}; std::ranges::swap(a1, a2); print("a", a1, a2);   std::array b1{15, 16, 17}, b2{18, 19, 20}; std::ranges::swap(b1, b2); print("b", b1, b2);   // std::array c1{1, 2, 3}; std::array c2{4, 5};// std::ranges::swap(c1, c2); // 错误：ADL 没有找到 swap   int d1[]{21, 22, 23}, d2[]{24, 25, 26}; std::ranges::swap(d1, d2); print("d", d1, d2);   // int e1[]{1, 2, 3}, e2[]{4, 5};// std::ranges::swap(e1, e2); // 错误：长度不匹配   // char f1[]{1, 2, 3};// int f2[]{4, 5, 6};// std::ranges::swap(f1, f2); // 错误：ADL 没有找到 swap(*f1, *f2)   IntLike g1[]{1, 2, 3};int g2[]{4, 5, 6}; std::ranges::swap(g1, g2);// 支持异质交换 print("g", g1, g2);   int h1{27}, h2{28}; std::ranges::swap(h1, h2); print("h", h1, h2);}

输出：

a1{ 13 14 }，a2{ 10 11 12 } b1{ 18 19 20 }，b2{ 15 16 17 } d1{ 24 25 26 }，d2{ 21 22 23 } g1{ 4 5 6 }，g2{ 1 2 3 } h1 = 28，h2 = 27

参阅

swappableswappable_with (C++20)	指定一个类型能进行交换，或两个类型能彼此交换 (概念)
swap	交换两个对象的值 (函数模板)