types_remove_cv

types_remove_cv (타입의 cv 한정자 제거)

이 페이지에서는 C++ 표준 라이브러리의 <type_traits> 헤더에 정의된 remove_cv, remove_const, remove_volatile 템플릿에 대해 설명해요. 이 템플릿들은 주어진 타입에서 최상위 cv 한정자(const, volatile)를 제거한 타입을 멤버 typedef type으로 제공해요. 프로그램에서 이 페이지에 설명된 템플릿에 대해 특수화를 추가하면 동작이 정의되지 않으니 주의해야 해요.

출처: cppreference

본문

정의

<type_traits> 헤더에 정의되어 있어요.

이 템플릿들은 멤버 typedef type을 제공하는데, 이 type은 T와 동일하되 최상위 cv 한정자가 제거된 타입이에요.

멤버 타입

헬퍼 타입

가능한 구현

template < class T > struct remove_cv { typedef T type ; }; template < class T > struct remove_cv < const T > { typedef T type ; }; template < class T > struct remove_cv < volatile T > { typedef T type ; }; template < class T > struct remove_cv < const volatile T > { typedef T type ; }; template < class T > struct remove_const { typedef T type ; }; template < class T > struct remove_const < const T > { typedef T type ; }; template < class T > struct remove_volatile { typedef T type ; }; template < class T > struct remove_volatile < volatile T > { typedef T type ; };

예제

const volatile int *에서 const/volatile을 제거해도 타입은 바뀌지 않아요. 포인터 자체가 const도 아니고 volatile도 아니기 때문이에요.

#include <type_traits>

template<typename U, typename V>
constexpr bool same = std::is_same_v<U, V>;

static_assert
(
    same<std::remove_cv_t<int>, int> &&
    same<std::remove_cv_t<const int>, int> &&
    same<std::remove_cv_t<volatile int>, int> &&
    same<std::remove_cv_t<const volatile int>, int> &&
    // remove_cv only works on types, not on pointers
    not same<std::remove_cv_t<const volatile int*>, int*> &&
    same<std::remove_cv_t<const volatile int*>, const volatile int*> &&
    same<std::remove_cv_t<const int* volatile>, const int*> &&
    same<std::remove_cv_t<int* const volatile>, int*>
);

int main() {}

같이 보기

더 알아보기 (Learn more)

cppreference