Пространства имён
Варианты
Действия

std::remove_cv, std::remove_const, std::remove_volatile

Материал из cppreference.com
< cpp‎ | types
 
C++
Поддержка компилятором
Автономные и размещённые реализации
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Требования к именованию
Макросы тестирования функциональности (C++20)
Поддержка языка
Библиотека концептов (C++20)
Библиотека метапрограммирования (C++11)
Библиотека диагностики
Библиотека общих ут��лит
Библиотека строк
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека численных данных
Библиотека ввода/вывода
Библиотека локализаций
Регулярные выражения (C++11)
Атомарные операции (C++11)
Библиотека поддержки конкуренции (C++11)
Библиотека файловой системы (C++17)
Технические спецификации
Указатель символов
Внешние библиотеки
 
Библиотека метапрограммирования
Свойства типов
Категории типов
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Свойства типов
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11)
(C++11)
(C++11)
(C++11)(до C++20*)
(C++11)(устарело в C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Константы свойств типа
(C++11)(C++17)(C++11)(C++11)
Метафункции
(C++17)
(C++17)
(C++17)
Поддерживаемые операции
Запросы отношений и свойств
Модификации типов
remove_cvremove_constremove_volatile
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
Преобразования типов
(C++11)(устарело в C++23)
(C++11)(устарело в C++23)
(C++11)
(C++20)
(C++11)
(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++11)(до C++20*)(C++17)
(C++20)
Рациональная арифметика времени компиляции
Целочисленные последовательности времени компиляции
(C++14)
 
Определено в заголовочном файле <type_traits>
template< class T >
struct remove_cv;
 (1) (начиная с C++11)
template< class T >
struct remove_const;
 (2) (начиная с C++11)
template< class T >
struct remove_volatile;
 (3) (начиная с C++11)

Предоставляет определение типа в элементе type, которое такое же как и T, за исключением того, что его самые верхние cv-квалификаторы удалены.

1) Удаляет самый верхний const, самый верхний volatile, или оба, если они есть
2) Удаляет самый верхний const
3) Удаляет самый верхний volatile

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

Содержание

[править] Типы-элементы

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

[править] Вспомогательные типы

template< class T >
using remove_cv_t       = typename remove_cv<T>::type;
 (начиная с C++14)
template< class T >
using remove_const_t    = typename remove_const<T>::type;
 (начиная с C++14)
template< class T >
using remove_volatile_t = typename remove_volatile<T>::type;
 (начиная с C++14)

[править] Возможная реализация

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 из const volatile int * не изменяет тип, так как сам указатель не имеет ни const, ни volatile квалификатора.

Запустить этот код
#include <iostream>
#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 >
    and same< std::remove_cv_t< const int >, int >
    and same< std::remove_cv_t< volatile int >, int >
    and same< std::remove_cv_t< const volatile int >, int >
    // remove_cv работает только с типами, а не с указателями
    not same<std::remove_cv_t<const volatile int*>, int*> &&
    and same< std::remove_cv_t< const volatile int* >, const volatile int* >
    and same< std::remove_cv_t< const int* volatile >, const int* >
    and same< std::remove_cv_t< int* const volatile >, int* >
);
 
int main() {}

[править] Смотрите также

(C++11)
 проверяет, является ли тип квалифицированным как const
(шаблон класса) [править]
(C++11)
 проверяет, является ли тип volatile квалифицированным
(шаблон класса) [править]
(C++11)(C++11)(C++11)
 добавляет спецификаторы const и/или volatile к данному типу
(шаблон класса) [править]
(C++20)
 объединяет std::remove_cv и std::remove_reference
(шаблон класса) [править]
Источник — «https://ru.cppreference.com/mwiki/index.php?title=cpp/types/remove_cv&oldid=61500»