Fonctions de base en langage C/assert.h
Description
[modifier | modifier le wikicode]Ce fichier d'include ne définit qu'une seule macro : assert(expression). Si expression est fausse (ou égale à 0), alors un message d'erreur est affiché et le programme est arrêté par abort :
Type de message d'erreur :
"assertion \"%s\" failed: file \"%s\", line %d\n"
"expression", __FILE__, __LINE__);
Si vous définissez la macro NDEBUG, la macro assert n’est pas prise en compte.
Exemple
[modifier | modifier le wikicode]Le programme assert.c s'arrête par assert si on lui passe des paramètres.
// Compilation : gcc -Wall -pedantic -o assert.exe assert.c
// Compilation en ignorant assert : gcc -DNDEBUG -Wall -pedantic -o assert.exe assert.c
#include <stdio.h>
#include <assert.h>
int main(int argc, char *argv[])
{
assert(argc == 1);
(void)puts("Appel sans parametre.");
return 0;
}
Résultats d'exécution :
MacMini-TM:~/Documents/exemples_c thierry$ ./assert.exe
Appel sans parametre.
MacMini-TM:~/Documents/exemples_c thierry$ ./assert.exe param
assert.c:5: failed assertion `argc == 1'
Abort trap
Remarques
[modifier | modifier le wikicode]- Un message d'erreur tel que celui généré par
assertn’est pas acceptable dans un code de production : il n’est pas compréhensible par un utilisateur et ne lui permet pas de savoir d'où vient le problème. assertpeut être cependant utile pendant les phases de mises au point. Les erreurs détectées doivent être prises en compte d'une autre façon et exprimées par des messages plus compréhensibles. Les autres assertions qui n'ont pas été rencontrées pourront être laissées dans le code et rendues inactives à l'aide de NDEBUG.- Il peut être désorientant qu'un programme se comporte différemment selon la façon de le compiler.
