bmb::RandomAccessIterator Concept Reference

RandomAccessIterator. More...

#include <iterators.h>

Concept definition

template<typename Iter>
concept bmb::RandomAccessIterator =  BidirectionalIterator<Iter>
      && requires(Iter i, Iter j, IteratorTraits<Iter>::difference_type n) {
             { i += n } -> SameAs<Iter&>;
             { i -= n } -> SameAs<Iter&>;
 
             { i + n } -> SameAs<Iter>;
             { n + i } -> SameAs<Iter>;
 
             { i - n } -> SameAs<Iter>;
 
             { i - j } -> SameAs<typename IteratorTraits<Iter>::difference_type>;
 
             { i < j } -> ConvertibleTo<bool>;
             { i > j } -> ConvertibleTo<bool>;
             { i <= j } -> ConvertibleTo<bool>;
             { i >= j } -> ConvertibleTo<bool>;
         }

Detailed Description

RandomAccessIterator.