17370845950

sizeof计算数组长度仅对原生数组有效，传参后退化为指针会导致错误；std::size是C++17起更安全的统一替代方案，支持原生数组、std::array和标准容器。

用 sizeof 计算数组长度只对原生数组有效

很多人写 sizeof(arr) / sizeof(arr[0]) 算元素个数，这确实能工作——但仅限于函数内部定义的原生数组（如 int arr[5];）。一旦数组退化为指针（比如传进函数参数），sizeof 就只返回指针大小（通常是 8 字节），结果完全错误。

常见错误现象：
- 函数参数写 void foo(int arr[]) 或 void foo(int* arr)，里面用 sizeof(arr)/sizeof(*arr) → 永远得到 1（64 位下）或 2（32 位下）
- 用 std::vector 或 std::array 却误套这个公式 → 编译失败或结果无意义

• 原生数组在定义作用域内可用：int a[7]; size_t n = sizeof(a) / sizeof(a[0]); // ✅ 得到 7
• 传参后失效：void f(int x[]) { sizeof(x); } // ❌ 返回指针大小
• 全局/静态数组也适用，但不推荐依赖——语义不清、易误用

std::size 是 C++17 起更安全的替代方案

std::size 是标准库提供的非成员函数，专为容器和原生数组设计，底层对原生数组做模板推导，自动避开指针退化问题。它比手写 sizeof 表达式更健壮、可读性更好，且支持所有标准容器（std::vector、std::array、std::string 等）。

• 对原生数组：int a[10]; auto n = std::size(a); //

  

  ✅ 推导出 10
• 对 std::array：std::array b; std::size(b); // ✅ 返回 3
• 对 std::vector：std::vector v(5); std::size(v); // ✅ 返回 5（等价于 v.size()）
• 必须包含 头文件（C++17 起）

什么时候该用 .size() 而不是 std::size

对于标准容器（std::vector、std::string、std::deque 等），优先调用成员函数 .size() —— 它是 O(1) 的，语义明确，且不需要额外头文件。而 std::size 是统一接口，适合泛型代码中统一处理多种类型，但引入了间接层。

• 明确知道类型时：v.size() 更直接，IDE 补全友好，编译器更容易优化
• 写模板函数时：std::size(container) 可同时适配原生数组、std::array 和容器，避免特化
• 注意：std::size 对 C 风格字符串（const char*）无效，也不接受空指针；.size() 在容器为空时仍安全

容易被忽略的边界：数组引用参数能保住尺寸信息

如果真需要在函数里拿到原生数组长度，唯一可靠方式是用数组引用作为参数——这样不会退化，sizeof 或 std::size 都能用。但这要求调用方传入的是确切大小的数组，灵活性差，实际项目中较少见。

• 写法：template void f(int (&arr)[N]) { std::size(arr); // ✅ N 可推导 }
• 不能匹配 int*、std::vector 或不同长度的数组
• 现代 C++ 中，更推荐用 std::span（C++20）替代，兼顾安全与通用性

原生数组长度计算本质是编译期行为，任何运行时企图“从指针反推长度”都不可靠。别信“我能从 malloc 地址里还原 size”，那不属于 C++ 语言保证的范畴。