assert − Terminer le programme en cas d’échec d’un test.

#include <assert.h>

void assert (int expression);

La fonction assert() affiche un message d’erreur sur la sortie standard, et termine l’exécution du programme en cours en appelant abort() si l’expression est fausse (égale à zéro). Ce comportement n’a lieu que si la constante symbolique NDEBUG n’est PAS définie au moment de l’inclusion de <assert.h>.

assert() étant définie comme une macro, les expressions du type assert (i != 0), sont purement et simplement éliminées de la compilation lorsque l’on définie la constante NDEBUG pour obtenir une version de distribution.

Aucune valeur n’est renvoyée.

ISO9899 (ANSI C). Dans le standard 1990 expression devait être de type int et le comportement était indéfini si ce n’était pas le cas, mais depuis le standard 1999, elle peut être de n’importe quel type scalaire.

assert() étant implementée comme une macro, si l’expression testée à des effets de bord, le comportement du programme diffèrera suivant l’existence de NDEBUG. Ceci peut induire des Heisenbugs (conformes à la théorie de Heisenberg ;-), qui disparaissent quand le débugging est utilisé.

exit(3), abort(3)

Christophe Blaess, 1997.