Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
std::ranges::cartesian_product_view
Member functions
cartesian_product_view::size
Deduction guides
Iterator
Member functions
Non-member functions
constexpr /* 설명 참조 */ size ( )
requires /*cartesian-product-is-sized*/ < First, Vs... > ;
(1) (C++23 이후)
constexpr /* 설명 참조 */ 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);
}

참고 항목

(C++20)
범위의 크기와 같은 정수를 반환합니다
(customization point object)
(C++20)
범위의 크기와 같은 부호 있는 정수를 반환합니다
(customization point object)