<type_traits>

Définit les modèles qui fournissent des constantes de compilation qui donnent des informations sur les propriétés de leurs arguments de type.

#include <type_traits>

Notes

A prédicat de type est un modèle qui prend un ou deux arguments de type.Lorsqu'un prédicat de type vaut, il est publiquement dérivé, directement ou indirectement, à partir de true_type Typedef.Lorsqu'un prédicat de type contient la valeur false, il est publiquement dérivé, directement ou indirectement, à partir de false_type Typedef.

A modificateur de type est un modèle qui prend un ou plusieurs arguments de modèle et a un seul membre, comme suit :

• typedef modified-type type;

A requête de type est un modèle qui prend un ou plusieurs arguments de modèle.Une requête de type est publiquement dérivée, directement ou indirectement, à partir de integral_constant<std::size_t, value>.Il conserve la valeur qui est passée comme argument value.

Classes

add_const	Rend const type de type.
add_cv	Rend const/volatile type de type.
add_pointer	Rend le pointeur vers le type de type.
add_reference	Fait référence au type de type.
add_volatile	Rend volatile type de type.
aligned_storage	Rend type convenablement alignée.
alignment_of	Obtient l'alignement du texte.
common_type	Rend une instance du type commun de deux types.
conditionnelles	Rend une instance du type commun de deux types.
atténuation	Type non référence non const ou non volatile ou lance un pointeur vers le type.
enable_if	Rend une instance du type ou un type indéfini.
dans quelle mesure	Obtient une dimension de tableau.
has_nothrow_assign	Tests si le type ne lève pas affecter.
has_nothrow_constructor	Vérifie si le type ne lève pas de construction par défaut.
has_nothrow_copy	Vérifie si le type ne lève pas sur la construction de copie.
has_nothrow_copy_constructor	Vérifie si le type ne lever sur la construction de copie.
has_nothrow_default_constructor	Vérifie si le type ne lève en cas de construction par défaut.
has_trivial_assign	Vérifie si le type a une affectation triviale.
has_trivial_constructor	Vérifie si le type possède un constructeur trivial par défaut.
has_trivial_copy	Vérifie si le type possède un constructeur de copie trivial.
has_trivial_copy_constructor	Vérifie si le type possède un constructeur de copie trivial.
has_trivial_default_constructor	Vérifie si le type possède un constructeur trivial par défaut.
has_trivial_destructor	Vérifie si le type possède un destructeur trivial.
has_virtual_destructor	Vérifie si le type possède un destructeur virtuel.
is_abstract	Vérifie si le type est une classe abstraite.
is_arithmetic	Vérifie si le type est arithmétique.
is_array	Vérifie si le type est un tableau.
is_base_of	Teste si un type est la base d'une autre.
is_class	Vérifie si le type est une classe.
is_compound	Vérifie si le type n'est pas scalaire.
is_const	Vérifie si le type est const.
is_convertible	Teste si un type est convertible à un autre.
is_empty	Vérifie si le type est une classe vide.
is_enum	Vérifie si le type est une énumération.
is_floating_point	Vérifie si le type est à virgule flottante.
is_function	Vérifie si le type est un type de fonction.
is_fundamental	Vérifie si le type est void ou arithmétiques.
is_integral	Vérifie si le type fait partie intégrante.
is_lvalue_reference	Teste si le type est un lvalue référence.
is_member_function_pointer	Vérifie si le type est un pointeur vers une fonction membre.
is_member_object_pointer	Vérifie si le type est un pointeur vers un objet membre.
is_member_pointer	Vérifie si le type est un pointeur vers un membre.
is_object	Vérifie si le type est un type d'objet.
is_pod	Vérifie si le type est une GOUSSE.
is_pointer	Vérifie si le type est un pointeur.
is_polymorphic	Vérifie si le type possède une fonction virtuelle.
is_reference	Vérifie si le type est une référence.
is_rvalue_reference	Teste si le type est un rvalue référence.
is_same	Teste si deux types sont les mêmes.
is_scalar	Vérifie si le type est un scalaire.
is_signed	Vérifie si le type est un entier signé.
is_standard_layout	Vérifie si le type est une mise en page standard.
is_union	Vérifie si le type est une union.
is_unsigned	Vérifie si le type est un entier non signé.
is_void	Vérifie si le type est void.
is_volatile	Vérifie si le type est volatil.
make_signed	Tapez rend ou la plus petite signé tapez supérieur ou égale à la taille permettant de taper.
make_unsigned	Tapez rend ou plus petit unsigned tapez supérieure ou égale à la taille permettant de taper.
rang	Obtient le nombre de dimensions du tableau.
remove_all_extents	Rend non tableau type de type tableau.
remove_const	Rend non const type type.
remove_cv	Permet de type const/volatile de type.
remove_extent	Type d'élément rend de type tableau.
remove_pointer	Type de fait à partir d'un pointeur vers le type.
remove_reference	Rend type sans référence de type.
remove_volatile	Rend le type non volatile de type.
integral_constant	Rend la constante intégrale du type et de valeur.

Typedef

false_type	Contient une constante intégrale avec la valeur false.
true_type	Contient une constante intégrale avec la valeur true.

Voir aussi

Référence

<functional>