16
Library introduction
[library]
16.4
Library-wide requirements
[requirements]
16.4.6
Conforming implementations
[conforming]
16.4.6.15
Contract assertions
[res.contract.assertions]
1
#
Unless specified otherwise, an implementation may check the specified preconditions and postconditions of a function in the C++ standard library using contract assertions (
[basic.
contract]
,
[structure.
specifications]
)
.