Namespaces
Variants

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

From cppreference.net
C++
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Type trait constants
(C++11) (C++17) (C++11) (C++11)
Metafunctions
(C++17)
(C++17)
(C++17)
Supported operations
Relationships and property queries
Type modifications
(C++11) (C++11) (C++11)
add_cv add_const add_volatile
(C++11) (C++11) (C++11)
(C++11)
(C++11)
Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
(C++20)
(C++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
(C++14)
Определено в заголовочном файле <type_traits>
template < class T >
struct add_cv ;
(1) (начиная с C++11)
template < class T >
struct add_const ;
(2) (начиная с C++11)
template < class T >
struct add_volatile ;
(3) (начиная с C++11)

Предоставляет член-typedef type , который совпадает с T , за исключением того, что к нему добавлен cv-квалификатор (если только T не является функцией, ссылкой или уже имеет этот cv-квалификатор)

1) добавляет оба const и volatile
2) добавляет const
3) добавляет volatile

Если программа добавляет специализации для любых шаблонов, описанных на этой странице, поведение не определено.

Содержание

Типы членов

Название Определение
type тип T с cv-квалификатором

Вспомогательные типы

template < class T >
using add_cv_t = typename add_cv < T > :: type ;
(начиная с C++14)
template < class T >
using add_const_t = typename add_const < T > :: type ;
(начиная с C++14)
template < class T >
using add_volatile_t = typename add_volatile < T > :: type ;
(начиная с C++14)

Возможная реализация 

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; };

Примечания

Эти признаки преобразования могут использоваться для создания невыводимых контекстов при выводе шаблонных аргументов: 

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

Смотрите также

(C++11)
проверяет, является ли тип квалифицированным как const
(шаблон класса)
(C++11)
проверяет, является ли тип квалифицированным как volatile
(шаблон класса)
(C++11) (C++11) (C++11)
удаляет const и/или volatile спецификаторы из заданного типа
(шаблон класса)
(C++17)
получает ссылку на const для своего аргумента
(шаблон функции)