15
Library introduction
[library]
15.5
Library-wide requirements
[requirements]
15.5.4
Constraints on programs
[constraints]
15.5.4.11
Requires paragraph
[res.on.required]
1
#
Violation of any preconditions specified in a function's
Requires:
element results in undefined behavior unless the function's
Throws:
element specifies throwing an exception when the precondition is violated
.
2
#
Violation of any preconditions specified in a function's
Expects:
element results in undefined behavior
.