C++如何在编译时确定数组大小-C++-PHP中文网

编译时获取数组大小唯一可靠方式是让编译器看见数组类型本身：用 sizeof(arr)/sizeof(arr[0])（仅限定义作用域内）或函数模板推导（如 template constexpr size_t array_size(t(&)[n]) { return n; }），二者均要求 arr 为真数组而非指针。

c++如何在编译时确定数组大小

编译时确定数组大小靠 `sizeof` 和模板推导，不是运行时

你不能靠 std::size() 或 .size() —— 那是容器的接口，原生数组没这玩意。编译时知道大小，唯一可靠方式是让编译器“看见”数组类型本身，比如传入函数模板或用 sizeof(arr) / sizeof(arr[0])，但后者必须确保 arr 是真正的数组（非指针）。

`sizeof(arr) / sizeof(arr[0])` 为什么有时失效

常见错误：把数组传给函数后，在函数内用 sizeof。此时形参已退化为指针，sizeof(arr) 返回指针大小（通常是 8），结果完全不对。

✅ 正确场景：在定义数组的作用域内直接计算，如 int a[5]; size_t n = sizeof(a) / sizeof(a[0]);
❌ 错误场景：void f(int arr[]) { sizeof(arr); } —— 这里 arr 类型是 int*，不是数组
⚠️ 注意：sizeof 对 std::array 有效，但返回的是整个对象字节数，不是元素个数；要用 std::array::size() 或 std::size(arr)（C++17 起）

用模板参数自动推导数组长度

这是最安全、最泛用的编译时获取方式，适用于函数参数和 constexpr 上下文。

C函数速查手册（CHM版）

下载

template<typename t size_t n>
constexpr size_t array_size(T (&)[N]) {
    return N;
}</typename>

调用时：int x[12]; auto n = array_size(x); —— n 是 constexpr size_t，可在模板参数、static_assert 中直接用。

优势：类型安全，拒绝指针；支持任意元素类型（包括数组嵌套）
限制：不能用于动态分配内存（如 new int[10]）、不能用于 std::vector
替代写法（C++17）：std::size(arr) 内部就是类似模板实现，但底层仍依赖数组类型推导

`std::extent_v` 在类型元编程中提取维度

当你处理多维数组或需要静态反射（比如模板偏特化），std::extent_v<t n></t> 可以从类型中提取第 N 维长度，且全程编译时完成。

int a[3][4]; static_assert(std::extent_v<decltype> == 3);</decltype>
std::extent_v<decltype> == 4</decltype>
对一维数组：std::extent_v<int></int> 得到 7；但对 int* 或 std::array<int></int> 返回 0（未定义维度）
注意：std::extent 只看类型，不看变量值；它和 sizeof 不同，不依赖内存布局