🍳 Ranges: другие полезные адаптеры

В прошлый раз мы разобрали views::join и views::join_with — «сплющивание» вложенных диапазонов. Сегодня — подборка адаптеров, которые пригождаются постоянно, но о которых часто забывают.


🍒 views::reverse — обратный порядок

std::vector<int> v = {1, 2, 3, 4, 5};
for (int x : v | views::reverse) {
    std::cout << x << " "; // 5 4 3 2 1
}

❗️ Требует bidirectional_range. Например, views::filter моделирует bidirectional_range, только если исходный диапазон сам bidirectional_range и common_range — так что для vector, deque или list цепочка views::filter(...) | views::reverse работает, а для forward_list или istream_view — нет.


🏝 views::keys и views::values — для пар и map

std::map<std::string, int> ages = {{"Алиса", 30}, {"Борис", 25}};

for (const auto& name : ages | views::keys) {
    std::cout << name << "\n"; // Алиса, Борис
}

for (int age : ages | views::values) {
    std::cout << age << "\n"; // 30, 25
}

Под капотом views::keys — это views::elements<0>, а views::values — views::elements<1>. Работает с любым диапазоном, элементы которого моделируют std::pair или std::tuple-подобный тип.


🍍 views::elements<N> — N-й элемент tuple/pair

std::vector<std::tuple<int, std::string, double>> records = {
    {1, "Alice", 3.14},
    {2, "Bob",   2.71},
};

// Берём только строки (индекс 1)
for (const auto& s : records | views::elements<1>) {
    std::cout << s << "\n"; // Alice, Bob
}

Обобщённая версия keys/values — извлекает элемент с индексом N из каждого кортежа. Индекс задаётся на этапе компиляции, поэтому выход за границы — ошибка компиляции, а не UB.


🍕 views::counted — N элементов начиная с итератора

std::vector<int> v = {10, 20, 30, 40, 50};
auto it = v.begin() + 1; // указывает на 20

// 3 элемента начиная с позиции 1
auto three = views::counted(it, 3);
// 20, 30, 40

В отличие от views::take, который работает с диапазоном, counted принимает итератор + количество. Это незаменимо, когда у вас «голый» итератор без парного end — например, указатель указатель на элемент C-массива или результат std::find.

❗️ Ответственность за то, что it + n не выходит за пределы, лежит на вас — проверки в рантайме нет.


🍿 views::all — обернуть в view явно

std::vector<int> v = {1, 2, 3};

// views::all явно создаёт view из контейнера
auto all_view = views::all(v);

// Это полезно при передаче в функции, ожидающие view

Зачем нужен, если | и так оборачивает? Бывает полезно при передаче контейнера в функцию, которая принимает viewable_range, или для хранения view в переменной без auto&&. На практике views::all вызывается неявно почти в каждой цепочке — но иногда явный вызов делает код яснее.


🍋 views::common — сделать begin/end одного типа

Многие «классические» алгоритмы и конструкторы контейнеров ожидают, что begin() и end() возвращают один и тот же тип. У ленивых view это часто не так — end() может вернуть sentinel, а не итератор.

auto view = some_range | views::filter(...);

// Если нужно передать в старый алгоритм, требующий итераторов одного типа:
auto common_view = view | views::common;
std::copy(common_view.begin(), common_view.end(), output);

❗️ Если диапазон уже common_range, адаптер ничего не делает — просто пробрасывает как есть. Накладных расходов в этом случае ноль.


🩹 Комбинируем всё вместе

std::map<std::string, std::vector<int>> data = {
    {"alpha", {1, 2, 3}},
    {"beta",  {4, 5}},
    {"gamma", {6, 7, 8, 9}},
};

// Все значения → сплющить → обратный порядок → первые 4
auto result = data
    | views::values
    | views::join
    | views::reverse
    | views::take(4);

for (int x : result) {
    std::cout << x << " "; // 9 8 7 6
}

Ни одного промежуточного контейнера — каждый элемент протягивается через всю цепочку лениво, по требованию.


📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#константная_правильность