#
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]
)
.