std::contracts::evaluation_semantic
From cppreference.com
C++
Feature test macros (C++20)
Concepts library (C++20)
Metaprogramming library (C++11)
Ranges library (C++20)
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Utilities library
Type support (basic types, RTTI)
Library feature-test macros (C++20)
(C++11)
(C++20)
(C++26)
(C++20)
Coroutine support (C++20)
Contract support (C++26)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
General utilities
Relational operators (deprecated in C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
(C++20)
Swap and type operations
Common vocabulary types
Contract support
Contract-violation information
(C++26)
(C++26)
evaluation_semantic
(C++26)
(C++26)
Helper functions
Defined in header
<contracts>
enum class evaluation_semantic : /* unspecified */ {
(since C++26)
ignore = 1,
observe = 2,
enforce = 3,
quick_enforce = 4
The enumerators of std::contracts::evaluation_semantic correspond to the evaluation semantics with which a contract assertion may be evaluated, with meanings listed below:
Enumerator
Meaning
ignore
the contract assertion is evaluated under "ignore" semantic
observe
the contract assertion is evaluated under "observe" semantic
enforce
the contract assertion is evaluated under "enforce" semantic
quick_enforce
the contract assertion is evaluated under "quick-enforce" semantic