22 Diagnostics library [diagnostics]

22.3 Assertions [assertions]

22.3.2 The assert macro [assertions.assert]

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

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

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