ASSERT(3)

ИМЯ
assert - прекращает работу программы при ложном утверждении

ОБЗОР
#include <assert.h>

void assert(scalar expression);

ОПИСАНИЕ
Если на момент последнего включения <assert.h> был определён макрос NDEBUG, то для макроса assert() не создаётся никакого кода и, соответственно, он вообще ничего не делает. В противном случае, макрос assert() выводит в стандартный поток ошибок сообщение об ошибке и прекращает работу программы вызовом abort(3), если значение expression ложно (т. е. при сравнении равно нулю).

Данный макрос помогает программисту находить ошибки в своих программах. Для пользователя, сообщения типа «assertion failed in file foo.c, function do_bar(), line 1287» бесполезны.

ВОЗВРАЩАЕМОЕ ЗНАЧЕНИЕ
Ничего не возвращается.

АТРИБУТЫ
Описание терминов данного раздела смотрите в attributes(7).
Интерфейс | Атрибут | Значение
assert() | безвредность в нитях | безвредно (MT-Safe)

СООТВЕТСТВИЕ СТАНДАРТАМ
POSIX.1-2001, POSIX.1-2008, C89, C99. В стандарте C89 указано, что значение expression должно иметь тип int, и поведение функции непредсказуемо, если это не так; согласно стандарту C99, переменная может быть любого скалярного типа.

ДЕФЕКТЫ
Функция assert() реализована в виде макроса. Если проверка выражения приводит к побочным изменениям, то поведение программы будет различным в зависимости от наличия NDEBUG. Это может создавать гейзенбаг, который исчезает при включении отладки.

СМОТРИТЕ ТАКЖЕ
abort(3), assert_perror(3), exit(3)