std::extent仅对编译期维度确定的原生数组类型有效，如int5；对指针、vector、动态数组等返回0，因其类型不含维度信息，须用decltype或显式数组类型配合使用。

std::extent 用在哪儿才有效？

它只对编译期已知维度的数组类型起作用，比如 int[5][3] 或 double[10]；对指针、std::vector、动态分配数组（new int[n]）完全无效——此时 std::extent_v<T, N> 恒为 0。

常见错误现象：std::extent_v<int*, 0> 返回 0，有人误以为是“获取失败”，其实是类型不匹配，根本没进入“数组维度”语义。

• 只能用于类型模板参数，不能用于变量
• 必须配合 decltype 或显式写出数组类型，不能靠运行时值推导
• 多维数组中，N 从 0 开始计数：0 是第一维，1 是第二维……超出维度数则结果为 0

怎么写才能正确提取第一维长度？

核心是让类型信息完整保留——别丢掉方括号。比如函数参数若写成 void f(int arr[5])，实际退化为 int*，std::extent 就失效了；得用引用或模板推导保类型。

实操建议：

立即学习“C++免费学习笔记（深入）”；

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

• 用模板 + decltype 最稳妥：std::extent_v<decltype(arr), 0>
• 显式写类型也行：std::extent_v<int[5][3], 0> → 5，std::extent_v<int[5][3], 1> → 3
• 避免在函数形参里直接用数组名（会退化），改用 const T (&arr)[N] 引用形式

示例：

int data[7][4];
static_assert(std::extent_v<decltype(data), 0> == 7); // ✅
static_assert(std::extent_v<decltype(data), 1> == 4); // ✅
static_assert(std::extent_v<int[][4], 0> == 0); // ❌ 不完整类型，结果为 0

为什么 std::extent_v<T, 0> 有时返回 0？

不是 bug，是类型本身不含该维信息。典型场景有三类：

• 类型是 T* 或 T[]（未指定大小的声明），如 extern int arr[];
• 模板参数 T 被推导为指针而非数组引用
• 对 std::array 使用 —— 它是类模板，不是原生数组，std::extent 对它无效

性能/兼容性影响：零开销，纯编译期计算，无运行时成本；C++11 起可用，所有标准库实现都支持。

替代方案：什么时候该换别的方法？

当你发现 std::extent 返回 0，往往说明你面对的不是原生数组——这时硬套没意义。

• 对 std::array：直接用 T::size() 或 std::tuple_size_v<T>
• 对 C 风格字符串字面量（如 "hello"）：类型是 const char[6]，std::extent 有效，但注意末尾 \0
• 需要运行时长度？别用 std::extent，改用容器的 .size() 或传入长度参数

最容易被忽略的一点：数组维度信息只存在于类型系统里，一旦发生隐式转换（比如传给接受 int* 的函数），就永久丢失了——不是 std::extent 不够强，是它根本没机会工作。