C++如何使用std::extent获取数组维度-C++-PHP中文网

std::extent仅获取c风格数组第一维长度，对指针、std::vector、std::array等返回0；多维数组需结合std::rank与c++14起的std::extent_v按索引提取各维，但不支持运行时大小。

c++如何使用std::extent获取数组维度

std::extent 用来获取数组类型的第一维长度

std::extent 是一个类型特征（type trait），它**只返回最外层维度的大小**，且仅对「编译期已知大小的数组类型」有效。它不支持指针、std::vector、动态数组或多维数组的嵌套维度提取——比如 int[3][4] 传给 std::extent，得到的是 3，不是 4，更不是总元素数。

常见误用是把它当成“求数组维度数”或“获取所有维度”，其实它连维度数都拿不到（那是 std::rank 的事）。

std::extent_v<int></int> → 5
std::extent_v<int></int> → 0（未指定第一维，视为 0）
std::extent_v<int></int> → 0（非数组类型，结果恒为 0）
std::extent_v<:array>></:array> → 0（std::array 是类模板，不是 C 风格数组）

想取第二维及以上？std::extent 不行，得靠模板偏特化

标准库没提供直接获取 int[3][4][5] 中第 2 维（4）或第 3 维（5）的工具。但你可以写一个递归偏特化模板来模拟：

template<typename t size_t n="0">
struct extent_at;

template<typename t size_t i>
struct extent_at<t> : std::integral_constant<size_t i> {};

template<typename t size_t i size_t... js>
struct extent_at<t> : extent_at<t> {};

// 使用：extent_at<int>::value → 2  
//       extent_at<int>::value → 3  
//       extent_at<int>::value → 4
</int></int></int></t></t></typename></size_t></t></typename></typename>

注意：这个技巧依赖数组维度在类型中显式存在，不能用于 int (*)[4] 这类指针类型，也不能处理运行时大小（如 VLAs，C++ 不支持）。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

std::extent 和 std::rank 要搭配着看才完整

单看 std::extent 容易误解数组结构。真正判断“是不是多维数组”以及“有几维”，得结合 std::rank：

std::rank_v<int></int> → 3
std::extent_v<int></int> → 3（仅首维）
std::extent_v<int></int> → 编译错误！std::extent 没有第二个模板参数；这是常见错觉，实际只有单参数版本（C++11 起）和带索引的 std::extent_v<t n></t>（C++14 起才支持）——但即使 C++14+，N 超出 std::rank_v<t></t> 也会返回 0。