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<int> b; std::size(b); // ✅ 返回 3</int> - 对
std::vector：std::vector<int> v(5); std::size(v); // ✅ 返回 5（等价于 v.size()）</int> - 必须包含
<iterator></iterator>头文件（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 都能用。但这要求调用方传入的是确切大小的数组，灵活性差，实际项目中较少见。
立即学习“C++免费学习笔记（深入）”；
- 写法：
template<size_t n> void f(int (&arr)[N]) { std::size(arr); // ✅ N 可推导 }</size_t> - 不能匹配
int*、std::vector或不同长度的数组 - 现代 C++ 中，更推荐用
std::span<const int></const>（C++20）替代，兼顾安全与通用性
原生数组长度计算本质是编译期行为，任何运行时企图“从指针反推长度”都不可靠。别信“我能从 malloc 地址里还原 size”，那不属于 C++ 语言保证的范畴。
