函数参数写 int arr[] 实际上传的是指针，编译器自动降级为 int*，sizeof(arr) 返回指针大小而非数组长度，因此不能用 sizeof 计算元素个数；正确做法是额外传长度参数、用 std::vector 或模板推导。
函数参数写 int arr[] 实际上传的是指针
很多人以为 int arr[] 是把整个数组“复制进”函数，其实编译器会自动把它降级为 int*。这意味着你传进去的永远是首地址，sizeof(arr) 在函数内永远是 4 或 8（指针大小），不是数组总字节数。
所以别指望在函数里用 sizeof(arr)/sizeof(arr[0]) 算长度——它一定错。
- 正确做法：额外传一个
size_t n参数表示元素个数 - 或者改用
std::array<int n></int>（编译期定长）或std::vector<int></int>（运行期可变） - 如果坚持用原生数组，调用时必须显式告诉长度：
foo(arr, 5);
用 std::vector 是最安全、最常用的选择
除非有极端性能要求或嵌入式限制，否则直接用 std::vector 接收一维数组数据，既避免越界风险，又支持动态大小和范围遍历。
示例：
立即学习“C++免费学习笔记（深入）”；
void process(const std::vector<int>& v) {
for (int x : v) { /* 安全遍历 */ }
// v.size() 可靠返回当前长度
}- 传参务必用
const std::vector<int>&，避免拷贝开销 - 不推荐
std::vector<int>值传递，尤其数据量大时 - 如果函数要修改内容，去掉
const，但保留引用
想保留 C 风格数组接口？用模板推导长度
如果你非要写形如 void foo(int arr[]) 但又想自动知道长度，唯一靠谱办法是模板 + 引用：
template <size_t N>
void foo(int (&arr)[N]) {
// 这里 N 就是数组长度，类型安全，编译期确定
for (size_t i = 0; i < N; ++i) {
// ...
}
}- 只能接收真正的栈上数组，比如
int a[7]; foo(a); - 不能接收
int* p = new int[7]; foo(p);—— 编译不过 - 不能接收函数返回的局部数组（返回栈内存地址本身就不合法）
常见错误：把指针当数组传进函数后乱用 sizeof
典型翻车现场：
void bad_func(int arr[]) {
size_t n = sizeof(arr) / sizeof(arr[0]); // ❌ 永远是 1（x86_64 下常为 8/4=2）
for (int i = 0; i < n; ++i) {
printf("%d ", arr[i]); // 很可能越界访问
}
}这种写法在小数组上偶尔“碰巧”不出错，但本质是未定义行为。一旦数组实际长度小于推导出的 n，就踩内存。
- 检查编译器警告：
-Wall通常会提示 “sizeofon array parameter will return size of ‘int *’” - 静态分析工具（如 clang-tidy）也能捕获这类误用
- 真要用原始数组，就老老实实传长度，别偷懒
C++ 里没有“传数组”的语法糖，所有看似传数组的操作，背后都是指针或模板实例化。最容易被忽略的点是：函数内无法仅凭参数类型还原出原始数组长度，必须靠外部显式提供或编译期绑定。
