Класс add_cv

Делает const volatile тип из типа.

Синтаксис

template <class T>
struct add_cv;

template <class T>
using add_cv_t = typename add_cv<T>::type;

Параметры

T
Тип для изменения.

Замечания

Экземпляр измененного типа add_cv<T> имеет type членtypedef, эквивалентный T, измененному как add_volatile, так и add_const, если У T уже нет квалификаторов cv, является ссылкой или является функцией.

Вспомогательный тип add_cv_t<T> является ярлыком для доступа к определению типа typeadd_cv<T>.

Пример

// add_cv.cpp
// compile by using: cl /EHsc /W4 add_cv.cpp
#include <type_traits>
#include <iostream>

struct S {
    void f() {
        std::cout << "invoked non-cv-qualified S.f()" << std::endl;
    }
    void f() const {
        std::cout << "invoked const S.f()" << std::endl;
    }
    void f() volatile {
        std::cout << "invoked volatile S.f()" << std::endl;
    }
    void f() const volatile {
        std::cout << "invoked const volatile S.f()" << std::endl;
    }
};

template <class T>
void invoke() {
    T t;
    ((T *)&t)->f();
}

int main()
{
    invoke<S>();
    invoke<std::add_const<S>::type>();
    invoke<std::add_volatile<S>::type>();
    invoke<std::add_cv<S>::type>();
}

invoked non-cv-qualified S.f()
invoked const S.f()
invoked volatile S.f()
invoked const volatile S.f()

Требования

Заголовок:<type_traits>

Пространство имен: std

См. также

<type_traits>
Класс remove_const
Класс remove_volatile