cpp/named req/InputIterator

A is a  that can read from the pointed-to element. s only guarantee validity for single pass algorithms: once a  has been incremented, all copies of its previous value may be invalidated.

Requirements
The type satisfies  if
 * The type satisfies
 * The type satisfies

And, given
 * and, values of type or
 * , an lvalue of type
 * , the type denoted by
 * , the type denoted by

The following expressions must be valid and have their specified effects

Concept
For the definition of std, the following exposition-only concept is defined.

where the exposition-only concept is described in. }}