types_remove_cvref

types_remove_cvref (cv 한정사와 참조 제거)

이 페이지는 C++20에서 도입된 std::remove_cvref 타입 특성에 대해 다뤄요. 주어진 타입에서 참조를 제거하고 최상위 cv 한정사(const, volatile)를 제거한 타입을 얻을 수 있어요. 이를 통해 함수 인자나 템플릿 파라미터에서 타입을 정규화할 때 유용해요.

출처: cppreference

본문

정의

만약 타입 T가 참조 타입이라면, T가 가리키는 타입에서 최상위 cv 한정사를 제거한 타입을 멤버 typedef type으로 제공해요. 그렇지 않으면 T에서 최상위 cv 한정사를 제거한 타입이 type이 돼요.

프로그램이 std::remove_cvref에 대한 특수화를 추가하면 동작이 정의되지 않아요.

멤버 타입

헬퍼 타입

가능한 구현

template < class T > struct remove_cvref { using type = std :: remove_cv_t < std :: remove_reference_t < T >> ; };

참고

예제

#include <type_traits>

int main()
{
    static_assert(std::is_same_v<std::remove_cvref_t<int>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<int&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<int&&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int&>, int>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int[2]>, int[2]>);
    static_assert(std::is_same_v<std::remove_cvref_t<const int(&)[2]>, int[2]>);
    static_assert(std::is_same_v<std::remove_cvref_t<int(int)>, int(int)>);
}

같이 보기

더 알아보기 (Learn more)

cppreference