Forward Sequence . Boost , Chapter 1. Fusion 2.2 , Concepts

Forward Sequence

Description

Передовая последовательность — это последовательность, элементы которой расположены в определенном порядке. Заказ гарантированно не будет меняться от итерации к итерации. Требование определенного упорядочения позволяет определить равенство элементов (если тип элемента контейнера сопоставим) и лексикографическое упорядочение (если тип элемента контейнера сопоставим).

Notation

s: Передовая последовательность
S: Тип передней последовательности
o: Произвольный объект
e: Элемент последовательности

Valid Expressions

Для любой передовой последовательности должны быть действительны следующие выражения:

Выражение	Тип возврата	Типовые требования	Сложность Runtime
`начать()`	Передний итератор		Константа
`end(s)`	Передний итератор		Константа
`size()`	MPL Интегральная постоянная. Конвертируемый в Int.		Константа
`empty()`	MPL Boolean Constant. Конвертируемый в бул.		Константа
`front()`	Любой тип		Константа
`front()=`	Любой тип	является изменчивым, а `e = o`, где `e` является первым элементом в последовательности, является действительным выражением.	Константа

Result Type Expressions

Выражение	Компиляция сложности времени
`результат_::Начать<S>::тип`	Амортизированное постоянное время
`результат_::конец<S>::тип`	Амортизированное постоянное время
`result_of::size<S>::type`	Неуточненный
`result_of::empty<S>::type`	Постоянное время
`result_of::front<S>::type`	Амортизированное постоянное время

Expression Semantics

Выражение	Семантика
`начать()`	Итератор к первому элементу последовательности; см. `начать`.
`end(s)`	Итератор прошедшего конца последовательности; см. `end`.
`size()`	Размер последовательности; см. `размер`.
`empty()`	Булева интегральная константа `c` такая, что `c::значение ==истинно`, если и только если последовательность пуста; см. `пустая`.
`front()`	Первый элемент в последовательности; см. `front`.

Invariants

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

[начало(s),конец(s)) всегда является допустимым диапазоном.
Алгоритм, который итерируется через диапазон [, начинается(),, заканчивается() пройдет через каждый элемент s ровно один раз.
начало(s) идентично конец(s)) если и только если s пуст.

Две различные итерации через s будут иметь доступ к его элементам в том же порядке.

Models

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