Заголовок <cassert> предоставляет макрос для документирования утверждений программы C ++ и механизм отключения проверок утверждений.
#define assert(E) see below
Выражение assert(E) - это constant subexpression, если
NDEBUG определяется в точке assert последнего определения или переопределения, или
E contextually converted to bool - константное подвыражение, возвращающее значение true.