std::ranges:: swap

t 와 u 가 참조하는 값을 교환합니다.

ranges:: swap ( t, u ) 는 표현식-동등 합니다:

1. ( void ) swap ( t, u ) , 만약 t 또는 u 가 클래스 또는 열거형 타입을 가지고 있고, 해당 표현식이 유효할 경우, 여기서 오버로드 해결 은 추가 후보 template < class T > void swap ( T & , T & ) = delete ; 를 포함하여 std::ranges 네임스페이스 내에서 수행됩니다.
   • 오버로드 해결에 의해 선택된 함수가 t 와 u 가 참조하는 값을 교환하지 않으면, 프로그램은 형식 오류를 가집니다; 진단은 필수가 아닙니다.
2. 그렇지 않으면, ( void ) ranges:: swap_ranges ( t, u ) , 만약 t 와 u 가 동일한 크기(단, 요소 타입은 다를 수 있음)의 lvalue 배열이고 ranges:: swap ( * t, * u ) 가 유효한 표현식인 경우, 단 noexcept ( ( void ) ranges:: swap_ranges ( t, u ) ) 는 noexcept ( ranges:: swap ( * t, * u ) ) 와 동일합니다.
3. 그렇지 않으면, 둘 다 동일한 타입 V 의 lvalue이며 std:: move_constructible < V > 과 std:: assignable_from < V & , V > 을 만족하는 경우 t 와 u 가 참조하는 값을 교환하는 표현식입니다.
   • 해당 표현식에 noexcept 연산자 를 적용한 결과는 std:: is_nothrow_move_constructible_v < V > && std:: is_nothrow_move_assignable_v < V > 와 같습니다.
   • 다음 조건을 모두 만족할 경우 해당 표현식은 상수 표현식 입니다:
     • V 가 LiteralType 인 경우,
     • t = std :: move ( u ) ) 와 u = std :: move ( t ) 가 모두 상수 부분 표현식 이고,
     • 다음 선언들의 초기화식 전체 표현식이 상수 부분 표현식인 경우:
       • V v1 ( std :: move ( t ) ) ;
       • V v2 ( std :: move ( u ) ) ;
4. 그렇지 않으면, ranges:: swap ( t, u ) 는 형식이 올바르지 않아, 치환 실패 를 초래할 수 있습니다. 이는 ranges:: swap ( t, u ) 가 템플릿 인스턴스화의 직접적 문맥에 나타날 때 발생할 수 있습니다.

커스터마이제이션 포인트 객체

ranges::swap 이름은 커스터마이제이션 포인트 객체 를 나타내며, 이는 함수 객체 의 const 리터럴 semiregular 클래스 타입입니다. 자세한 내용은 CustomizationPointObject 를 참조하십시오.

예제

#include <array>
#include <concepts>
#include <iostream>
#include <ranges>
#include <string_view>
#include <vector>
void print(std::string_view name, 
           std::ranges::common_range auto const& p, 
           std::ranges::common_range auto const& q)
{
    std::cout << name << "1{ ";
    for (auto const& i : p)
        std::cout << i << ' ';
    std::cout << "}, " << name << "2{ ";
    for (auto const& i : q)
        std::cout << i << ' ';
    std::cout << "}\n";
}
void print(std::string_view name, int p, int q)
{
    std::cout << name << "1 = " << p << ", " << name << "2 = " << q << '\n';
}
struct IntLike
{
    int v;
};
void swap(IntLike& lhs, int& rhs)
{
    std::swap(lhs.v, rhs);
}
void swap(int& lhs, IntLike& rhs)
{
    std::swap(lhs, rhs.v);
}
std::ostream& operator<<(std::ostream& out, IntLike i)
{
    return out << i.v;
}
int main()
{
    std::vector a1{10, 11, 12}, a2{13, 14};
    std::ranges::swap(a1, a2);
    print("a", a1, a2);
    std::array b1{15, 16, 17}, b2{18, 19, 20};
    std::ranges::swap(b1, b2);
    print("b", b1, b2);
    // std::array c1{1, 2, 3}; std::array c2{4, 5};
    // std::ranges::swap(c1, c2); // 오류: ADL에 의해 swap을 찾을 수 없음
    int d1[]{21, 22, 23}, d2[]{24, 25, 26};
    std::ranges::swap(d1, d2);
    print("d", d1, d2);
    // int e1[]{1, 2, 3}, e2[]{4, 5};
    // std::ranges::swap(e1, e2); // 오류: 크기가 일치하지 않음
    // char f1[]{1, 2, 3};
    // int  f2[]{4, 5, 6};
    // std::ranges::swap(f1, f2); // 오류: ADL에 의해 swap(*f1, *f2)을 찾을 수 없음
    IntLike g1[]{1, 2, 3};
    int     g2[]{4, 5, 6};
    std::ranges::swap(g1, g2); // 이종(heterogeneous) swap 지원
    print("g", g1, g2);
    int h1{27}, h2{28};
    std::ranges::swap(h1, h2);
    print("h", h1, h2);
}

a1{ 13 14 }, a2{ 10 11 12 }
b1{ 18 19 20 }, b2{ 15 16 17 }
d1{ 24 25 26 }, d2{ 21 22 23 }
g1{ 4 5 6 }, g2{ 1 2 3 }
h1 = 28, h2 = 27

참고 항목