functional_unwrap_reference

functional_unwrap_reference (reference_wrapper를 푸는 도구)

이 페이지에서는 std::unwrap_reference와 std::unwrap_ref_decay에 대해 설명해요. 이 템플릿들은 std::reference_wrapper를 원래 타입의 참조로 변환해 주는 역할을 해요. C++20부터 사용할 수 있어요.

출처: cppreference

본문

std::reference_wrapper를 풀어서 std::reference_wrapper<U>를 U&로 바꿔요. 프로그램에서 이 페이지에 설명된 템플릿에 대해 특수화를 추가하면 동작이 정의되지 않아요.

중첩 타입 (Nested types)

헬퍼 타입 (Helper types)

가능한 구현 (Possible implementation)

template < class T > struct unwrap_reference { using type = T ; }; template < class U > struct unwrap_reference < std :: reference_wrapper < U >> { using type = U & ; }; template < class T > struct unwrap_ref_decay : std :: unwrap_reference < std :: decay_t < T >> {};

참고 (Notes)

std::unwrap_ref_decay는 std::make_pair와 std::make_tuple에서 사용하는 것과 동일한 변환을 수행해요.

기능 테스트 매크로 (Feature-test macro)

예제 (Example)

#include <cassert>
#include <iostream>
#include <type_traits>

static_assert(
    std::is_same_v<std::unwrap_reference_t<int>, int> &&
    std::is_same_v<std::unwrap_reference_t<const int>, const int> &&
    std::is_same_v<std::unwrap_reference_t<int&>, int&> &&
    std::is_same_v<std::unwrap_reference_t<int&&>, int&&> &&
    std::is_same_v<std::unwrap_reference_t<int*>, int*> &&

    std::is_same_v<std::unwrap_ref_decay_t<int>, int> &&
    std::is_same_v<std::unwrap_ref_decay_t<const int>, int> &&
    std::is_same_v<std::unwrap_ref_decay_t<const int&>, int> &&
"");

int main()
{    
    {
        using T = std::reference_wrapper<int>;
        using X = std::unwrap_reference_t<T>;
        static_assert(std::is_same_v<X, int&>);
    }

    {
        using T = std::reference_wrapper<int&>;
        using X = std::unwrap_reference_t<T>;
        static_assert(std::is_same_v<X, int&>);
    }
    
    {
        using T = std::reference_wrapper<int&&>;
        using X = std::unwrap_ref_decay_t<T>;
        static_assert(std::is_same_v<X, int&>);
    }
    
    {
        auto reset = []<typename T>(T&& z)
        {
            // x = 0; // Error: does not work if T is reference_wrapper<>

            // converts T&& into T& for ordinary types
            // converts T&& into U& for reference_wrapper<U>
            decltype(auto) r = std::unwrap_reference_t<T>(z);
            std::cout << "r: " << r << '\n';
            r = 0; // OK, r has reference type
        };
        
        int x = 1;
        reset(x);
        assert(x == 0);
        
        int y = 2;
        reset(std::ref(y));
        assert(y == 0);
    }
}

출력:

r: 1
r: 2

같이 보기 (See also)

더 알아보기 (Learn more)

cppreference