|
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
(C++26) | ||||
(C++26) | ||||
(C++26) | ||||
(C++26) | ||||
| Helper functions | ||||
The contract support library defines several types for reporting information aboutcontract violations.
Defined in header <contracts> | |
Defined in namespace std::contracts | |
(C++26) | the type holding the contract-violation information (class)[edit] |
(C++26) | the kind of the contract assertion violated (enum)[edit] |
(C++26) | the evaluation semantic when the contract violation occurs (enum)[edit] |
(C++26) | the reason that causes the contract violation (enum)[edit] |
Defined in header <contracts> | |
Defined in namespace std::contracts | |
| invokes the default contract-violation handler (function)[edit] | |
| Feature-test macro | Value | Std | Feature |
|---|---|---|---|
__cpp_lib_contracts | 202502L | (C++26) | Contract support library |
