#include <cassert>

void assert (int expression) 

Es wird behauptet, dass der Ausdruck expression gilt.

Ist der Wert des Ausdrucks nicht 0, wird das Programm fortgesetzt. Anderenfalls bricht das Programm mit einer Fehlermeldung ab.

Der Ausdruck expression sollte keine Seiteneffekte auslösen. Die assert()-Funktion ist als Makro implementiert. Sie wird aus dem Code entfernt, wenn das Makro NDEBUG definiert ist.

Rückgabewert: Keiner. Bei (expression)==0 wird eine Fehlermeldung ausgegeben und abort() aufgerufen.

abort(), exit(), Ausnahmebehandlung.

assert.cpp

// nicht aktiv: #define NDEBUG
#include <cassert>
#include <iostream>
 
double dezimal(int zaehler, int nenner)
{
  assert( nenner != 0 );
  return double(zaehler) / nenner;
}
 
int main()
{
  std::cout << dezimal(1,0) << '\n';
}