C++ named requirements: ValueSwappable (since C++11)

이 타입의 두 객체는 역참조될 수 있으며, 결과 값들은 비한정 함수 호출 swap ( ) 를 사용하여 교환될 수 있습니다. 이는 std::swap 과 사용자 정의 swap ( ) 모두가 가시적인 컨텍스트에서 이루어집니다.

요구사항

타입 T는 ValueSwappable 입니다 만약

1. T 가 LegacyIterator 요구 사항을 만족합니다.
2. 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
}

참고 항목