sizeof求原始数组长度仅对栈上定义的原始数组有效;传入函数后数组退化为指针,sizeof返回指针大小而非元素个数。

sizeof 求原始数组长度只对栈上定义有效
在 C++ 里,sizeof 看似能“直接求长度”,但实际只对**栈上声明的原始数组(不是指针)** 可靠。一旦数组退化成指针(比如传进函数),sizeof 就只返回指针大小(通常是 8),不是元素个数。
常见错误现象:void foo(int arr[]) { cout —— 这永远输出 1(x64 下)或 2(x32 下),跟原数组长度完全无关。
- 正确用法仅限于:在同一个作用域内,且变量是
int arr[5]这种形式定义的 - 示例:
int a[] = {1,2,3}; size_t n = sizeof(a) / sizeof(a[0]);→ 得到 3 - 如果写成
int* p = new int[5];,sizeof(p)是指针大小,无法还原长度
std::array 是唯一自带 size() 的“真数组”
std::array 是 C++11 引入的固定长度容器,它本质是封装了原始数组的类模板,编译期确定大小,不退化、不丢失长度信息。
使用场景:你需要一个栈上分配、零开销、又想安全访问长度的整数序列,比如配置项、状态码表、坐标向量等。
立即学习“C++免费学习笔记(深入)”;
- 必须显式指定长度:
std::array<int> coords = {1,2,3,4};</int> - 调用
coords.size()或coords.max_size()都返回 4,类型安全且不会出错 - 和原始数组不同,它可作为函数参数值传递,长度信息不丢失
- 注意:不能用
std::array<int></int>(标准禁止),空数组需用std::vector
std::vector 是运行时长度的通用解法
绝大多数真实场景中,你面对的不是编译期已知长度的数组,而是从文件读、用户输入、计算生成的整数序列——这时必须用 std::vector。
它没有“数组长度”的歧义:只有 .size()(当前元素个数),没有“容量”以外的隐藏长度概念。
- 初始化后立即可用:
std::vector<int> v = {10,20,30}; cout </int> - 动态增删不影响长度获取:
v.push_back(40);后v.size()变为 4 - 兼容性好:C++11 起所有主流编译器都支持,且 ABI 稳定
- 性能提示:频繁调用
.size()无开销(通常内联为成员变量访问)
用 auto + std::size() 统一处理(C++17 起推荐)
C++17 加入了 std::size(),它是泛化的长度获取函数,能同时适配原始数组、std::array、std::vector 和其他标准容器。
它解决了“同一种写法适配多种类型”的问题,避免手写 sizeof 除法或重复调用 .size()。
- 示例:
int a[] = {1,2,3}; auto n = std::size(a); // 得到 3,类型是 size_t - 对
std::vector v或std::array arr,std::size(v)和v.size()效果一致 - 关键限制:不支持裸指针(
int* p),也不支持 C 风格字符串字面量("abc") - 需要包含
<iterator>头文件
最容易被忽略的一点:C++ 里根本没有“通用数组长度函数”这种东西。所谓“求 int 数组长度”,本质上是在问“我手上的这个东西到底是什么类型”。原始数组、指针、std::array、std::vector 四者语义完全不同,强行套用同一套逻辑一定会踩坑。










