C++ 命名要求： ValueSwappable (C++11 起)
來自 cppreference.com
此型別的兩個物件可以被解引用，並且可以使用非限定函式呼叫 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 型別所引用的值可以被交換(概念) |
