assert

Определение макроса assert зависит от другого макроса, NDEBUG , который не определён стандартной библиотекой.

Если NDEBUG определён как имя макроса в точке исходного кода, где <assert.h> подключается, то assert не выполняет никаких действий.

Если NDEBUG не определён, то assert проверяет, сравнивается ли его аргумент (до C23) выражение, синтезированное из __VA_ARGS__ (начиная с C23) (которое должно иметь скалярный тип, иначе поведение не определено) с нулём. Если это так, assert выводит зависящую от реализации диагностическую информацию в стандартный поток ошибок и вызывает abort ( ) . Диагностическая информация должна включать текст expression , а также значения предопределённой переменной __func__ и (начиная с C99) предопределённых макросов __FILE__ и __LINE__ .

Параметры

Возвращаемое значение

(нет)

Примечания

Не существует стандартизированного интерфейса для добавления дополнительного сообщения к ошибкам assert . Переносимым способом включения такого сообщения является использование оператора запятой или применение && со строковым литералом:

assert(("Есть пять огней", 2 + 2 == 5));
assert(2 + 2 == 5 && "Есть пять огней");

Реализация assert в Microsoft CRT не соответствует стандартам C99 и более поздним версиям, поскольку её базовая функция ( _wassert ) не принимает ни __func__ , ни эквивалентную замену.

Несмотря на то, что изменение assert в C23 ( N2829 ) не является формальным отчётом о дефектах, комитет по C рекомендует реализациям перенести это изменение в старые режимы.

Пример

#include <stdio.h>
// uncomment to disable assert()
// #define NDEBUG
#include <assert.h>
#include <math.h>
#define TEST(...) __VA_ARGS__
int main(void)
{
    double x = -1.0;
    assert(x >= 0.0);
    printf("sqrt(x) = %f\n", sqrt(x));
    assert(TEST(x >= 0.0));
    return 0;
}

--- Output with NDEBUG not defined: ---
a.out: main.cpp:10: main: Assertion `x >= 0.0' failed.
--- Output with NDEBUG defined: ---
sqrt(x) = -nan

Ссылки

Смотрите также