std::ranges::cartesian_product_view<First, Vs...>::size

constexpr /* see description */ size() requires __cartesian_product_is_sized<First, Vs...>;	(1)	(since C++23)
constexpr /* see description */ size() const requires __cartesian_product_is_sized<const First, const Vs...>;	(2)	(since C++23)

Возвращает количество элементов. Тип возвращаемого значения — определённый реализацией тип unsigned-integer-like U.

Пусть bases_ — базовое кортеж представлений, а prod — произведение размеров всех диапазонов в bases_.

1,2) Возвращает prod. Поведение не определено, если prod не может быть представлено типом возвращаемого значения U.

Эквивалентно:

return [&]<std::size_t... Is>(std::index_sequence<Is...>)
{
    auto prod = static_cast<U>(1);
    prod = (static_cast<U>(ranges::size(std::get<Is>(bases_))) * ...);
    return prod;
}
(std::make_index_sequence<1U + sizeof...(Vs)>{});

Параметры

(нет)

Значение возврата

Количество элементов, то есть произведение размеров всех базовых диапазонов.

Примечания

Тип возвращаемого значения — наименьший тип unsigned-integer-like достаточной ширины для хранения произведения максимальных размеров всех базовых диапазонов, если такой тип существует.

Пример

#include <ranges>
 
int main()
{
    constexpr static auto w = {1};
    constexpr static auto x = {2, 3};
    constexpr static auto y = {4, 5, 6};
    constexpr static auto z = {7, 8, 9, 10, 11, 12, 13};
    constexpr auto v = std::ranges::cartesian_product_view(w, x, y, z);
    static_assert(v.size() == w.size() * x.size() * y.size() * z.size() and v.size() == 42);
}

См. также

ranges::size (C++20)	возвращает целое число, равное размеру диапазона (объект точек кастомизации)
ranges::ssize (C++20)	возвращает целое число со знаком, равное размеру диапазона (объект точек кастомизации)

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