Библиотека C/C++ разработчика | cpp, boost, qt: “🥨 Вложенные диапазоны: views::join и views::join_with Сегодня научимс…”

🥨 Вложенные диапазоны: views::join и views::join_with

Сегодня научимся работать с вложенными — «сплющивать» диапазон диапазонов в один поток и вставлять разделители между ними.

☂️ views::join — «сплющить» диапазон диапазонов

std::vector<std::vector<int>> matrix = {{1, 2, 3}, {4, 5}, {6, 7, 8, 9}};

// Объединяем все подвекторы в один поток
for (int x : matrix | views::join) {
    std::cout << x << " "; // 1 2 3 4 5 6 7 8 9
}

Классический кейс — обход всех элементов матрицы без вложенных циклов. join работает с любым диапазоном, элементы которого сами являются диапазонами: vector<vector<T>>, vector<string>, результат views::split и т.д.

std::string csv = "10,20,30";

// split разбивает → join склеивает обратно (без разделителя)
for (char c : csv | views::split(',') | views::join) {
    std::cout << c; // 102030
}

❗️ Важный нюанс: в C++20 views::split возвращает подиапазоны, тип которых отличается от string_view. В C++23 поведение split было пересмотрено, а прежняя версия переименована в views::lazy_split. Если работаете со строками в C++20, имейте это в виду.

🍴 Какую категорию итераторов даёт join?

Это зависит от исходного диапазона:
• если внешний и внутренний диапазоны моделируют forward_range (как vector<vector<int>>), результат join тоже будет forward_range
• итераторы валидны, многопроходность гарантирована
• если оба моделируют bidirectional_range и внутренний при этом common_range, результат может быть bidirectional_range
• если внешний диапазон — всего лишь input_range (например, поток), результат join — тоже input_range, и тогда проходить его можно только линейно, в один проход

❗️ Категория результата определяется самым «слабым» из участников.

🧋 views::join_with — объединить с разделителем (C++23)

std::vector<std::string> words = {"один", "два", "три"};

// Вставляем пробел между словами
for (char c : words | views::join_with(' ')) {
    std::cout << c;
}
// один два три

Разделителем может быть не только один элемент, но и целый диапазон:

std::vector<std::string> parts = {"SELECT *", "FROM users", "WHERE id = 1"};

for (char c : parts | views::join_with(std::string_view{"\n  "})) {
    std::cout << c;
}
// SELECT *
//   FROM users
//   WHERE id = 1

❗️ join_with требует, чтобы тип разделителя был совместим с внутренним типом элементов. Если у вас vector<vector<int>>, разделитель — int или диапазон int, а не string. Компилятор скажет об этом длинной шаблонной ошибкой — ищите в ней range_value_t.

🩹 Комбинация с другими views

Настоящая сила раскрывается в цепочках:

std::vector<std::vector<int>> grid = {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}};

// Сплющить → оставить чётные → взять первые 3
auto result = grid
    | views::join
    | views::filter([](int x) { return x % 2 == 0; })
    | views::take(3);

for (int x : result) {
    std::cout << x << " "; // 2 4 6
}

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

🍋 Главное свойство

Как и все views, join и join_with ленивые — они не копируют внутренние диапазоны и не выделяют память. Элементы «вытягиваются» по одному при итерации. Но у этой лени есть цена: join над input_range даёт только input_range, поэтому отсортировать результат напрямую не получится — сначала материализуйте через ranges::to<vector>() (C++23).

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

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

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