20
Library introduction
[library]
20.5
Library-wide requirements
[requirements]
20.5.4
Constraints on programs
[constraints]
20.5.4.11
Requires paragraph
[res.on.required]
1
#
Violation of the preconditions specified in a function's
Requires:
paragraph results in undefined behavior unless the function's
Throws:
paragraph specifies throwing an exception when the precondition is violated
.