std::extent和std::rank用于编译期获取固定大小原生数组的维度信息：std::rank_v返回总维数，std::extent_v返回第n维长度，仅对int3[5]等c风格数组有效，对指针、std::vector、std::array返回0。
编译期知道数组大小时，用 std::extent 和 std::rank
如果你写的是像 int arr[3][4][5] 这样尺寸固定的多维数组（不是指针或 std::vector），C++ 标准库提供了模板元编程工具来提取维度信息。核心是 std::extent（获取某维度长度）和 std::rank（获取总维数）。
注意：这些只对原生数组类型有效，对 int*、std::array 或 std::vector 无效 —— 它们在编译期不携带完整维度信息。
-
std::rank_v<int></int>返回3 -
std::extent_v<int></int>返回3（第 0 维） -
std::extent_v<int></int>返回4（第 1 维） -
std::extent_v<int></int>返回5（第 2 维） - 超出维度索引（如
std::extent_v<t></t>）返回0，不是编译错误
运行时需要维度？别用裸数组，改用 std::array 或封装类
裸数组名传参会退化成指针，丢失所有维度信息。比如函数参数写 void f(int a[][4])，其实只是 int (*)[4]，第一维完全不可知。
真正可取的方案是把维度“固化”进类型里：
-
std::array<:array>, 3></:array>可以用.size()和嵌套调用获取各维长度 - 自定义类（如
Matrix<int></int>）在构造时存维度，提供dim(0)、dims()等接口 - 如果必须用裸数组且需运行时访问（比如从文件读入），就**必须额外传入维度参数**，C++ 不可能从指针反推原始声明
误用 sizeof 计算维度的常见错误
有人试过 sizeof(arr) / sizeof(arr[0])，这只能算出**最外层元素个数**，对多维数组极易误导：
-
int arr[2][3]; sizeof(arr)/sizeof(arr[0])→ 得到2（正确，但仅最外层） -
sizeof(arr[0])/sizeof(arr[0][0])→ 才能得到3 - 但如果
arr是函数参数，sizeof(arr)就变成指针大小（通常是 8），结果彻底错乱 - 这种写法无法泛化到任意维度，每加一维就得手动多写一层
sizeof表达式
为什么 std::vector<:vector>></:vector> 不算“多维数组”
它只是 vector 套 vector，每个内层 vector 长度可以不同，内存不连续，也没有统一维度概念。调用 v.size() 只得行数；要列数得看 v.empty() ? 0 : v[0].size()，且不能保证所有行等长。
若业务逻辑依赖规则矩形结构，应优先考虑：
-
std::vector<t></t>+ 手动行列计算（data[row * cols + col]） - 第三方库如
xtensor或blaze提供真正的多维容器 - 自己封装带
rows()、cols()、ndim()的类
裸数组的维度信息只活在编译期声明里，一旦离开声明作用域或发生退化，就再也拿不回来了。想在运行时“查询”维度，本质上是在要求语言违背其设计前提 —— 要么换数据结构，要么显式存维度。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
