Difference between revisions of "cpp/named req/ContiguousIterator"
From cppreference.com
D41D8CD98F (Talk | contribs) |
(→Requirements: fix) |
||
| Line 11: | Line 11: | ||
* The type {{tt|It}} satisfies {{concept|Iterator}} | * The type {{tt|It}} satisfies {{concept|Iterator}} | ||
| − | And, | + | And, for every |
* {{tt|a}}, a dereferenceable iterator of type {{tt|It}} | * {{tt|a}}, a dereferenceable iterator of type {{tt|It}} | ||
* {{tt|n}}, an integral value | * {{tt|n}}, an integral value | ||
| − | + | such that | |
| − | * {{c|a + n}} is valid | + | |
| − | + | * {{c|a + n}} is a valid and dereferenceable iterator value | |
| + | |||
| + | then | ||
| + | |||
| + | * {{c|*(a + n)}} is equivalent to {{c|*(std::addressof(*a) + n)}}. | ||
===Standard library=== | ===Standard library=== | ||
Revision as of 18:52, 8 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
Itsatisfies Template:concept
And, for every
-
a, a dereferenceable iterator of typeIt -
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 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)
