cpp/named req/RandomAccessIterator

A is a  that can be moved to point to any element in constant time.

If a  originates from a, then 's  is the same as the container's, so dereferencing  obtains the container's.

A pointer to an element of an array satisfies all requirements of.

Requirements
The type satisfies  if
 * The type satisfies

And, given
 * , the type denoted by
 * , the type denoted by
 * , the type denoted by
 * ,, , objects of type or
 * , an lvalue of type
 * , an integer of type

The following expressions must be valid and have their specified effects:

The above rules imply that also implements.

A mutable is a  that additionally satisfies the  requirements.

{{rrev|since=c++20|

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

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