N4132: Contiguous Iterators (original) (raw)

24.2.8 Contiguous iterators [contiguous.iterators]

A class or pointer type X satisfies the requirements of a contiguous iterator if, in addition to satisfying the requirements for random access iterators, for dereferenceable aand (a + n), *(a + n) is equivalent to*(std::addressof(*a) + n). [ Note: For a valid iterator range [a, b) with dereferenceable a, the corresponding range denoted by pointers is [std::addressof(*a), std::addressof(*a) + (b-a) ); b might not be dereferenceable. -- end note ]