Spec-Zone.ru › C++

std::contracts::evaluation_semantic

Определён в заголовке <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»

См. также

contract_violation
(C++26)
тип, содержащий сведения о нарушении контракта
(класс)
assertion_kind
(C++26)
тип нарушенного утверждения контракта
(перечисление)
detection_mode
(C++26)
причина нарушения контракта
(перечисление)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/contract/evaluation_semantic

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API