ASSERT(3)

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

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

void assert(scalar expression);

ОПИСАНИЕ
Данный макрос помогает программистам находить ошибки в своих программах или обрабатывать исключительные случаи посредством завершения программы, при котором выводится немного отладочной информации. Если expression ложно (т. е., при сравнении равно нулю), то assert() печатает сообщение об ошибке в стандартный поток ошибок и завершает программу вызовом abort(3). Сообщение об ошибке содержит имя файла и функцию, содержащую вызов assert(), номер строки исходного кода вызова и текст аргумента; пример:
    prog: some_file.c:16: some_func: Assertion `val == 0' failed. Если определён макрос NDEBUG на момент включения последнего <assert.h>, то макрос assert() не генерирует код, и, следовательно ничего вызывает. Не рекомендуется определять NDEBUG, если assert() используется для обнаружения ошибок условий, так как ПО может повести себя непредсказуемо.

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

АТРИБУТЫ
Описание терминов данного раздела смотрите в 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)