std::ranges::views::join, std::ranges::join_view

Определено в заголовочном файле `<ranges>`
template< ranges::input_range V > requires ranges::view<V> and ranges::input_range<ranges::range_reference_t<V>> class join_view : public ranges::view_interface<join_view<V>>	(1)	(начиная с C++20)
namespace views { inline constexpr /* unspecified / join = / unspecified */; }	(2)	(начиная с C++20)
Сигнатура вызова
template< ranges::viewable_range R > requires /* see below */ constexpr ranges::view auto join( R&& r );		(начиная с C++20)

1) Адаптер диапазона, представляющий view, состоящий из последовательности, полученной путем объединения представления диапазонов.

2) Объект-адаптер диапазона (а также объект-замыкание адаптера диапазона). Выражение views::join(e) эквивалентно выражению join_view<views::all_t<decltype((e))>>{e} для любых подходящих подвыражений e.

join_view моделирует input_range.

join_view моделирует forward_range, если:

ranges::range_reference_t<V> является ссылочным типом, и
V и ranges::range_reference_t<V> каждый моделирует forward_range.

join_view моделирует bidirectional_range, если:

ranges::range_reference_t<V> является ссылочным типом,
V моделирует bidirectional_range, и
ranges::range_reference_t<V> моделирует и bidirectional_range, и common_range.

join_view моделирует common_range, если:

ranges::range_reference_t<V> является ссылочным типом, и
V и ranges::range_reference_t<V> каждый моделирует forward_range и common_range.

Функции-члены

(конструктор)	создает `join_view` (открытая функция-член)
base	возвращает копию базового (адаптированного) представления (открытая функция-член)
begin	возвращает итератор на начало (открытая функция-член)
end	возвращает итератор или sentinel для конца (открытая функция-член)
Наследуется от `std::ranges::view_interface`
empty	возвращает признак того, что производное представление пусто; предоставляется только в том случае, если оно удовлетворяет `sized_range` или `forward_range` (открытая функция-член `std::ranges::view_interface<D>`)
cbegin (C++23)	возвращает константный итератор на начало диапазона (открытая функция-член `std::ranges::view_interface<D>`)
cend (C++23)	возвращает sentinel для константного итератора диапазона (открытая функция-член `std::ranges::view_interface<D>`)
operator bool	возвращает признак того, что производное представление не пусто; предоставляется только в том случае, если к нему применим `ranges::empty` (открытая функция-член `std::ranges::view_interface<D>`)
front	возвращает первый элемент производного представления; предоставляется, если оно удовлетворяет `forward_range` (открытая функция-член `std::ranges::view_interface<D>`)
back	возвращает последний элемент производного представления; предоставляется только в том случае, если оно удовлетворяет `bidirectional_range` и `common_range` (открытая функция-член `std::ranges::view_interface<D>`)

Руководства по выводу типов

Вложенные классы

iterator	тип итератора (шаблон класса-члена, используемый только для пояснения*)
sentinel	тип sentinel (шаблон класса-члена, используемый только для пояснения*)

Примечания

До принятия P2328R1 тип внутреннего диапазона (ranges::range_reference_t<V>) не мог быть типом контейнера (но мог быть ссылкой на контейнер). Например, объединять transform_view из prvalue типа std::string было запрещено.

struct Person { int age; std::string name; };

auto f(std::vector<Person>& v) {
//  return v | std::views::transform([](auto& p){ return p.name; })
//           | std::views::join; // error before P2328R1
    return v | std::views::transform([](auto& p) -> std::string& { return p.name; })
             | std::views::join; // OK
}

Пример

#include <iostream>
#include <ranges>
#include <string_view>
#include <vector>

int main()
{
    using namespace std::literals;

    const auto bits = {"https:"sv, "//"sv, "cppreference"sv, "."sv, "com"sv};
    for (char const c : bits | std::views::join)
        std::cout << c;
    std::cout << '\n';
    
    const std::vector<std::vector<int>> v{{1, 2}, {3, 4, 5}, {6}, {7, 8, 9}};
    auto jv = std::ranges::join_view(v);
    for (int const e : jv)
        std::cout << e << ' ';
    std::cout << '\n';
}

Вывод:

https://cppreference.com
1 2 3 4 5 6 7 8 9

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

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

Отчет о дефекте	Применение к	Поведение согласно опубликованной версии	Исправленное поведение
LWG 3474	C++20	`views::join(e)` возвращал копию `e`, когда `e` является `join_view`	возвращает вложенный `join_view`
P2328R1	C++20	prvalue не являющихся представлениями `range` нельзя было объединять с помощью `join_view`	стало возможно объединять

См. также

ranges::join_with_viewviews::join_with (C++23)	`view`, состоящее из последовательности, полученной путем объединения представления диапазонов с разделителем между элементами (шаблон класса) (объект-адаптер диапазона)
ranges::concat_viewviews::concat (C++26)	`view`, состоящее из конкатенации адаптированных представлений (шаблон класса) (объект-точка настройки)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/ranges/join_view