Random Access Sequence . Boost , Chapter 1. Fusion 2.2 , Concepts

Random Access Sequence

Description

Случайная последовательность доступа — этодвунаправленная последовательность, модель итераторов которойИтератор случайного доступа. Это гарантирует постоянный доступ времени к произвольным элементам последовательности.

Refinement of

Двунаправленная последовательность

Notation

s: Случайная последовательность доступа
S: Тип последовательности случайного доступа
M: MPLинтегральная постоянная
N: Интегральная постоянная
o: Произвольный объект
e: Элемент последовательности

Valid Expressions

В дополнение к требованиям, определенным вДвунаправленной последовательности, для любой последовательности случайного доступа необходимо выполнить следующее:

выражение	Тип возврата	Типовые требования	Сложность Runtime
<`begin>s`	Итератор случайного доступа		Константа
<`end>s`	Итератор случайного доступа		Константа
<`at_c><N>s`	Любой тип		Константа
<`at_c><N>s]=o`	Любой тип	<`s`>является изменчивым и<`e= o`>, где<`e`>является первым элементом в последовательности, является действительным выражением.	Константа
<`at><M>s`	Любой тип		Константа
<`at><M>s]=o`	Любой тип	<`s`>является изменчивым и<`e= o`>, где<`e`>является первым элементом в последовательности, является действительным выражением.	Константа

Result Type Expressions

выражение	Компиляция сложности времени
<`result_of::begin><S>::тип`	Амортизированное постоянное время
<`result_of::end><S>::тип`	Амортизированное постоянное время
`result_of::at<S, M>::type`	Амортизированное постоянное время
<`result_of::at_c><S,N>::тип`	Амортизированное постоянное время
<`result_of::value_at><S,M>::тип`	Амортизированное постоянное время
<`result_of::value_at_c><S,N>::тип`	Амортизированное постоянное время

Note

<result_of::at><S,M>возвращает фактический тип, возвращаемый<at><M>s. В большинстве случаев это ссылка. Следовательно, нет никакого способа узнать точный тип элемента, используя<result_of::at><S,M>. Для этой цели вы можете использовать<result_of::value_at><S,M>(Обратите внимание, что<result_of::value_at_c><S,N>является аналогом<result_of::at_c><S,N>также).

Expression Semantics

Семантика выражения определяется только там, где она отличается от или не определена вДвунаправленной последовательности.

выражение	Семантика
<`at><M>s`	Элемент Mth от начала последовательности; см.<`at`>
<`at_c><N>s`	Н-й элемент от начала последовательности; см.<`at_c`>

Models

<std::pair>
<boost::array>
<vector>
<map>
<reverse_view>
<single_view>
<iterator_range>(где адаптированная последовательность является последовательностью случайного доступа)
<transform_view>(где адаптированная последовательность является последовательностью случайного доступа)
<zip_view>(где адаптированные последовательности являются моделями случайной последовательности доступа)

Статья Random Access Sequence раздела Chapter 1. Fusion 2.2 Concepts может быть полезна для разработчиков на c++ и boost.