sizeof获取静态数组长度仅对栈上定义的数组有效,传入函数后数组退化为指针导致sizeof失效;std::array和std::vector的size()更安全可靠。

用 sizeof 获取静态数组长度只对栈上定义的数组有效
在函数内部直接定义的数组(比如 int arr[5];),可以用 sizeof(arr) / sizeof(arr[0]) 算出元素个数。这是因为编译器知道它的完整类型信息。
但一旦把数组传给函数,它就退化成指针,sizeof 返回的是指针大小(通常是 8 字节),除出来结果完全不可靠。
- ✅ 正确场景:
int arr[] = {1,2,3}; size_t n = sizeof(arr) / sizeof(arr[0]); - ❌ 错误场景:
void f(int a[]) { sizeof(a); } // 这里 a 是 int* - ⚠️ 注意:
sizeof是编译期计算,不能用于new int[n]或std::vector
std::array 的 size() 成员函数最安全
如果你能控制数组声明方式,优先用 std::array。它保留了大小信息,且不带堆分配开销。
示例:std::array<int> a = {1,2,3,4}; size_t n = a.size();</int> —— 返回 4,类型安全、可内联、无运行时成本。
立即学习“C++免费学习笔记(深入)”;
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- ✅ 支持范围 for 循环:
for (int x : a) { ... } - ✅ 可以用
data()拿到原始指针,兼容 C 风格 API - ❌ 缺点:大小必须是编译期常量,不能动态变
动态数组(new[])没有内置长度,必须自己记
C++ 不跟踪 new int[n] 分配的元素个数。语言层面上,你拿到的只是一个 int*,没有任何元数据。
- ✅ 唯一办法:在分配时把
n存在别处,比如同名变量int* p = new int[n];,后续一直配对使用 - ❌ 不要尝试通过内存布局反推——不同编译器/平台行为不一致,且极易崩溃
- ⚠️ 如果必须用裸指针管理,建议封装成小结构体,把指针和长度绑在一起
别硬扛,优先用 std::vector
绝大多数需要“可变长度数组”的场景,std::vector 是更合理的选择。它的 size() 是稳定可靠的运行时接口。
示例:std::vector<int> v = {1,2,3}; v.size(); // 返回 3</int>,且支持 push_back、resize、迭代器等。
- ✅
v.data()可获取连续内存首地址,适配旧接口 - ✅ 移动语义下开销极低,现代 C++ 编译器优化充分
- ⚠️ 唯一要注意:不要把
v.data()保存太久,因为任何非 const 成员函数调用(包括push_back)都可能触发重新分配,使指针失效
C++ 数组长度不是“值的一部分”,而是类型或上下文信息;一旦脱离原始声明作用域或进入指针形态,就只能靠你自己维护这个数字。最容易被忽略的,是函数参数里那个看似是数组、实则是指针的形参——那里 sizeof 已经失效了。

















