Библиотека диапазонов (C++20) — cppreference.com

Библиотека диапазонов является расширением и обобщением библиотек алгоритмов и итераторов, что делает их более мощными, составными и менее подверженным ошибкам.

Библиотека создаёт и управляет представлениями диапазонов, облегчёнными объектами, которые косвенно представляют итерируемые последовательности (диапазонов). Диапазоны это абстракция над

• пары итераторов [начало, конец), например диапазоны, созданные неявным преобразованием из контейнеров. Все алгоритмы, использующие пары итераторов, теперь имеют перегрузки, которые принимают диапазоны (например, ranges::sort)
• подсчитанные последовательности начало + [0, размер), т.е. диапазон, возвращённый views::counted
• условно-завершённые последовательности [начало, предикат), например диапазон, возвращаемый views::take_while
• неограниченные последовательности [начало, ..), например диапазон, возвращённый views::iota

Библиотека диапазонов включает алгоритмы диапазонов, которые применяются к диапазонам активно, и адаптеры диапазонов, которые применяются к представлениям лениво. Адаптеры могут быть объединены в конвейеры, чтобы их действия происходили по мере повторения представления.

<tbody> </tbody>

Псевдоним пространства имён std::views предоставляется как сокращение для std::ranges::views.

Фабрики диапазонов

Адаптеры диапазонов

Генераторы диапазонов

Вспомогательные элементы

Объекты адаптеров диапазонов

Смотрите RangeAdaptorObject (RAO).

Объекты замыкания адаптеров диапазонов

Смотрите RangeAdaptorClosureObject (RACO).

Объекты точек настройки

Смотрите Объект точек настройки (CPO).

Присваиваемая оболочка

Некоторые адаптеры диапазона упаковывают свои элементы или функциональные объекты в копируемый блок (до C++23)перемещаемый блок (начиная с C++23). Оболочка дополняет обёрнутый объект возможностью присваивания, когда это необходимо.

Нераспространяющийся кеш

Некоторые адаптеры диапазона указаны в терминах шаблона класса non-propagating-cache только для описания, который ведёт себя почти так же, как std::optional<T> (отличия смотрите в описании).

Помощники объекта точки настройки

<tbody> </tbody>

Некоторые объекты точки настройки доступа к диапазону задаются в терминах этих шаблонов функций только для описания.

1) /*possibly-const-range*/ возвращает константный диапазон r, если это глубоко константный диапазон; в противном случае возвращает r без приведения типов.

2) /*as-const-pointer*/ возвращает указатель на объект константного типа.

Помощники адаптеров диапазонов

<tbody> </tbody>

Некоторые адаптеры диапазона указаны в терминах этих шаблонов функций только для пояснения.

1) /*tuple-transform*/ возвращает новый кортеж, созданный путём применения f к каждому элементу tuple.

2) /*tuple-for-each*/ применяет f к каждому элементу tuple и ничего не возвращает.

3) /*as-lvalue*/ передаёт rvalue t как левостороннее значение.

Вспомогательные концепты

Следующие концепты только для описания и используются для нескольких типов, но они не являются частями интерфейса стандартной библиотеки.

<tbody> </tbody>

Примечание

Пример

#include <iostream>
#include <ranges>

int main()
{
    auto const ints = {0,1,2,3,4,5};
    auto even = [](int i) { return 0 == i % 2; };
    auto square = [](int i) { return i * i; };

    // "конвейерный" синтаксис для создания представлений:
    for (int i : ints | std::views::filter(even) | std::views::transform(square)) {
        std::cout << i << ' ';
    }

    std::cout << '\n';

    // традиционный "функциональный" синтаксис составления:
    for (int i : std::views::transform(std::views::filter(ints, even), square)) {
        std::cout << i << ' ';
    }
}

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Смотрите также

• Библиотека итераторов
• Ограниченные алгоритмы