assert

#define assert(condition) ((void)0)

#define assert(...)       ((void)0)

#define assert(condition) /* unspecified */

#define assert(...)       /* unspecified */

La définition de la macro assert dépend d'une autre macro, NDEBUG, qui n'est pas définie par la bibliothèque standard.

Les informations de diagnostic ont un format défini par l'implémentation, mais elles incluent toujours les informations suivantes :

• le nom du fichier source (c'est-à-dire __FILE__)
• le numéro de ligne source (c'est-à-dire __LINE__)
• le nom de la fonction englobante (c'est-à-dire __func__)

Paramètres

Notes

assert(std::is_same_v<int, int>);        // error: assert does not take two arguments
assert((std::is_same_v<int, int>));      // OK: one argument
static_assert(std::is_same_v<int, int>); // OK: not a macro
std::complex<double> c;
assert(c == std::complex<double>{0, 0});   // error
assert((c == std::complex<double>{0, 0})); // OK

Il n'existe pas d'interface standardisée pour ajouter un message supplémentaire aux erreurs assert . Une méthode portable pour en inclure un est d'utiliser un opérateur virgule à condition qu'il n'ait pas été surchargé , ou d'utiliser && avec un littéral de chaîne :

assert(("Il y a cinq lumières", 2 + 2 == 5));
assert(2 + 2 == 5 && "Il y a cinq lumières");

L'implémentation de assert dans Microsoft CRT n'est pas conforme au C++11 et aux révisions ultérieures, car sa fonction sous-jacente ( _wassert ) n'accepte ni __func__ ni un remplacement équivalent.

Depuis C++20, les valeurs nécessaires pour le message de diagnostic peuvent également être obtenues à partir de std::source_location::current() .

Bien que le changement de assert dans C23/C++26 ne soit pas formellement un rapport de défaut, le comité C recommande aux implémentations de rétroporter le changement aux anciens modes.

Exemple

#include <iostream>
// décommenter pour désactiver assert()
// #define NDEBUG
#include <cassert>
// Utiliser (void) pour ignorer les avertissements de variables inutilisées.
#define assertm(exp, msg) assert((void(msg), exp))
int main()
{
    assert(2 + 2 == 4);
    std::cout << "Point de contrôle #1\n";
    assert((void("void aide à éviter l'avertissement 'valeur inutilisée'"), 2 * 2 == 4));
    std::cout << "Point de contrôle #2\n";
    assert((010 + 010 == 16) && "Une autre façon d'ajouter un message d'assertion");
    std::cout << "Point de contrôle #3\n";
    assertm((2 + 2) % 3 == 1, "Succès");
    std::cout << "Point de contrôle #4\n";
    assertm(2 + 2 == 5, "Échec"); // l'assertion échoue
    std::cout << "L'exécution continue après la dernière assertion\n"; // Aucune sortie
}

Point de contrôle #1
Point de contrôle #2
Point de contrôle #3
Point de contrôle #4
main.cpp:23: int main(): Assertion `((void)"Échec", 2 + 2 == 5)' failed.
Aborted

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Voir aussi