C++ named requirements: ContiguousIterator

A ContiguousIterator is an Iterator whose logically adjacent elements are also physically adjacent in memory.

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

Requirements

The type It satisfies ContiguousIterator if.

• The type It satisfies Iterator

And, for every.

• a, a dereferenceable iterator of type It
• n, an integral value

such that.

• a + n is a valid and dereferenceable iterator value

then.

• *(a + n) is equivalent to *(std::addressof(*a) + n).

Standard library

The following standard library types are ContiguousIterators.

• array::iterator.
• basic_string_view::iterator.
• vector::iterator for value_type other than bool.
• The return type of begin(valarray) and end(valarray)

See also

• Iterator library