C++ 具名要求:可交换值 (ValueSwappable) (C++11 起)
来自cppreference.com
此类型的两个对象可以解引用,且在 std::swap 和用户定义的 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); // 不可赋值(C++98 的方式)
public:
IntVector& operator=(IntVector) = delete; // 不可赋值
void swap(IntVector& other)
{
v.swap(other.v);
}
};
void swap(IntVector& v1, IntVector& v2)
{
v1.swap(v2);
}
int main()
{
IntVector v1, v2; // IntVector 为可交换 (Swappable),但非可移动赋值 (MoveAssignable)
IntVector* p1 = &v1;
IntVector* p2 = &v2; // IntVector* 为值可交换 (ValueSwappable)
std::iter_swap(p1, p2); // OK:iter_swap 要求值可交换 (ValueSwappable)
// std::swap(v1, v2); // 编译器错误!std::swap 要求可移动赋值 (MoveAssignable)
}
参阅
(C++20) |
指定能交换两个 indirectly_readable 类型所引用的值 (概念) |