std::extent

出自cppreference.com
 
C++
 
元編程庫
類型特徵
類型類別
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
類型屬性
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11)(C++26 棄用)
(C++11)
(C++11)
(C++11)(C++20 前*)
(C++11)(C++20 棄用)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
類型特徵常量
(C++11)(C++17)(C++11)(C++11)
元函數
(C++17)
(C++17)
(C++17)
受支持操作
關係與屬性查詢
類型修改
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
類型變換
(C++11)(C++23 棄用)
(C++11)(C++23 棄用)
(C++11)
(C++20)
(C++11)(C++20 前*)(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++20)
(C++11)
(C++17)
編譯時有理數算術
編譯時整數序列
(C++14)
 
在標頭 <type_traits> 定義 
template< class T, unsigned N = 0 >
struct extent;
(C++11 起)

若 T 是數組類型，則提供等於數組第 N 維元素數量的成��常量 value，若 N 在 [0, std::rank<T>::value) 中。對於任何其他類型，或若 T 是在其首維度未知邊界數組且 N 為 0，則 value 為 0。

如果程序添加了 std::extent 或 std::extent_v(C++17 起) 的特化，那麼行為未定義。

輔助變量模板

template< class T, unsigned N = 0 >
constexpr std::size_t extent_v = extent<T, N>::value;
(C++17 起)

繼承自 std::integral_constant

成員常量

value
[靜態]
 T 的第 N 維的元素數
(公開靜態成員常量)

成員函數

operator std::size_t
 將對象轉換到 std::size_t，返回 value
(公開成員函數)
operator()
(C++14)
 返回 value
(公開成員函數)

成員類型

類型 定義
value_type std::size_t
type std::integral_constant<std::size_t, value>

可能的實現

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]' 的引用，因此无法正确计算尺度值并返回 0
    static_assert(std::is_same_v<decltype(ary[0]), int(&)[3]>);
    static_assert(std::extent_v<decltype(ary[0])> == 0);

    // 移除引用可给出正确尺度值 3
    static_assert(std::extent_v<std::remove_cvref_t<decltype(ary[0])>> == 3);
}

參閱

(C++11)
 檢查類型是否為數組類型
(類模板) [編輯]
(C++11)
 獲取數組類型的維數
(類模板) [編輯]
(C++11)
 從給定數組類型移除一個維度
(類模板) [編輯]
(C++11)
 從給定數組類型移除所有維度
(類模板) [編輯]
(C++23)
 某秩多維索引空間的一個描述符
(類模板) [編輯]