gears::concepts::RandomAccessIterator< T > Struct Template Reference

Checks if a type is a random access iterator. More...

Inherits gears::concepts::Or< Pointer< T >, And< BidirectionalIterator< T >, Comparable< T >, TraitOf< detail::is_random_access, T > > >.

Detailed Description

template<typename T>
struct gears::concepts::RandomAccessIterator< T >

A Unary concept that checks if a type is a random access iterator. Note that this doesn't mean it inherits from std::iterator.

In order to meet this concept, the type must be:

• BidirectionalIterator
• Comparable

In addition, the following expressions must be valid:

auto& a = (x += n);
auto b = x + n;
auto c = n + x;
auto& d = (x -= n);
auto e = x - n;
auto f = n - x;
auto g = x - y;
auto& h = x[n];

Where x and y are instances of T.

Template Parameters

T	Type to check.

Definition at line 208 of file concepts/iterator.hpp.