Detailed Description

ConvertibleToRange denotes a sequence of the form: [begin, end). The elements of the range are the beginning element to the element before the end element. The following are examples of ranges:

• A container, denotes a range [container.begin(), container.end())
• An array, denotes a range [array[0], array[sizeof(array)/sizeof(array[0])])
• An std::pair of iterators denotes a range [pair.first, pair.last)

Refinement Of:

Associated Types:

Notation:

X	A type that is a model of ConvertibleToRange
x	Object of type X
I	A type for iterating over objects of type X
p, q	Objects of type I

Definitions:

Valid Iterator

p is a valid iterator in x if it is a valid (nonsingular) iterator that is reachable from adobe::begin(x).

Valid Range

[p, q) is a valid range in x if p and q are valid iterators in x and if q is reachable from p.

Valid Expressions:

Expression Semantics:

Complexity Guarantees:

Invariants:

Range Size

adobe::size(x) is equal to the distance from adobe::begin(x) to adobe::end(x).

Completeness

An algorithm that iterates through the range [adobe::begin(x), adobe::end(x)) will pass through every element of x. [1]

Notes:

[1] The order in which the elements appear in any range is unspecified, even between two iterations where the range has had no intervening mutative operations.