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

constexpr /* see description */ size()
    requires /*cartesian-product-is-sized*/<First, Vs...>;

(1)

(с C++23)

constexpr /* see description */ size() const
    requires /*cartesian-product-is-sized*/<const First, const Vs...>;

(2)

(с 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/cpp/ranges/cartesian_product_view/size