En langage C, qu'est-ce qu'une simple assertion ?

Une assertion est une déclaration utilisée pour affirmer de manière affirmative qu'un fait doit être vrai lorsque cette ligne de code est atteinte.

Les assertions sont utiles pour obtenir les conditions attendues qui sont remplies.

>

Assertion simple

Une assertion simple peut être implémentée via la méthode assert(expression), qui se trouve dans le fichier d'en-tête assert.h.

La syntaxe d'une assertion simple est la suivante -

assert(expression)

Dans une assertion simple,

• aucune action n'est entreprise lorsque la condition passée à l'assertion est vraie.
• Pour les déclarations incorrectes, le comportement dépend entièrement des indicateurs du compilateur.
• Lorsque les assertions sont activées, une saisie incorrecte entraînera l'arrêt du programme.
• Lorsque les assertions sont désactivées, rien ne se passe.

Les assertions ne sont utilisées que pour détecter les erreurs de programmation internes. Ces erreurs se produisent en transmettant des paramètres incorrects.

Exemple

Ce qui suit est un exemple de programme pour des assertions simples en langage de programmation C :

Démo en ligne

#include <stdio.h>
#include <assert.h>
int main(void){
   int x;
   printf("Enter the value of x:</p><p>");
   scanf("%d",&x);
   assert(x >= 0);
   printf("x = %d</p><p>", x);
   return 0;
}

Sortie

Lorsque le programme ci-dessus est exécuté, il produit la sortie suivante −

Run 1:
Enter the value of x:
20
x = 20
Run 2:
Enter the value of x:
-3
Assertion failed!
Program: G:\CP\CP programs\test.exe
File: G:\CP\CP programs\test.c, Line 10
Expression: x >= 0

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!