<type_traits>
Définit des modèles pour les constantes au moment de la compilation qui fournissent des informations sur les propriétés de leurs arguments de type ou produisent des types transformés.
Syntaxe
#include <type_traits>
Notes
Les classes et les modèles de <type_traits> sont utilisés pour prendre en charge l’inférence, la classification et la transformation de type au moment de la compilation. Ils sont également utilisés pour détecter les erreurs liées au type et vous aider à optimiser votre code générique. Les caractéristiques de type unaire décrivent une propriété d’un type, les caractéristiques de type binaire décrivent une relation entre les types et les caractéristiques de transformation modifient une propriété d’un type.
La classe integral_constant d’assistance et ses spécialisations true_type de modèle et false_type forment les classes de base pour les prédicats de type. Un prédicat de type est un modèle qui accepte un ou plusieurs arguments de type. Lorsqu’un prédicat de type est vrai, il est dérivé publiquement, directement ou indirectement, de true_type. Lorsqu’un prédicat de type contient false, il est dérivé publiquement, directement ou indirectement, de false_type.
Un modificateur de type ou une caractéristique de transformation est un modèle qui accepte un ou plusieurs arguments de modèle et possède un seul membre type, qui est un synonyme du type modifié.
Modèles d'alias
Pour simplifier les expressions de caractéristiques de type, les modèles d’alias sont typename some_trait<T>::type fournis, où some_trait est le nom du modèle de classe. Par exemple, add_const a un modèle d’alias pour son type, add_const_t, défini comme suit :
template <class T>
using add_const_t = typename add_const<T>::type;
Voici les alias fournis pour les type membres :
add_const_t
add_cv_t
add_lvalue_reference_t
add_pointer_t
add_rvalue_reference_t
add_volatile_t
aligned_storage_t
aligned_union_t\
common_type_t
conditional_t
decay_t
enable_if_t
invoke_result_t
make_signed_t
make_unsigned_t
remove_all_extents_t\
remove_const_t
remove_cv_t
remove_extent_t
remove_pointer_t
remove_reference_t
remove_volatile_t
result_of_t
underlying_type_t\
Classes
Typedefs et classe d’assistance
| Nom | Description |
|---|---|
| integral_constant | Crée une constante intégrale à partir d’un type et d’une valeur. |
| true_type | Contient une constante intégrale avec la valeur true. |
| false_type | Contient une constante intégrale avec la valeur false. |
Catégories de type principal
| Nom | Description |
|---|---|
| is_void | Teste si le type est void. |
| is_null_pointer | Teste si le type est std::nullptr_t. |
| is_integral | Teste si le type est intégral. |
| is_floating_point | Teste si le type est à virgule flottante. |
| is_array | Teste si le type est un tableau. |
| is_pointer | Teste si le type est un pointeur. |
| is_lvalue_reference | Teste si le type est une référence lvalue. |
| is_rvalue_reference | Teste si le type est une référence rvalue. |
| is_member_object_pointer | Teste si le type est un pointeur vers un objet membre. |
| is_member_function_pointer | Teste si le type est un pointeur vers une fonction membre. |
| is_enum | Teste si le type est une énumération. |
| is_union | Teste si le type est une union. |
| is_class | Teste si le type est une classe. |
| is_function | Teste si le type est un type de fonction. |
Catégories de type composite
| Nom | Description |
|---|---|
| is_reference | Teste si le type est une référence. |
| is_arithmetic | Teste si le type est arithmétique. |
| is_fundamental | Teste si le type est void ou arithmétique. |
| is_object | Teste si le type est un type d'objet. |
| is_scalar | Teste si le type est scalaire. |
| is_compound | Teste si le type n'est pas scalaire. |
| is_member_pointer | Teste si le type est un pointeur vers un membre. |
Propriétés type
| Nom | Description |
|---|---|
| is_const | Teste si le type est const. |
| is_volatile | Teste si le type est volatile. |
| is_trivial | Teste si le type est trivial. |
| is_trivially_copyable | Teste si le type peut être copié de façon triviale. |
| is_standard_layout | Teste si le type est un type de disposition standard. |
| is_pod | Teste si le type est POD. |
| is_literal_type | Teste si le type peut être une variable constexpr ou peut être utilisé dans une fonction constexpr. |
| is_empty | Teste si le type est une classe vide. |
| is_polymorphic | Teste si le type est une classe polymorphe. |
| is_abstract | Teste si le type est une classe abstraite. |
| is_final | Teste si le type est un type de classe marqué final. |
| is_aggregate | |
| is_signed | Teste si le type est un entier signé. |
| is_unsigned | Teste si le type est un entier non signé. |
| is_constructible | Teste si le type est constructible à l’aide des types d’argument spécifiés. |
| is_default_constructible | Teste si le type a un constructeur par défaut. |
| is_copy_constructible | Teste si le type a un constructeur de copie. |
| is_move_constructible | Teste si le type a un constructeur de déplacement. |
| is_assignable | Teste si le premier type peut se voir assigner une valeur du second type. |
| is_copy_assignable | Teste si un type peut se voir assigner une valeur de référence const du type. |
| is_move_assignable | Teste si un type peut se voir assigner une référence rvalue du type. |
| is_swappable | |
| is_swappable_with | |
| is_destructible | Teste si le type est destructible. |
| is_trivially_constructible | Teste si le type n’utilise aucune opération non triviale lorsqu’il est construit à l’aide des types spécifiés. |
| is_trivially_default_constructible | Teste si le type n’utilise aucune opération non triviale lorsqu’il est construit par défaut. |
| is_trivially_copy_constructible | Teste si le type n’utilise aucune opération non triviale lorsqu’il est construit par copie. |
| is_trivially_move_constructible | Teste si le type n’utilise aucune opération non triviale lorsqu’il est construit par déplacement. |
| is_trivially_assignable | Teste si les types peuvent être assignés et si l’assignation n’utilise aucune opération non triviale. |
| is_trivially_copy_assignable | Teste si le type peut être assigné par copie et si l’assignation n’utilise aucune opération non triviale. |
| is_trivially_move_assignable | Teste si le type peut être assigné par déplacement et si l’assignation n’utilise aucune opération non triviale. |
| is_trivially_destructible | Teste si le type est destructible et si le destructeur n’utilise aucune opération non triviale. |
| is_nothrow_constructible | Teste si le type est constructible et est connu comme ne levant pas d’exception quand il est construit à l’aide des types spécifiés. |
| is_nothrow_default_constructible | Teste si le type est constructible par défaut et connu comme ne levant pas d’exception lorsqu’il est construit par défaut. |
| is_nothrow_copy_constructible | Teste si le type est constructible par copie et si le constructeur de copie est connu comme ne levant pas d’exception. |
| is_nothrow_move_constructible | Teste si le type est constructible par déplacement et si le constructeur de déplacement est connu comme ne levant pas d’exception. |
| is_nothrow_assignable | Teste si le type peut être assigné à l’aide du type spécifié et si l’assignation est connue comme ne levant pas d’exception. |
| is_nothrow_copy_assignable | Teste si le type peut être assigné par copie et si l’assignation est connue comme ne levant pas d’exception. |
| is_nothrow_move_assignable | Teste si le type peut être assigné par déplacement et si l’assignation est connue comme ne levant pas d’exception. |
| is_nothrow_swappable | |
| is_nothrow_swappable_with | |
| is_nothrow_destructible | Teste si le type est destructible et si le destructeur est connu comme ne levant pas d’exception. |
has_virtual_destructor |
Teste si le type a un destructeur virtuel. |
has_unique_object_representations |
|
| is_invocable | Teste si un type pouvant être appelé peut être appelé à l’aide des types d’arguments spécifiés. Ajouté dans C++17. |
| is_invocable_r | Teste si un type pouvant être appelé peut être appelé à l’aide des types d’arguments spécifiés et que le résultat est convertible en type spécifié. Ajouté dans C++17. |
| is_nothrow_invocable | Teste si un type pouvant être appelé peut être appelé à l’aide des types d’arguments spécifiés et est connu pour ne pas lever d’exceptions. Ajouté dans C++17. |
| is_nothrow_invocable_r | Teste si un type pouvant être appelé peut être appelé à l’aide des types d’arguments spécifiés et est connu pour ne pas lever d’exceptions, et le résultat est convertible en type spécifié. Ajouté dans C++17. |
Requêtes de propriétés de type
| Nom | Description |
|---|---|
| alignment_of | Obtient l’alignement d’un type. |
| rank | Obtient le nombre de dimensions de tableau. |
| extent | Obtient le nombre d’éléments dans la dimension de tableau spécifiée. |
Relations de types
| Nom | Description |
|---|---|
| is_same | Teste si deux types sont identiques. |
| is_base_of | Teste si un type est une base d’un autre. |
| is_convertible | Teste si un type est convertible en un autre. |
Modifications const-volatile
| Nom | Description |
|---|---|
| add_const | Génère un type const à partir d’un type. |
| add_volatile | Génère un type volatile à partir d’un type. |
| add_cv | Génère un type const volatile à partir d’un type. |
| remove_const | Génère un type non const à partir d’un type. |
| remove_volatile | Génère un type non volatile à partir d’un type. |
| remove_cv | Génère un type non const non volatile à partir d’un type. |
Modifications de référence
| Nom | Description |
|---|---|
| add_lvalue_reference | Génère une référence vers un type à partir d’un type. |
| add_rvalue_reference | Génère une référence rvalue vers un type à partir d’un type. |
| remove_reference | Génère un type non-référence à partir d’un type. |
Modifications de signe
| Nom | Description |
|---|---|
| make_signed | Génère le type si signé, ou le plus petit type signé supérieur ou égal en taille au type. |
| make_unsigned | Génère le type si non signé, ou le plus petit type non signé supérieur ou égal en taille au type. |
Modifications de tableau
| Nom | Description |
|---|---|
| remove_all_extents | Génère un type non-tableau à partir d’un type tableau. |
| remove_extent | Génère le type d’élément à partir d’un type tableau. |
Modifications de pointeur
| Nom | Description |
|---|---|
| add_pointer | Génère un pointeur vers un type à partir d’un type. |
| remove_pointer | Génère un type à partir d’un pointeur vers un type. |
Autres transformations
| Nom | Description |
|---|---|
| aligned_storage | Alloue la mémoire non initialisée pour un type aligné. |
| aligned_union | Alloue la mémoire non initialisée pour une union alignée avec un constructeur ou un destructeur non trivial. |
| common_type | Génère le type commun de tous les types du package de paramètres. |
| conditional | Si la condition est true, génère le premier type spécifié, sinon le second type spécifié. |
| decay | Génère le type comme passé par la valeur. Crée un type non-référence, non const ou non volatile, ou crée un pointeur vers un type. |
| enable_if | Si la condition est true, génère le type spécifié, sinon ne génère aucun type. |
| invoke_result | Détermine le type de retour du type pouvant être appelé qui accepte les types d’argument spécifiés. Ajouté dans C++17. |
| result_of | Détermine le type de retour du type pouvant être appelé qui accepte les types d’argument spécifiés. Ajouté en C++14, déconseillé en C++17. |
| underlying_type | Génère le type intégral sous-jacent pour un type d’énumération. |
Caractéristiques d’opérateur logique
| Nom | Description |
|---|---|
| conjonction | |
| disjonction | |
| négation |