C++ 概念： Swappable

 

C++

语言

概念

实用工具库

字符串库

集装箱库

算法库

迭代器库

Numerics库

输入/输出库

本地化库

正则表达式库 （C++11）

原子操作库 （C++11）

线程的支持库 （C++11）

 

C++ 的概念

基础
DefaultConstructible CopyAssignable CopyConstructible	MoveAssignable （C++11） MoveConstructible （C++11） Destructible
库
EqualityComparable LessThanComparable Swappable （C++11） ValueSwappable （C++11）	NullablePointer （C++11） Hash （C++11） Allocator
容器
Container SequenceContainer ReversibleContainer	AssociativeContainer AllocatorAwareContainer UnorderedAssociativeContainer （C++11）
容器元素
CopyInsertable （C++11） MoveInsertable （C++11）	EmplaceConstructible （C++11）
迭代器
Iterator OutputIterator InputIterator	ForwardIterator BidirectionalIterator RandomAccessIterator
随机数
SeedSequence （C++11） RandomNumberEngine （C++11）	RandomNumberDistribution （C++11） UniformRandomNumberGenerator （C++11） RandomNumberEngineAdaptor （C++11）
并发
BasicLockable （C++11） Lockable （C++11） TimedLockable （C++11）	Mutex （C++11） TimedMutex （C++11）
其它
CharTraits pos_type off_type Clock （C++11）	UnaryTypeTrait （C++11） BinaryTypeTrait （C++11） TransformationTrait （C++11） TrivialClock （C++11）

 

Any lvalue or rvalue of this type can be swapped with any lvalue or rvalue of the some other type, using unqualified function call swap() in the context where both std::swap and the user-defined swap()s are visible.

要求

Type U is swappable with type T if, for any object u of type U and any object t of type T,

Expression	Requirements	Semantics
#include <utility> using std::swap; swap(u, t);	After the call, the value of t is the value held by u before the call, and the value of u is the value held by t before the call.	Calls the function named swap() found by overload resolution among all functions with that name that are found by argument-dependent lookup and the two std::swap templates defined in the header <utility>.
#include <utility> using std::swap; swap(t, u);	same	same

Many standard library functions (for example, many algorithms) expect their arguments to satisfy Swappable, which means that any time the standard library performs a swap, it uses the equivalent of using std::swap; swap(t, u);.

注释

It is unspecified if <utility> is actually included when the standard library functions perform the swap, so the user-provided swap() should not expect it to be included.

示例

#include <iostream>
#include <vector>
 
class IntVector {
    std::vector<int> v;
    IntVector& operator=(IntVector); // not assignable
 public:
    void swap(IntVector& other) {
        v.swap(other.v);
    }
};
void swap(IntVector& v1, IntVector& v2) {
    v1.swap(v2);
}
 
int main()
{
    IntVector v1, v2;
//  std::swap(v1, v2); // compiler error! std::swap requires MoveAssignable
    std::iter_swap(&v1, &v2); // OK: library calls unqualified swap()
}