std::extent_v<T, N>是获取编译期已知C风格数组第N维长度的最直接零开销方式，要求T为完整数组类型且N从0开始，越界返回0；不适用于std::array、std::vector及退化指针。
用 std::extent 获取编译期已知维度长度
当数组类型在编译期完全确定（比如 int arr[3][4][5]），std::extent 是最直接、零开销的方式。它本质是类型萃取，不依赖运行时数据。
例如想获取三维数组 arr 的第二维长度（即中间维度）：
int arr[3][4][5]; constexpr size_t dim1 = std::extent_v<decltype(arr), 1>; // 得到 4
-
std::extent_v<t n></t>中T必须是完整数组类型（不能是退化为指针的类型） - 维度索引
N从 0 开始；越界（如N >= 维度数）会导致值为 0，但不会编译错误 - 对
std::array不适用——它不是 C 风格数组，需用.size()
用 sizeof 手动计算（仅限一维或已知布局）
对一维数组，sizeof(arr) / sizeof(arr[0]) 仍可靠，但必须确保 arr 是数组名本身，而非函数参数中退化的指针。
对多维数组，可借助嵌套 sizeof 推导某维长度，例如：
立即学习“C++免费学习笔记（深入）”；
int arr[3][4][5]; constexpr size_t dim0 = sizeof(arr) / sizeof(arr[0]); // 3 constexpr size_t dim1 = sizeof(arr[0]) / sizeof(arr[0][0]); // 4 constexpr size_t dim2 = sizeof(arr[0][0]) / sizeof(arr[0][0][0]); // 5
- 每层
arr[i]类型必须是已知大小的子数组（如int[4][5]），否则sizeof会失败 - 一旦数组作为参数传入函数，
arr就变成指针，sizeof(arr)返回指针大小（通常是 8），结果彻底失效 - 不能用于动态分配数组（
new int[10]）或std::vector
函数参数里怎么安全拿到维度？根本做不到，得改接口
这是最容易踩坑的地方：C++ 函数参数无法保留多维数组的尺寸信息。写成 void f(int arr[][4][5]) 看似保留了后两维，但调用时仍只传指针，第一维丢失，且 arr 在函数内退化为 int(*)[4][5]，std::extent 和 sizeof 全部失效。
- 正确做法是显式传入维度值：
void f(int arr[][4][5], size_t dim0) - 更现代的选择是用
std::span（C++20）包装并携带尺寸：void f(std::span<int std::dynamic_extent> s)</int>，但注意std::span只能表达一维视图，多维需自行管理步长或改用mdspan（C++23） - 若坚持用原始数组，只能靠约定（如以特殊值结尾）或额外元数据结构，不推荐
std::vector 和 std::array 怎么办？别混用语法
它们不是原生数组，std::extent 对它们返回 0，sizeof 计算的是容器对象本身大小，和元素数量无关。
-
std::array<int></int>：直接用.size()成员函数，编译期常量 -
std::vector<int></int>：用.size()，运行时值；二维用vector<vector>></vector>时，v[0].size()是“第二维”长度，但每行可不等长 - 想模拟固定多维容器，可用
std::array<:array>, 3></:array>，此时outer.size()和outer[0].size()分别对应第一、二维
std::vector 或 std::array 替代裸数组，要么维度信息本该作为契约明确定义，而不是试图从类型里反推。 
