sizeof(arr)/sizeof(arr[0]) 在函数参数中失效，因数组退化为指针导致结果错误；仅适用于栈上原生数组，推荐用 std::array 替代。
sizeof(arr) / sizeof(arr[0]) 为什么有时失效
这个经典写法只在数组是栈上定义、且未退化为指针时才可靠。一旦数组作为函数参数传入，arr 就变成 int*（或对应类型指针），sizeof(arr) 返回的是指针大小（通常是 4 或 8），不再是整个数组字节数。
常见错误现象：sizeof(arr) / sizeof(arr[0]) 在函数内部返回 1（32 位）或 1（64 位下除以 4/8 得 1），而不是你期望的元素个数。
- 适用场景：仅限于栈上定义的原生数组，例如
int arr[] = {1, 2, 3, 4};在其定义作用域内 - 不适用场景：函数形参、动态分配数组（
new int[n]）、std::vector、全局数组传参后 - 可加编译时断言防误用：
static_assert(std::is_array_v<decltype>, "arr must be a real array");</decltype>
用 std::array 替代 C 风格数组
std::array 是类型安全、带尺寸信息的容器，.size() 成员函数始终可用，且不退化。
示例：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
std::array<int, 5> arr = {1, 2, 3, 4, 5};
std::cout << arr.size(); // 输出 5，类型安全，传参也不丢尺寸- 优势：支持范围 for、迭代器、
std::begin/std::end，编译期知道长度 - 注意：模板参数中的长度必须是编译期常量，不能是变量
- 与 C 风格数组内存布局完全兼容，可直接传给需要
int*的 C API（用arr.data()）
函数参数里怎么拿到数组长度
原生数组传参时必然退化为指针，C++ 没有内置机制恢复长度。必须显式传递长度，或改用能携带长度的类型。
- 最直接方式：增加一个
size_t n参数，如void process(int* arr, size_t n) - 更现代做法：用
std::span<int></int>（C++20），它包装指针+长度，提供.size()且不拷贝数据 - 替代方案：用
std::vector，它自带.size()，但涉及堆内存；若只读且不想拷贝，std::span更轻量 - 避免陷阱：不要试图在函数内对形参做
sizeof—— 它永远不是你想要的
宏或模板技巧能不能“自动”获取长度
可以封装，但仍有严格限制。比如定义宏 #define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]))，但它依然只适用于本地数组。
模板版本稍安全些：
template<typename T, size_t N>
constexpr size_t array_size(T (&)[N]) { return N; }调用 array_size(arr) 会推导出 N，但前提是 arr 是数组类型（非指针）。
- 优点：编译期计算，类型检查比宏强
- 缺点：无法用于函数参数（推导失败），也不能用于
extern声明的数组 - 实际建议：与其花精力绕过限制，不如直接用
std::array或显式传n—— 更清晰、更少歧义
真正容易被忽略的是：数组长度不是运行时属性，而是编译期概念。一旦脱离原始定义上下文，就没有“自动获取”的银弹；靠约定（传长度）、靠类型（std::array）、靠标准库抽象（std::span）才是正解。
