assert

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки потоков (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Поддержка языка Поддержка типа (базовые типы, RTTI, свойства типов)     Макросы тестирования функциональности библиотеки (C++20) Управление динамической памятью Программные утилиты Обработка ошибок Поддержка сопрограмм (C++20) Вариативные функции launder (C++17) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Объекты функции bitset Библиотека форматирования (C++20) hash (C++11) integer_sequence (C++14) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) to_underlying (C++23) Общие лексические типы pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) Stacktrace stacktrace_entry (C++23) basic_stacktrace (C++23)

 

Обработка ошибок

Обработка исключений exception uncaught_exceptionuncaught_exceptions (до C++20)(C++17) exception_ptr (C++11) make_exception_ptr (C++11) current_exception (C++11) rethrow_exception (C++11) nested_exception (C++11) throw_with_nested (C++11) rethrow_if_nested (C++11) Сбои обработки исключений terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (до C++17) unexpected_handler (до C++17) get_unexpected (C++11)(до C++17) set_unexpected (до C++17) Коды ошибок Коды ошибок errno

Категории исключений logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (ТС TM) Утверждения assert Средства system_error error_category (C++11) generic_category (C++11) system_category (C++11) error_condition (C++11) errc (C++11) error_code (C++11) system_error (C++11)

 

Определено в заголовочном файле <cassert>
#ifdef NDEBUG #define assert(condition) ((void)0) #else #define assert(condition) /*implementation defined*/ #endif

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

Оригинал:

The definition of the macro assert depends on another macro, NDEBUG, which is not defined by the standard library.

Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

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

Оригинал:

If NDEBUG is defined as a macro name at the point in the source code where <cassert> is included, then assert does nothing.

Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

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

Оригинал:

If NDEBUG is not defined, then assert checks if its argument (which must have scalar type) compares equal to zero. If it does, assert outputs implementation-specific diagnostic information on the standard error output and calls std::abort. The diagnostic information is required to include the text of expression, as well as the values of the standard macros __FILE__, __LINE__, and the standard variable __func__.

Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

Параметры

condition

—

Выражение скалярного типа Оригинал: expression of scalar type Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

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

(Нет)

Пример

Запустить этот код

#include <iostream>
// uncomment to disable assert()
// #define NDEBUG
#include <cassert>
 
int main()
{
    assert(2+2==4);
    std::cout << "Execution continues past the first assert\n";
    assert(2+2==5);
    std::cout << "Execution continues past the second assert\n";
}

Вывод:

Execution continues past the first assert
test: test.cc:8: int main(): Assertion `2+2==5' failed.
Aborted

См. также

объявление static_assert(C++11)	выполняет проверку утверждения во время компиляции
abort	вызывает аварийное завершение программы (без очистки) (функция)