di::concepts::RandomAccessIterator Concept Reference

#include <di/container/concepts/random_access_iterator.h>

Concept definition

template<typename Iter>
concept di::concepts::RandomAccessIterator = 
    BidirectionalIterator<Iter> && DerivedFrom<meta::IteratorCategory<Iter>, types::RandomAccessIteratorTag> &&
    TotallyOrdered<Iter> && SizedSentinelFor<Iter, Iter> &&
    requires(Iter iterator, Iter const citerator, meta::IteratorSSizeType<Iter> const n) {
        { iterator += n } -> SameAs<Iter&>;
        { citerator + n } -> SameAs<Iter>;
        { n + citerator } -> SameAs<Iter>;
        { iterator -= n } -> SameAs<Iter&>;
        { citerator - n } -> SameAs<Iter>;
        { citerator[n] } -> SameAs<meta::IteratorReference<Iter>>;
    }