Static Assertion

<metanoindex/>

 

C++

Langage

Concepts

Bibliothèque d'utilitaires

Bibliothèque pour les chaînes de caractères

Bibliothèque de conteneurs

Bibliothèque d'algorithmes

Bibliothèque d'itérateurs

Bibliothèque pour le calcul numérique

Bibliothèque pour les entrées/sorties

Bibliothèque pour la régionalisation

Bibliothèque pour les expressions régulières (C++11)

Bibliothèque pour les opérations atomiques (C++11)

Bibliothèque pour les processus légers (threads) (C++11)

 

Langage C++

Sujets généraux
Préprocesseur Commentaires Mots-clés	Table ASCII Séquences d'échappement Histoire du C++
Contrôle de flux
Instructions conditionnelles
instruction if	instruction switch
Instructions d'itération
boucle for boucle for à intervalle (C++11)	boucle while boucle do-while
Instructions de saut
instruction continue instruction break	instruction goto instruction return
Fonctions
déclaration de fonction
expression lambda
fonction générique
spécificateur inline
spécification d'exception (obsolète)
spécificateur noexcept (C++11)
Exceptions
expression throw	bloc try-catch
Espaces de noms
déclaration d'espace	alias d'espace de noms
Types
types fondamentaux classes énumérations	unions de types types fonctions
spécificateur decltype (C++11)
Qualificatifs
qualificatifs const et volatile
qualificatifs de stockage
qualificatif constexpr (C++11)
qualificatif auto (C++11)
qualificatif alignas (C++11)
Initialisation
initialisation par défaut initialisation par valeur initialisation à zéro initialisation par copie initialisation directe	initialisation d'agrégats liste d'initialisation (C++11) initialisation de constante initialisation de référence

Littéraux
littéraux entiers caractères littéraux littéraux à virgule flottante chaînes littérales	littéraux booléens nullptr (C++11) spécification de littéraux personnalisés (C++11)
Expressions
catégories de valeurs ordre d'évaluation	opérateurs priorité des opérateurs
opérateurs alternatifs
Utilitaires
Types
déclaration typedef
déclaration d'alias de type (C++11)
attributs (C++11)
Jette Original: Casts The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions.
conversions implicites
conversion const_cast
conversion static_cast
conversion dynamic_cast
conversion reinterpret_cast
conversions style C et style fonction
Allocation de mémoire
opération new	opération delete
Classes
déclaration de classe pointeur this accès aux membres	spécificateur friend listes d'initialisation
Qualificatifs spécifiques aux membres de classe
qualificatif virtual qualificatif override (C++11) qualificatif final (C++11)	qualificatif explicit (C++11) qualificatif static
Fonctions membres spéciales
constructeur par défaut constructeur par copie constructeur par déplacement (C++11)	opérateur as opérateur move (C++11) destructeur
Modèles
classes génériques
fonctions génériques
spécialisation de modèles
paquets de paramètres (C++11)
Divers
Assembleur

 

Effectue la vérification d'assertion moment de la compilation

Original:

Performs compile-time assertion checking

The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Syntaxe

static_assert ( bool_constexpr , string )		(depuis C++11)

Explication

• bool_constexpr une expression booléenne constante à évaluer

  Original:

  bool_constexpr a boolean constant expression to be evaluated

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.
• string chaîne littérale qui apparaît comme une erreur du compilateur si bool_constexpr est fausse

  Original:

  string string literal that will appear as compiler error if bool_constexpr is false

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

Exemple

#include <type_traits>

template<class T>
    void swap( T& a, T& b)
    {
        static_assert(std::is_copy_constructible<T>::value,
                      "Swap requires copying");

        auto c = b;
        b = a;
        a = c;
    }

template<class T>
    struct data_structure
{
    static_assert(std::is_default_constructible<T>::value,
                  "Data Structure requires default-constructible elements");

};

struct no_copy
{
    no_copy ( const no_copy& ) = delete;
    no_copy () = default;
};

struct no_default
{
    no_default ( ) = delete;
};

int main()
{
    int a, b;
    swap(a,b);

    no_copy nc_a, nc_b;
    swap(nc_a,nc_b); // 1

    data_structure<int> ds_ok;
    data_structure<no_default> ds_error; // 2
}

Résultat possible :

1: error: static assertion failed: Swap requires copying
2: error: static assertion failed: Data Structure requires default-constructible elements

Voir aussi

• s'affirmer
• caractères de type