InputIterator

i != j

contextually convertible to bool

!(i == j)

Precondition: (i, j) is in the domain of ==.

*i

reference, convertible to value_type

If i == j and (i, j) is in the domain of == then this is equivalent to *j.

Precondition: i is dereferenceable. The expression (void)*i, *i is equivalent to *i.

i->m

​

(*i).m

Precondition: i is dereferenceable.

++i

It&

​

Precondition: i is dereferenceable. Postcondition: i is dereferenceable or i is past-the-end. Postcondition: Any copies of the previous value of i are no longer required to be either dereferenceable or to be in the domain of ==.

(void)i++

​

(void)++i

​

*i++

convertible to value_type

value_type x = *i; ++i; return x;

​