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

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Metaprogrammierungsbibliothek

Typmerkmale
Typkategorien is_void (C++11) is_null_pointer (C++11)(DR*) 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_reference (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_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) Typeneigenschaften 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)(deprecated in C++26) is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(bis C++20*) is_pod (C++11)(veraltet in 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) Typmerkmalskonstanten integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11) Metafunktionen conjunction (C++17) disjunction (C++17) negation (C++17)	Unterstützte Operationen 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) Beziehungen und Eigenschaftsabfragen is_same (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) reference_constructs_from_temporary (C++23) reference_converts_from_temporary (C++23) is_base_of (C++11) is_virtual_base_of (C++26) 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) Typmodifikationen 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) Typentransformationen aligned_storage (C++11)(veraltet in C++23) aligned_union (C++11)(veraltet in C++23) decay (C++11) remove_cvref (C++20) result_ofinvoke_result (C++11)(bis C++20*)(C++17) Ternär (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) type_identity (C++20) enable_if (C++11) void_t (C++17)
Rationale Arithmetik zur Compilezeit
Ganzzahlsequenzen zur Compilezeit
integer_sequence (C++14)

 

Definiert in der Kopfdatei <type_traits>
template< class T > struct remove_cv;	(1)	(seit C++11)
template< class T > struct remove_const;	(2)	(seit C++11)
template< class T > struct remove_volatile;	(3)	(seit C++11)

Stellt den Member-Typedef type bereit, der mit T identisch ist, außer dass seine obersten cv-Qualifizierer entfernt werden.

1) Entfernt das oberste const, oder das oberste volatile, oder beides, falls vorhanden.

2) Entfernt das oberste const.

3) Entfernt das oberste volatile.

Wenn das Programm Spezialisierungen für eine der auf dieser Seite beschriebenen Vorlagen hinzufügt, ist das Verhalten undefiniert.

Member-Typen

Name	Definition
type	der Typ T ohne cv-Qualifizierer

Hilfstypen

template< class T > using remove_cv_t = typename remove_cv<T>::type;		(seit C++14)
template< class T > using remove_const_t = typename remove_const<T>::type;		(seit C++14)
template< class T > using remove_volatile_t = typename remove_volatile<T>::type;		(seit C++14)

Mögliche Implementierung

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

Beispiel

Das Entfernen von const/volatile von const volatile int* ändert den Typ nicht, da der Zeiger selbst weder const noch volatile ist.

Führen Sie diesen Code aus

#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> &&
    same<std::remove_cv_t<const int>, int> &&
    same<std::remove_cv_t<volatile int>, int> &&
    same<std::remove_cv_t<const volatile int>, int> &&
    // remove_cv only works on types, not on pointers
    not same<std::remove_cv_t<const volatile int*>, int*> &&
    same<std::remove_cv_t<const volatile int*>, const volatile int*> &&
    same<std::remove_cv_t<const int* volatile>, const int*> &&
    same<std::remove_cv_t<int* const volatile>, int*>
);
 
int main() {}

Siehe auch

is_const (C++11)	prüft, ob ein Typ const-qualifiziert ist (Klassenvorlage)
is_volatile (C++11)	prüft, ob ein Typ volatile-qualifiziert ist (Klassenvorlage)
add_cvadd_constadd_volatile (C++11)(C++11)(C++11)	fügt const und/oder volatile Spezifizierer zum gegebenen Typ hinzu (Klassenvorlage)
remove_cvref (C++20)	kombiniert std::remove_cv und std::remove_reference (Klassenvorlage)