C++ 概念： ValueSwappable

 

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）

 

可以解除引用此类型的两个对象，和所得到的值，可以在上下文中使用不合格的函数调用swap()交换两个std::swap和用户定义swap()s是可见.

Original:

Two objects of this type can be dereferenced and the resulting values can be swapped using unqualified function call swap() in the context where both std::swap and the user-defined swap()s are visible.

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

要求

T型，ValueSwappable如果

Original:

Type T is ValueSwappable if

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

1)

T类型Iterator满足要求

Original:

Type T satisfies the Iterator requirements

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

2)

x的类型（即，结束迭代器以外的任何值）对于任何dereferencable的对象T，*x满足Swappable要求.

Original:

For any dereferencable object x of type T (that is, any value other than the end iterator), *x satisfies the Swappable requirements.

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

许多标准库函数期望他们的论据，以满足ValueSwappable，这意味着，任何时间进行交换的标准库，它使用的是等效的using std::swap; swap(*iter1, *iter2):.

Original:

Many standard library functions expect their arguments to satisfy ValueSwappable, which means that any time the standard library performs a swap, it uses the equivalent of using std::swap; swap(*iter1, *iter2):.

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

为例

#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;    // 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
}