[expr.post.incr] (original) (raw)

The value of a postfix ++ expression is the value obtained by applying the lvalue-to-rvalue conversion ([conv.lval]) to its operand.

[Note 1:

The value obtained is a copy of the original value.

— _end note_]

The operand shall be a modifiable lvalue.

The type of the operand shall be an arithmetic type other than cv bool, or a pointer to a complete object type.

The value of the operand object is modified ([defns.access]) as if it were the operand of the prefix ++ operator ([expr.pre.incr]).

Thevalue computation of the ++ expression is sequenced before the modification of the operand object.

With respect to an indeterminately-sequenced function call, the operation of postfix++ is a single evaluation.

[Note 2:

Therefore, a function call cannot intervene between the lvalue-to-rvalue conversion and the side effect associated with any single postfix ++ operator.

— _end note_]

The result is a prvalue.

The type of the result is the cv-unqualified version of the type of the operand.