C++ 命名要求： ValueSwappable (C++11 起)
来自 cppreference.cn
此类型的两个对象可以被解引用，并且可以使用非限定函数调用 swap() 在 std::swap 和用户定义的 swap() 都可见的上下文中交换结果值。
[编辑] 要求
类型 T 是 ValueSwappable，如果
-
T满足 LegacyIterator 要求。 - 对于类型
T的任何可解引用对象x（即，除结束迭代器之外的任何值），*x满足 Swappable 要求。
许多标准库函数期望它们的参数满足 ValueSwappable，这意味着每当标准库执行交换时，它都会使用与 using std::swap; swap(*iter1, *iter2); 等效的代码。
[编辑] 示例
运行此代码
#include <iostream> #include <vector> class IntVector { std::vector<int> v; // IntVector& operator=(IntVector); // not assignable (C++98 way) public: IntVector& operator=(IntVector) = delete; // not assignable void swap(IntVector& other) { v.swap(other.v); } }; void swap(IntVector& v1, IntVector& v2) { v1.swap(v2); } int main() { IntVector v1, v2; // IntVector is Swappable, but not MoveAssignable IntVector* p1 = &v1; IntVector* p2 = &v2; // IntVector* is ValueSwappable std::iter_swap(p1, p2); // OK: iter_swap requires ValueSwappable // std::swap(v1, v2); // compiler error! std::swap requires MoveAssignable }
[编辑] 参阅
| (C++20) |
指定两个 indirectly_readable 类型所引用的值可以被交换(概念) |
