Whenever the Effects
element specifies that the semantics of some function
are Equivalent to
some code sequence, then the various elements are
interpreted as follows.
's semantics specifies a Requires
that requirement is logically imposed prior to the equivalent-to
Next, the semantics of the code sequence are determined by the Requires
, and Error conditions
specified for the function invocations contained in the code sequence.
returned from F
is specified by F
element, or if F
has no Returns
element, a non-void
return from F
is specified by the
statements in the code sequence.
's semantics contains a Throws
, or Complexity
element, then that supersedes any occurrences of that
element in the code sequence.
For non-reserved replacement and handler functions,
specifies two behaviors for the functions in question:
their required and default behavior.
The required behavior
describes the semantics of a function definition provided by
either the implementation or a C++ program.
Where no distinction is explicitly made in the description, the
behavior described is the required behavior.