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

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека метапрограммирования

Свойства типов
Категории типов is_void (C++11) is_null_pointer (C++14)   is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11) is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11)   is_fundamental (C++11) is_arithmetic (C++11) is_reference (C++11) is_lvalue_reference (C++11) is_rvalue_reference (C++11) is_member_pointer (C++11) is_member_object_pointer (C++11) is_member_function_pointer (C++11) Свойства типов is_const (C++11) is_volatile (C++11) is_empty (C++11) is_polymorphic (C++11) is_final (C++14) is_abstract (C++11) is_aggregate (C++17) is_implicit_lifetime (C++23) is_trivial (C++11) is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(до C++20*) is_pod (C++11)(устарело в C++20) is_signed (C++11) is_unsigned (C++11) is_bounded_array (C++20) is_unbounded_array (C++20) is_scoped_enum (C++23) has_unique_object_representations (C++17) Константы свойств типа integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11) Метафункции conjunction (C++17) disjunction (C++17) negation (C++17)	Поддерживаемые операции is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11) is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11) is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11) is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11) is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11) is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11) is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11) is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11) has_virtual_destructor (C++11) is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17) Запросы отношений и свойств is_same (C++11) is_base_of (C++11) is_convertibleis_nothrow_convertible (C++11)(C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20)   is_corresponding_member (C++20) alignment_of (C++11) rank (C++11) extent (C++11) is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17) reference_constructs_from_temporary (C++23) reference_converts_from_temporary (C++23) Модификации типов remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11) remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11) Преобразования типов aligned_storage (C++11)(устарело в C++23) aligned_union (C++11)(устарело в C++23) decay (C++11) remove_cvref (C++20) enable_if (C++11) void_t (C++17) conditional (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) result_ofinvoke_result (C++11)(до C++20*)(C++17) type_identity (C++20)
Рациональная арифметика времени компиляции
Целочисленные последовательности времени компиляции
integer_sequence (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<constvolatile 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 из constvolatileint* не изменяет тип, так как сам указатель не имеет ни const, ни volatile квалификатора.

Запустить этот код

#include <iostream>#include <type_traits>   template<typename U, typename V>constexprbool same =std::is_same_v<U, V>;   static_assert ( same< std::remove_cv_t<int>, int> and same< std::remove_cv_t<constint>, int> and same< std::remove_cv_t<volatileint>, int> and same< std::remove_cv_t<constvolatileint>, int>// remove_cv работает только с типами, а не с указателями not same<std::remove_cv_t<constvolatileint*>, int*>&& and same< std::remove_cv_t<constvolatileint*>, constvolatileint*> and same< std::remove_cv_t<constint*volatile>, constint*> and same< std::remove_cv_t<int*constvolatile>, int*>);   int main(){}

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

is_const (C++11)	проверяет, является ли тип квалифицированным как const (шаблон класса)
is_volatile (C++11)	проверяет, является ли тип volatile квалифицированным (шаблон класса)
add_cvadd_constadd_volatile (C++11)(C++11)(C++11)	добавляет спецификаторы const и/или volatile к данному типу (шаблон класса)
remove_cvref (C++20)	объединяет std::remove_cv и std::remove_reference (шаблон класса)