Difference between revisions of "cpp/named req/ContiguousIterator"

Revision as of 09:15, 1 December 2017

Template:cpp/concept/title Template:cpp/concept/navbar

A ContiguousIterator is an Template:concept 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 Template:concept

And, given

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

Then

• a + n is valid
• If a + n results in a dereferenceable iterator of type It, then *(a + n) is equivalent to *(std::addressof(*a) + n).

Standard library

The following standard library types are Template:concepts.

• 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