Namespaces
Variants
Views
Actions

Contract support (C++26)

From cppreference.com
< cpp
 
 
Utilities library
General utilities
Relational operators (deprecated in C++20)
 
Contract support
Contract-violation information
Helper functions
 

The contract support library defines several types for reporting information about contract violations.

[edit] Contract-violation information

Defined in header <contracts>
Defined in namespace std::contracts
the type holding the contract-violation information
(class) [edit]
the kind of the contract assertion violated
(enum) [edit]
the evaluation semantic when the contract violation occurs
(enum) [edit]
the reason that causes the contract violation
(enum) [edit]

[edit] Helper functions

Defined in header <contracts>
Defined in namespace std::contracts
invokes the default contract-violation handler
(function) [edit]

[edit] Notes

Feature-test macro Value Std Feature
__cpp_lib_contracts 202502L (C++26) Contract support library