assert.h

<assert.h> ist ein Header, der in der Standardbibliothek der Sprache C enthalten ist und das Makro definiert assert. Das Makro implementiert eine Zusicherung , mit der die vom Programm getroffenen Annahmen überprüft werden können.

Das Makro assertdiagnostiziert die Zusicherungen im Programm. Wenn der Ausdruck bei der Ausführung falsch ist (dh gleich 0 ist), assertschreiben Sie Informationen über den fehlgeschlagenen Aufruf an stderrund rufen Sie dann auf abort . Genauer gesagt stderrlautet die Information :

den Namen der Quelldatei;
die Nummer der betreffenden Zeile im Quellcode;
die im Quellcode enthaltene Funktion;
der Text des Ausdrucks, der mit 0 ausgewertet wurde.

Anwendungsbeispiel

#include <stdio.h> #include <assert.h> int test_assert ( int x ) { assert( x <= 4 ); return x; } int main ( void ) { int i; for (i=0; i<=9; i++){ test_assert( i ); printf("i = %i\n", i); } return 0; }

i = 0 i = 1 i = 2 i = 3 i = 4 assert: assert.c:6: test_assert: Assertion `x <= 4' failed. Aborted

Hier wird das Programm während der Ausführung des test_assertAufrufs mit Parameter 5 unterbrochen .