std::extent仅获取C风格数组第一维长度，对指针、std::vector、std::array等返回0；多维数组需结合std::rank与C++14起的std::extent_v<T, N>按索引提取各维，但不支持运行时大小。
std::extent 用来获取数组类型的第一维长度
std::extent 是一个类型特征（type trait），它**只返回最外层维度的大小**，且仅对「编译期已知大小的数组类型」有效。它不支持指针、std::vector、动态数组或多维数组的嵌套维度提取——比如 int[3][4] 传给 std::extent，得到的是 3，不是 4，更不是总元素数。
常见误用是把它当成“求数组维度数”或“获取所有维度”，其实它连维度数都拿不到（那是 std::rank 的事）。
-
std::extent_v<int></int>→5 -
std::extent_v<int></int>→0（未指定第一维，视为 0） -
std::extent_v<int></int>→0（非数组类型，结果恒为 0） -
std::extent_v<:array>></:array>→0（std::array是类模板，不是 C 风格数组）
想取第二维及以上？std::extent 不行，得靠模板偏特化
标准库没提供直接获取 int[3][4][5] 中第 2 维（4）或第 3 维（5）的工具。但你可以写一个递归偏特化模板来模拟：
template<typename T, size_t N = 0>
struct extent_at;
template<typename T, size_t I>
struct extent_at<T[I]> : std::integral_constant<size_t, I> {};
template<typename T, size_t I, size_t... Js>
struct extent_at<T[I][Js...]> : extent_at<T[Js...]> {};
// 使用：extent_at<int[2][3][4], 0>::value → 2
// extent_at<int[2][3][4], 1>::value → 3
// extent_at<int[2][3][4], 2>::value → 4
注意：这个技巧依赖数组维度在类型中显式存在，不能用于 int (*)[4] 这类指针类型，也不能处理运行时大小（如 VLAs，C++ 不支持）。
立即学习“C++免费学习笔记（深入）”；
std::extent 和 std::rank 要搭配着看才完整
单看 std::extent 容易误解数组结构。真正判断“是不是多维数组”以及“有几维”，得结合 std::rank：
-
std::rank_v<int></int>→3 -
std::extent_v<int></int>→3（仅首维） -
std::extent_v<int></int>→ 编译错误！std::extent没有第二个模板参数；这是常见错觉，实际只有单参数版本（C++11 起）和带索引的std::extent_v<T, N>（C++14 起才支持）——但即使 C++14+，N超出std::rank_v<T>也会返回 0。
所以安全用法是：先查 std::rank_v<T>，再对每个合法 N < rank 查 std::extent_v<T, N>。
实际项目里几乎用不到 std::extent
现代 C++ 中，手动推导数组维度的需求极少。绝大多数场景下：
- 用
std::array或std::vector替代裸数组，尺寸走成员函数（.size()） - 模板元编程中若真需维度信息，往往直接匹配
T[N]形参，比调std::extent更直接 - 反射或序列化库（如 Boost.PFR）会封装更健壮的类型分析，不依赖手搓
std::extent
它主要价值在教学和极少数泛型约束场景（比如 SFINAE 判断参数是否为定长一维数组），但一旦涉及多维、指针退化或运行时数组，立刻失效。
