std::rank是编译期获取C风格数组维度数量的最轻量准确方式，对int arr3[5]返回3，对指针/vector/array返回0；需配合引用或模板推导避免退化失效。
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> > 0);
常见误用点：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::extent_v<T, 1>对一维数组会返回0（不是编译错误），所以不能单靠 extent 判断维度数 - 索引越界（如
std::extent_v<T, 5>用于二维数组）仍返回0，不会报错，容易掩盖逻辑错误 -
std::extent对动态数组（如new int[n]）完全无效，因为它依赖编译期类型信息
std::array 和 std::vector 没有内置 rank，需手动建模
std::array 是模板类，其维度信息被封装在类型参数中（如 std::array<std::array<int, 4>, 3> 是二维），但 std::rank 对它返回 0。此时必须靠模板递归推导：
template<typename T>
struct array_rank : std::integral_constant<size_t, 0> {};
template<typename T, size_t N>
struct array_rank<std::array<T, N>>
: std::integral_constant<size_t, 1 + array_rank<T>::value> {};
用法：array_rank<std::array<std::array<int, 5>, 3>>::value 得 2。
而 std::vector 运行时可变，根本无法在编译期确定“维度”——所谓“二维 vector”只是 vector of vector 的惯用写法，std::vector<std::vector<int>> 的类型仍是 std::vector<...>，std::rank 和自定义 trait 都无法处理，只能靠运行时约定或额外元数据。
函数参数退化后 rank 失效，必须传引用或模板推导
这是最容易踩的坑：当你把数组传给函数时，若形参写成 void f(int arr[3][4])，实际等价于 void f(int (*arr)[4])，类型退化为指针，std::rank_v<decltype(arr)> 就变成 0。
- 正确做法是用引用：
template<size_t M, size_t N> void f(int (&arr)[M][N]) - 或让编译器自动推导：
template<typename T> void f(T&& arr)，再对T查std::rank_v<T> - 切记：
auto推导数组变量时保留维度，但作为函数参数时几乎总会退化
一旦忘了加引用或模板，std::rank 就失效，且编译器通常不会警告——你拿到的 0 看似合理，实则彻底丢失了维度信息。
