cpp/iterator/iter t

Compute the associated types of an iterator. The exposition-only concept is satisfied if and only if the expression  is valid and has a referenceable type (in particular, not ).

@1@ Computes the value type of. If is not specialized, then  is. Otherwise, it is. @2@ Computes the reference type of. @3@ Computes the const reference type of. @4@ Computes the difference type of. If is not specialized, then  is. Otherwise, it is. @5@ Computes the rvalue reference type of. The "see below" portion of the constraint on this alias template is satisfied if and only if the expression is valid and has a referenceable type (in particular, not ). @6@ Computes the common reference type of. This is the common reference type between its reference type and an lvalue reference to its value type.