A class or built-in type X models the Readable Iterator concept for value type T if, in addition to X being Assignable and Copy Constructible, the following expressions are valid and respect the stated semantics. U is the type of any specified member of type T.
| Readable Iterator Requirements (in addition to Assignable and Copy Constructible) | ||
|---|---|---|
| Expression | Return Type | Note/Precondition |
| iterator_traits<X>::value_type | T | Any non-reference, non-cv-qualified type |
| *a | Convertible to T |
|
| a->m | U& | pre: pre: (*a).m is well-defined. Equivalent to (*a).m. |