22 Diagnostics library [diagnostics]

22.3 Assertions [assertions]

Заголовок <cassert> предоставляет макрос для документирования утверждений программы C ++ и механизм отключения проверок утверждений.

22.3.1 Header <cassert> synopsis [cassert.syn]

#define assert(E) see below

Содержимое такое же, как заголовок стандартной библиотеки C <assert.h>, за исключением того, что названный макрос static_­assert не определен.

См. Также: ISO C 7.2.

22.3.2 The assert macro [assertions.assert]

Выражение assert(E) - это constant subexpression, если

  • NDEBUG определяется в точке assert последнего определения или переопределения, или

  • E contextually converted to bool - константное подвыражение, возвращающее значение true.