Namespaces
Variants

std::contracts::evaluation_semantic

Из ru.cppreference.net
 
 
Библиотека утилит
Поддержка языка
Поддержка типов (базовые типы, RTTI)
Макросы тестирования возможностей библиотеки (C++20)
Программные утилиты
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Трёхстороннее сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношения (устарело в C++20)
 
Поддержка контрактов
Информация о нарушении контракта
Вспомогательные функции
 
Определён в заголовке <contracts>
enum class evaluation_semantic : /* unspecified */ {
    ignore = 1,
    observe = 2,
    enforce = 3,
    quick_enforce = 4
};
(начиная с C++26)

Перечислители std::contracts::evaluation_semantic соответствуют семантике оценки, с которой может быть выполнена контрактная проверка, со значениями, перечисленными ниже:

Перечислитель Значение
ignore контрактная проверка выполняется с семантикой «ignore»
observe контрактная проверка выполняется с семантикой «observe»
enforce контрактная проверка выполняется с семантикой «enforce»
quick_enforce контрактная проверка выполняется с семантикой «quick-enforce»

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

тип, содержащий информацию о нарушении контракта
(класс)
тип нарушенного контрактного утверждения
(перечисление)
причина, вызвавшая нарушение контракта
(перечисление)