Classe add_cv
Crea const volatile il tipo dal tipo.
Sintassi
template <class T>
struct add_cv;
template <class T>
using add_cv_t = typename add_cv<T>::type;
Parametri
T
Tipo da modificare.
Osservazioni:
Un'istanza del tipo add_cv<T> modificato ha un type membro typedef equivalente a T modificato sia da add_volatile che da add_const, a meno che T non abbia già i qualificatori cv, sia un riferimento o sia una funzione.
Il tipo di helper add_cv_t<T> è un collegamento per l'accesso al typedef del membro add_cv<T>type.
Esempio
// 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()
Requisiti
Intestazione:<type_traits>
Spazio dei nomi: std