...one of the most highly
regarded and expertly designed C++ library projects in the
world.
— Herb Sutter and Andrei
Alexandrescu, C++
Coding Standards
A Forward Sequence is a Sequence which guarantees that its elements are arranged in a definite order, and that the ordering will not change spontaneously [1]. Iterators into a forward sequence satisfy the Forward Iterator requirements.
Forward Sequence does not define any new expressions beyond those defined in Sequence. However, it refines the expression requirements.
Expression | Expression type |
---|---|
typename begin<s>::type | A model of Forward Iterator |
typename end<s>::type | A model of Forward Iterator |
For any forward sequence s
the following invariants always hold:
s
will access its elements in the same order.
[1] Both between compilation sessions and from iteration to iteration.
Sequence, Bidirectional Sequence, Forward Iterator