Namespaces
Variants

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

From cppreference.net
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
Type properties
(C++11)
(C++11)
(C++14)
(C++11) (deprecated in C++26)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
Type trait constants
Metafunctions
(C++17)
Supported operations
Relationships and property queries
Type modifications
remove_cv remove_const remove_volatile
(C++11) (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++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
Défini dans l'en-tête <type_traits>
template < class T >
struct remove_cv ;
(1) (depuis C++11)
template < class T >
struct remove_const ;
(2) (depuis C++11)
template < class T >
struct remove_volatile ;
(3) (depuis C++11)

Fournit le typedef membre type qui est le même que T , sauf que ses qualificateurs cv de plus haut niveau sont supprimés.

1) Supprime le plus haut niveau const , ou le plus haut niveau volatile , ou les deux, s'ils sont présents.
2) Supprime le plus haut niveau de const .
3) Supprime le plus haut niveau volatile .

Si le programme ajoute des spécialisations pour l'un des modèles décrits sur cette page, le comportement est indéfini.

Table des matières

Types membres

Nom Définition
type le type T sans qualificatif cv

Types auxiliaires

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

Implémentation possible

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

Exemple

Supprimer const/volatile de const volatile int * ne modifie pas le type, car le pointeur lui-même n'est ni const ni volatile.

#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() {}

Voir aussi

(C++11)
vérifie si un type est qualifié const
(modèle de classe)
vérifie si un type est qualifié volatile
(modèle de classe)
(C++11) (C++11) (C++11)
ajoute les spécificateurs const et/ou volatile au type donné
(modèle de classe)
combine std::remove_cv et std::remove_reference
(modèle de classe)