std::rank不能获取数组维度数量，它只返回指针/引用嵌套深度；对int3[5]和int*均返回1，对int返回0；真正获取维度数需结合std::extent与递归模板并加std::is_array约束。
std::rank 是什么，它真能拿到数组维度数量吗？
不能。这是最常被误解的一点：std::rank 只返回类型的「指针/引用嵌套深度」，不是数组维度数。它对 int[3][4][5] 返回 1，因为整个三维数组是个单一类型；对 int* 也返回 1；对 int 才返回 0。它本质上只区分「是不是某种指针或数组类型」，不展开分析嵌套结构。
想真正获取多维数组的维度数量，得用 std::extent 和递归模板
std::extent 能取某一层的大小，但只支持指定维度索引（从 0 开始）；要数清总共有几维，必须靠元编程递归探测。常见错误是直接套用 std::rank，结果所有多维数组都报 1，完全没用。
- 对
int[2][3][4]，std::extent_v<t></t>是2，std::extent_v<t></t>是3，std::extent_v<t></t>是4，而std::extent_v<t></t>是0（越界） - 所以维度数 = 最大有效索引 + 1，即找到第一个
std::extent_v<t n> == 0</t>的N - 标准做法是写一个可变参数偏特化模板，逐层检查
std::extent_v<t i></t>是否非零
template<typename T, size_t I = 0>
struct array_rank : std::integral_constant<size_t,
(std::extent_v<T, I> != 0) ? array_rank<T, I+1>::value + 1 : 0
> {};std::rank 和 std::extent 在 decay 场景下行为完全不同
数组传参时会退化成指针，这时 std::rank 和 std::extent 都失效。比如函数参数写 void f(int a[3][4])，实际类型是 int(*)[4]（指向一维数组的指针），std::rank_v<decltype(a)> 是 1，std::extent_v<decltype(a), 0> 是 0（因为不是数组类型）。必须用引用形参才能保留下标信息：
- 正确：
template<size_t N, size_t M> void f(const int (&a)[N][M]) - 错误：
void f(int a[3][4])或void f(int* a) - 编译期推导维度的前提是类型完整，引用或模板参数推导是唯一可靠路径
用 std::is_array 判断是否为数组类型，避免误判指针
光看 std::rank 返回 1，无法区分 int[5] 和 int*。这时候必须配合 std::is_array_v 做前置判断。否则在泛型代码里，把指针当多维数组处理会导致静默错误——比如递归调用时陷入无限模板实例化。
立即学习“C++免费学习笔记（深入）”；
-
std::is_array_v<int[3][4]>是true，std::is_array_v<int*>是false - 安全的维度提取模板，开头应加
static_assert(std::is_array_v<T>, "T must be an array type"); - 没有这个检查，
array_rank<int*>会一直递归到模板深度超限，报错信息极难定位
C++ 没有内置的“数组维度计数器”，std::rank 名字极具误导性；真正可靠的方案依赖 std::extent + 递归模板 + 类型约束，而且每一步都卡在类型是否退化、是否为真实数组这些细节上。漏掉任何一个，编译就可能失败，或者给出完全错误的结果。
