[defns.expression.equivalent] (original) (raw)

3 Terms and definitions [intro.defs]

3.22[defns.expression.equivalent]expression-equivalent

⟨library⟩expressions that all have the same effects, either are all potentially-throwing or are all not potentially-throwing, and either are all _constant subexpression_s ([defns.const.subexpr]) or are all not constant subexpressions

[Example 1:

For a value x of type intand a function f that accepts integer arguments, the expressionsf(x + 2),f(2 + x), andf(1 + x + 1)are expression-equivalent.

— _end example_]