Forward Sequence

Description

Forward Sequence - это концепция MPL, представляющая компиляционную последовательность элементов. Элементы последовательности являются типами и доступны через Итераторы. Метафункции begin и end обеспечивают итераторы, делящие диапазон элементов последовательности. Последовательность гарантирует, что ее элементы расположены в определенном, но, возможно, неопределенном порядке. Каждая последовательность MPL - это Forward Sequence.

Definitions

размерпоследовательности — это число элементов, которые она содержит. Размер является неотрицательным числом.
Последовательностьпуста, если её размер равен нулю.

Expression requirements

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

Expression	Type	Complexity
`begin::type`	Форвардный итератор	Амортизированное постоянное время
`end::type`	Форвардный итератор	Амортизированное постоянное время
`размер::type`	Integral Constant	Неуказанные
`пустая::type`	Boolean Integral Constant	Время
`фронт::type`	Любой тип	Амортизированное постоянное время

Expression semantics

Expression	Semantics
`begin::type`	Итератор первого элемента последовательности; см. begin.
`end::type`	Прошлый итератор к последовательности; см. end.
`размер::type`	Размер последовательности; см. размер.
`пустая::type`	Boolean Integral Constant `c` такие, что `c:: value == true` если и только если последовательность пуста; см. empty.
`фронт::type`	Первый элемент в последовательности; см. front.

Invariants

Для любого Forward Sequence s следующие инварианты всегда держат:

[править]Начало::type~~,конец::тип~~всегда является допустимым диапазоном.~~~~

Алгоритм, который проходит через диапазон [, начинается::type~~,, заканчивается::type~~, пройдет через каждый элементsровно один раз.~~~~

начать::тип~~идентиченконцу::тип~~, если и только еслиsпуст.~~~~

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

Models

вектор

Карта

Range_c

iterator_range

filter_view

See also

Последствия, директивная последовательность, Форвардный итератор, begin / end, размер, пустый, фронт

The MPL Reference Manual: Forward Sequence

Boost , ,

Boost C++ Libraries