19 Diagnostics library [diagnostics]

The header <cassert> provides a macro for documenting C++ program assertions and a mechanism for disabling the assertion checks.

The contents are the same as the C standard library header <assert.h>, except that a macro named static_­assert is not defined.

See also: ISO C 7.2

An expression assert(E) is a constant subexpression, if

• (1.1)
  NDEBUG is defined at the point where assert is last defined or redefined, or
• (1.2)
  E contextually converted to bool is a constant subexpression that evaluates to the value true.