Поддержка контрактов (C++26)

Библиотека поддержки контрактов определяет несколько типов для предоставления информации о нарушениях контрактов.

Информация о нарушении контракта

Определено в заголовке <contracts>
Определено в пространстве имён std::contracts
contract_violation (C++26)	тип, хранящий информацию о нарушении контракта (класс)
assertion_kind (C++26)	тип нарушенного утверждения контракта (перечисление)
evaluation_semantic (C++26)	семантика вычисления в момент возникновения нарушения контракта (перечисление)
detection_mode (C++26)	причина возникновения нарушения контракта (перечисление)

Вспомогательные функции

Определено в заголовке <contracts>
Определено в пространстве имён std::contracts
invoke_default_contract_violation_handler (C++26)	вызывает обработчик нарушения контракта по умолчанию (функция)

Примечания

Макрос проверки поддержки	Значение	Стандарт	Возможность
__cpp_lib_contracts	202502L	(C++26)	Библиотека поддержки контрактов