std:: extent

만약 T 가 배열 타입인 경우, N 이 [ ​ 0 ​ , std:: rank < T > :: value ) 범위 내에 있을 때 멤버 상수 value 를 배열의 N ^번째 차원을 따른 원소 개수로 제공합니다. 다른 모든 타입의 경우, 또는 T 가 첫 번째 차원에서 크기를 알 수 없는 배열이고 N 이 ​ 0 ​ 인 경우, value 는 ​ 0 ​ 입니다.

프로그램이 std::extent 또는 std::extent_v (C++17부터) 에 대한 특수화를 추가하는 경우, 그 동작은 정의되지 않습니다.

헬퍼 변수 템플릿

가능한 구현

template<class T, unsigned N = 0>
struct extent : std::integral_constant<std::size_t, 0> {};
template<class T>
struct extent<T[], 0> : std::integral_constant<std::size_t, 0> {};
template<class T, unsigned N>
struct extent<T[], N> : std::extent<T, N - 1> {};
template<class T, std::size_t I>
struct extent<T[I], 0> : std::integral_constant<std::size_t, I> {};
template<class T, std::size_t I, unsigned N>
struct extent<T[I], N> : std::extent<T, N - 1> {};

예제

#include <type_traits>
static_assert(
    std::extent_v<int[3]> == 3 && // 기본 차원은 0
    std::extent_v<int[3], 0> == 3 && // 위와 동일
    std::extent_v<int[3][4], 0> == 3 &&
    std::extent_v<int[3][4], 1> == 4 &&
    std::extent_v<int[3][4], 2> == 0 &&
    std::extent_v<int[]> == 0
);
int main()
{
    const auto ext = std::extent<int['*']>{};
    static_assert(ext == 42); // std::size_t로의 암시적 변환과 함께
    const int ints[]{1, 2, 3, 4};
    static_assert(std::extent_v<decltype(ints)> == 4); // 배열 크기
    [[maybe_unused]] int ary[][3] = {{1, 2, 3}};
    // ary[0]은 'int[3]'에 대한 참조 타입이므로, extent를
    // 올바르게 계산할 수 없으며 0을 반환함
    static_assert(std::is_same_v<decltype(ary[0]), int(&)[3]>);
    static_assert(std::extent_v<decltype(ary[0])> == 0);
    // 참조를 제거하면 올바른 extent 값 3을 얻음
    static_assert(std::extent_v<std::remove_cvref_t<decltype(ary[0])>> == 3);
}

참고 항목