Was ist in der C-Sprache eine einfache Behauptung?

Eine Behauptung ist eine Aussage, mit der bestätigt wird, dass eine Tatsache wahr sein muss, wenn diese Codezeile erreicht ist.

Behauptungen sind nützlich, um erwartete Bedingungen zu erhalten, die erfüllt werden.

>

Einfache Behauptung

Eine einfache Behauptung kann über die Methode „assert(expression)“ implementiert werden, die sich in der Header-Datei assert.h befindet.

Die Syntax einer einfachen Behauptung lautet wie folgt:

assert(expression)

In einer einfachen Behauptung

• wird keine Aktion ausgeführt, wenn die an die Behauptung übergebene Bedingung wahr ist.
• Bei falschen Anweisungen hängt das Verhalten vollständig von den Compiler-Flags ab.
• Wenn Zusicherungen aktiviert sind, führen falsche Eingaben zum Stoppen des Programms.
• Wenn Behauptungen deaktiviert sind, passiert nichts.

Assertions werden nur verwendet, um interne Programmierfehler abzufangen. Diese Fehler entstehen durch die Übergabe falscher Parameter.

Beispiel

Das Folgende ist ein Beispielprogramm für einfache Behauptungen in der Programmiersprache C:

Online-Demo

#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;
}

Ausgabe

Wenn das obige Programm ausgeführt wird, erzeugt es die folgende Ausgabe –

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

Das obige ist der detaillierte Inhalt vonWas ist in der C-Sprache eine einfache Behauptung?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!