C++如何获取数组的维度数量（Rank）-C++-PHP中文网

std::rank是编译期获取c风格数组维度数量的最轻量准确方式，对int arr3[5]返回3，对指针/vector/array返回0；需配合引用或模板推导避免退化失效。

c++如何获取数组的维度数量（rank）

std::rank 能直接获取数组维度数量

对于编译期已知的 C 风格数组（如 int arr[3][4][5]），std::rank 是最轻量、最准确的方式。它是一个类型特征（type trait），在编译期计算并返回整型常量表达式，不产生运行时开销。

std::rank_v<int></int> 返回 3
std::rank_v<double></double> 返回 1
std::rank_v<int></int> 返回 0（非数组类型）

注意：它只对原生数组有效，对指针（如 int*）、std::vector 或 std::array 一律返回 0 —— 因为这些不是“C++ 数组类型”，而是类或指针类型。

std::extent 获取某维度长度，配合 rank 判断是否多维

std::extent 和 std::rank 常搭配使用。比如你想确认一个数组是否至少是二维的，并拿到第一维大小：

template<typename t>
constexpr bool is_2d_array = (std::rank_v<t> == 2) && (std::extent_v<t> > 0);</t></t></typename>

常见误用点：

std::extent_v<t></t> 对一维数组会返回 0（不是编译错误），所以不能单靠 extent 判断维度数
索引越界（如 std::extent_v<t></t> 用于二维数组）仍返回 0，不会报错，容易掩盖逻辑错误
std::extent 对动态数组（如 new int[n]）完全无效，因为它依赖编译期类型信息

std::array 和 std::vector 没有内置 rank，需手动建模

std::array 是模板类，其维度信息被封装在类型参数中（如 std::array<:array>, 3></:array> 是二维），但 std::rank 对它返回 0。此时必须靠模板递归推导：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

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

template<typename t size_t n>
struct array_rank<:array n>> 
    : std::integral_constant<size_t array_rank>::value> {};</size_t></:array></typename></size_t></typename>

用法：array_rank<:array>, 3>>::value</:array> 得 2。

而 std::vector 运行时可变，根本无法在编译期确定“维度”——所谓“二维 vector”只是 vector of vector 的惯用写法，std::vector<:vector>></:vector> 的类型仍是 std::vector<...></...>，std::rank 和自定义 trait 都无法处理，只能靠运行时约定或额外元数据。

函数参数退化后 rank 失效，必须传引用或模板推导

这是最容易踩的坑：当你把数组传给函数时，若形参写成 void f(int arr[3][4])，实际等价于 void f(int (*arr)[4])，类型退化为指针，std::rank_v<decltype></decltype> 就变成 0。

正确做法是用引用： template<size_t m size_t n> void f(int (&arr)[M][N])</size_t>
或让编译器自动推导： template<typename t> void f(T&& arr)</typename>，再对 T 查 std::rank_v<t></t>
切记：auto 推导数组变量时保留维度，但作为函数参数时几乎总会退化

一旦忘了加引用或模板，std::rank 就失效，且编译器通常不会警告——你拿到的 0 看似合理，实则彻底丢失了维度信息。