Spec-Zone.ru › C++

std::ranges::views::cartesian_product, std::ranges::cartesian_product_view

Определён в заголовочном файле <ranges> 
template< ranges::input_range First, ranges::forward_range... Vs >
    requires (ranges::view<First> && ... && ranges::view<Vs>)
class cartesian_product_view
    : public ranges::view_interface<cartesian_product_view<First, Vs...>>
(1) (с C++23) 
namespace views {
    inline constexpr /*unspecified*/ cartesian_product = /*unspecified*/;
}
(2) (с C++23)
Сигнатура вызова 
template< ranges::viewable_range... Rs >
    requires /* see below */
constexpr ranges::view auto cartesian_product( Rs&&... rs );
(с C++23)
Вспомогательные концепты 
template< bool Const, class First, class... Vs >
concept /*cartesian-product-is-random-access*/ =
    (ranges::random_access_range</*maybe-const*/<Const, First>> && ... &&
        (ranges::random_access_range</*maybe-const*/<Const, Vs>> &&
            ranges::sized_range</*maybe-const*/<Const, Vs>>));
(3) (только для экспозиции*) 
template< class R >
concept /*cartesian-product-common-arg*/ =
    ranges::common_range<R> ||
        (ranges::sized_range<R> && ranges::random_access_range<R>);
(4) (только для экспозиции*) 
template< bool Const, class First, class... Vs >
concept /*cartesian-product-is-bidirectional*/ =
    (ranges::bidirectional_range</*maybe-const*/<Const, First>> && ... &&
        (ranges::bidirectional_range</*maybe-const*/<Const, Vs>> &&
            /*cartesian-product-common-arg*/</*maybe-const*/<Const, Vs>>));
(5) (только для экспозиции*) 
template< class First, class... Vs >
concept /*cartesian-product-is-common*/ =
    /*cartesian-product-common-arg*/<First>;
(6) (только для экспозиции*) 
template< class... Vs >
concept /*cartesian-product-is-sized*/ =
    (ranges::sized_range<Vs> && ...);
(7) (только для экспозиции*) 
template< bool Const, template<class> class FirstSent, class First, class... Vs >
concept /*cartesian-is-sized-sentinel*/ =
    (std::sized_sentinel_for<FirstSent</*maybe-const*/<Const, First>>,
        ranges::iterator_t</*maybe-const*/<Const, First>>> && ... &&
            (ranges::sized_range</*maybe-const*/<Const, Vs>> &&
                std::sized_sentinel_for<ranges::iterator_t<
                    /*maybe-const*/<Const, Vs>>,
                        ranges::iterator_t</*maybe-const*/<Const, Vs>>>));
(8) (только для экспозиции*)
Вспомогательные шаблоны функций 
template< /*cartesian-product-common-arg*/ R >
constexpr auto /*cartesian-common-arg-end*/( R& r )
{
    if constexpr (ranges::common_range<R>)
        return ranges::end(r);
    else
        return ranges::begin(r) + ranges::distance(r);
}
(9) (только для экспозиции*)
1) cartesian_product_view — адаптер диапазона, который принимает n views, где n > 0, и создаёт view кортежей, вычисляемых как n-арное декартово произведение переданных диапазонов. Размер созданного представления равен произведению размеров переданных диапазонов, а каждый его элемент представляет собой кортеж (ссылок) размера n.
2) views::cartesian_product — объект точки настройки.
  • При вызове без аргументов views::cartesian_product() эквивалентно выражению views::single(std::tuple()).
  • В противном случае views::cartesian_product(rs...) эквивалентно выражению ranges::cartesian_product_view<views::all_t<decltype((rs))>...>(rs...).
3) Определяет, является ли cartesian_product диапазоном с произвольным доступом (см. также random_access_range).
4) Определяет, является ли cartesian_product общим диапазоном (см. также common_range).
5) Определяет, является ли cartesian_product двунаправленным диапазоном (см. также bidirectional_range).
6) Определяет, удовлетворяет ли cartesian_product вспомогательному концепту /*cartesian-product-is-common*/ (см. также common_range).
7) Определяет, является ли cartesian_product диапазоном известного размера (см. также sized_range).
8) Определяет, использует ли cartesian_product ограничитель известного размера.
9) Возвращает конец созданного view. Участвует в разрешении перегрузки, только если cartesian_product удовлетворяет вспомогательному концепту /*cartesian-product-common-arg*/.

Диапазон First range, переданный в cartesian_product_view, обрабатывается особым образом, поскольку он передаётся только один раз. В результате для него ослаблены некоторые ограничения:

  • First является input_range, а не forward_range;
  • First не обязан быть sized_range, чтобы cartesian_product_view был random_access_range или common_range;
  • First не обязан быть common_range, чтобы cartesian_product_view был bidirectional_range.

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

Имя views::cartesian_product обозначает объект точки настройки — константный функциональный объект типа класса литерального semiregular. Подробнее см. Объект точки настройки.

Члены-данные

Член Описание
std::tuple<First,Vs...> base_ (закрытый) объект, хранящий все адаптированные объекты view
(объект-член, доступный только для экспозиции*)

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

(конструктор)
 создаёт cartesian_product_view
(открытая функция-член)
begin
 возвращает итератор на начало
(открытая функция-член)
end
 возвращает итератор или ограничитель конца
(открытая функция-член)
size
 возвращает количество элементов; доступно только в том случае, если базовый (адаптированный) диапазон удовлетворяет sized_range
(открытая функция-член)
Унаследовано от 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)
 возвращает ограничитель для константного итератора диапазона
(открытая функция-член 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>)
operator[]
 возвращает элемент производного представления с индексом nth; доступно, только если оно удовлетворяет random_access_range
(открытая функция-член std::ranges::view_interface<D>)

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

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

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

Примечания

Макрос проверки поддержки возможностей Значение Стандарт Возможность
__cpp_lib_ranges_cartesian_product 202207L (C++23) std::ranges::cartesian_product_view

Пример

#include <array>
#include <iostream>
#include <list>
#include <ranges>
#include <string>
#include <vector>

void print(std::tuple<char const&, int const&, std::string const&> t, int pos)
{
    const auto& [a, b, c] = t;
    std::cout << '(' << a << ' ' << b << ' ' << c << ')' << (pos % 4 ? " " : "\n");
}

int main()
{
    const auto x = std::array{'A', 'B'};
    const auto y = std::vector{1, 2, 3};
    const auto z = std::list<std::string>{"α", "β", "γ", "δ"};

    for (int i{1}; auto const& tuple : std::views::cartesian_product(x, y, z))
        print(tuple, i++);
}

Вывод:

(A 1 α) (A 1 β) (A 1 γ) (A 1 δ)
(A 2 α) (A 2 β) (A 2 γ) (A 2 δ)
(A 3 α) (A 3 β) (A 3 γ) (A 3 δ)
(B 1 α) (B 1 β) (B 1 γ) (B 1 δ)
(B 2 α) (B 2 β) (B 2 γ) (B 2 δ)
(B 3 α) (B 3 β) (B 3 γ) (B 3 δ)

Ссылки

  • Стандарт C++23 (ISO/IEC 14882:2024):
    • 26.7.31 Представление декартова произведения [range.stride]

См. также

ranges::zip_viewviews::zip
(C++23)
 view, состоящее из кортежей ссылок на соответствующие элементы адаптированных представлений
(шаблон класса) (объект точки настройки)

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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API