std:: add_cv, std:: add_const, std:: add_volatile

type 멤버 typedef를 제공합니다. 이는 T 와 동일하지만, ( T 가 함수, 참조 또는 이미 해당 cv-qualifier를 가지고 있는 경우를 제외하고) cv-qualifier가 추가됩니다.

프로그램이 이 페이지에 설명된 템플릿들 중 어느 하나에 대해 특수화를 추가하는 경우, 그 동작은 정의되지 않습니다.

멤버 타입

헬퍼 타입

가능한 구현

template<class T> struct add_cv { typedef const volatile T type; };
template<class T> struct add_const { typedef const T type; };
template<class T> struct add_volatile { typedef volatile T type; };

참고 사항

이러한 변환 특성들은 템플릿 인자 추론에서 비추론 영역(non-deduced contexts) 을 설정하는 데 사용될 수 있습니다:

template<class T>
void f(const T&, const T&);
template<class T>
void g(const T&, std::add_const_t<T>&);
f(4.2, 0); // 오류: 'T'에 대해 충돌하는 타입을 추론함
g(4.2, 0); // OK: g<double> 호출

예제

#include <iostream>
#include <type_traits>
struct foo
{
    void m() { std::cout << "Non-cv\n"; }
    void m() const { std::cout << "Const\n"; }
    void m() volatile { std::cout << "Volatile\n"; }
    void m() const volatile { std::cout << "Const-volatile\n"; }
};
int main()
{
    foo{}.m();
    std::add_const<foo>::type{}.m();
    std::add_volatile<foo>::type{}.m();
    std::add_cv<foo>::type{}.m();
}

Non-cv
Const
Volatile
Const-volatile

참고 항목