Terminology and style guidelines

Использование последовательной терминологии так же важно для Ranges и алгоритмов на основе диапазона, как для итераторов и алгоритмов на основе итератора. Если принимается обычный набор имен, мы можем избежать недоразумений и написать типовые прототипы функций, которые являются самодокументирование.

Поскольку диапазоны характеризуются определенным типом итератора, мы получаем тип диапазона для каждого типа итератора. Таким образом, мы можем говорить о следующих типах диапазонов:

Обратите внимание, как мы использовали категории из нового стиля итераторов.

Обратите внимание, что итератор (и, следовательно, диапазон) имеет один Траверсал собственность и одно или несколько свойств из категории доступ к стоимости. Так что на самом деле мы будем в основном говорить о таких смесях, как

По соглашению, мы всегда должны указать Траверсал собственность сначала как сделано выше. Это кажется разумным, так как будет только один траверсальный собственность, но, возможно, многие доступ к стоимости свойства.

Однако было бы разумно указать только одну категорию, если другая категория не имеет значения. Например, iterator_range может быть построен из Forward Range. Это означает, что нам не все равно, что доступ к стоимости свойства, которыми обладает Range. Точно так же «Readable Range» будет самым низким из возможных traversal собственности (Single Pass).

В качестве другого примера рассмотрим, как мы укажем интерфейс std::sort(). Алгоритмы, как правило, более громоздки для определения интерфейса, так как Травы и доступ к стоимости свойства должны быть точно определены. Версия на итераторе выглядит так:

template< class RandomAccessTraversalReadableWritableIterator >
void sort( RandomAccessTraversalReadableWritableIterator first,
           RandomAccessTraversalReadableWritableIterator last );

Для диапазонов становится интерфейс

template< class RandomAccessReadableWritableRange >
void sort( RandomAccessReadableWritableRange& r );