Namespaces
Variants

std::experimental::ranges:: RandomAccessIterator

From cppreference.net
C++
Experimental
Ranges
Iterators library
Iterator concepts
Indirect callable concepts
Common algorithm requirements
Concept utilities
Iterator utilities and operations
Iterator traits
Iterator adaptors
Stream iterators
Определено в заголовочном файле <experimental/ranges/iterator>
template < class I >

concept bool RandomAccessIterator =
BidirectionalIterator < I > &&
DerivedFrom < ranges :: iterator_category_t < I > , ranges :: random_access_iterator_tag > &&
StrictTotallyOrdered < I > &&
SizedSentinel < I, I > &&
requires ( I i, const I j, const ranges :: difference_type_t < I > n ) {
{ i + = n } - > Same < I > & ;
{ j + n } - > Same < I > && ;
{ n + j } - > Same < I > && ;
{ i - = n } - > Same < I > & ;
{ j - n } - > Same < I > && ;
j [ n ] ;
requires Same < decltype ( j [ n ] ) , ranges :: reference_t < I >> ;

} ;
(ranges TS)

Концепт RandomAccessIterator<I> расширяет BidirectionalIterator , добавляя поддержку перемещения за константное время с помощью операторов += , + , -= и - , вычисления расстояния за константное время с помощью - , а также доступа по индексу через оператор индексирования.

Пусть a и b будут корректными итераторами типа I такими, что b достижим из a , и пусть n будет значением типа ranges :: difference_type_t < I > равным b - a . RandomAccessIterator<I> выполняется только если:

  • ( a + = n ) равно b .
  • std:: addressof ( a + = n ) равно std:: addressof ( a ) .
  • ( a + n ) равно ( a + = n ) .
  • ( a + n ) равно ( n + a ) .
  • Для любых двух положительных целых чисел x и y , если a + ( x + y ) допустимо, то a + ( x + y ) равно ( a + x ) + y .
  • a + 0 равно a .
  • Если ( a + ( n - 1 ) ) допустимо, то -- b равно ( a + ( n - 1 ) ) .
  • ( b + = - n ) и ( b - = n ) оба равны a .
  • std:: addressof ( b - = n ) равно std:: addressof ( b ) .
  • ( b - n ) равно ( b - = n ) .
  • Если b разыменовываем, то a [ n ] допустимо и равно * b .
  • bool ( a <= b ) равно true .

Сохранение равенства

Выражение называется сохраняющим равенство если оно даёт равные результаты при равных входных данных.

  • Входные данные выражения состоят из его операндов.
  • Выходные данные выражения состоят из его результата и всех операндов, изменённых выражением (если таковые имеются).

Каждое выражение, которое должно сохранять равенство, дополнительно должно быть стабильным : два вычисления такого выражения с одинаковыми входными объектами должны давать равные результаты при отсутствии каких-либо явных изменений этих входных объектов между вычислениями.

Если не указано иное, каждое выражение, используемое в requires-expression , должно сохранять равенство и быть стабильным, и вычисление выражения может изменять только свои неконстантные операнды. Операнды, являющиеся константными, не должны изменяться.

Вариации неявных выражений

Выражение requires-expression , использующее выражение, которое является немодифицирующим для некоторого константного lvalue операнда, также неявно требует дополнительных вариаций этого выражения, принимающих неконстантный lvalue или (возможно константный) rvalue для данного операнда, если только такая вариация выражения не требуется явно с отличающейся семантикой. Эти неявные вариации выражений должны удовлетворять тем же семантическим требованиям, что и объявленное выражение. Степень, в которой реализация проверяет синтаксис вариаций, не определена.