Expression | Return type | Operational | Assertion/note | |
semantics | pre-/post-condition | |||
a != b | contextually convertible to bool | !(a == b) | ||
*a | reference, convertible to T | |||
a->m | (*a).m | Preconditions: a is dereferenceable. | ||
++r | X& | |||
(void)r++ | equivalent to (void)++r | |||
*r++ | convertible to T | { T tmp = *r; ++r; return tmp; } |