数组名传参本质是退化为指针，void func(int arr[]) 实际等价于 void func(int* arr)，sizeof(arr) 返回指针大小而非数组大小，需额外传size参数。
数组名传参本质是退化为指针
在 C++ 中，void func(int arr[]) 看起来像传数组，实际编译器会把它重写成 void func(int* arr) —— 也就是只传首元素地址。这意味着函数内 sizeof(arr) 永远是 sizeof(int*)（通常 8 字节），不是原数组大小。你无法靠形参推导出数组长度，必须额外传一个 size 参数。
常见错误现象：for (int i = 0; i 在函数内部永远只循环 1 或 2 次（取决于指针大小和 int 大小），导致越界或漏处理。
- 适用场景：C 风格接口、性能敏感且长度已知的底层操作
- 注意：不能用
arr[5]访问时做边界检查，因为编译器不校验 - 若原数组是
const int a[10]，建议声明为void func(const int* arr, size_t n)，明确意图
用引用传参保留数组类型和大小信息
写成 void func(int (&arr)[10]) 就能真正“传数组”——形参是引用，绑定到实参数组，sizeof(arr) 返回 40（假设 int 是 4 字节），std::extent_v<decltype></decltype> 也能拿到 10。这是唯一能让函数感知原始维度的方式。
但问题也很直接：模板参数必须完全匹配。传 int a[10] 可以，传 int b[11] 或 std::vector<int></int> 就编译失败。
立即学习“C++免费学习笔记（深入）”；
- 适用场景：固定尺寸配置数组、模板元编程、需要编译期知道长度的地方（比如生成 constexpr 查表）
- 若想支持不同长度，得用函数模板：
template<size_t n> void func(int (&arr)[N])</size_t> - 注意：不能传动态分配的
new int[10]，因为那不是数组类型，而是int*
指针传参和引用传参在调用语法上没区别，但语义完全不同
看起来都是 func(a)，但背后行为差异极大。指针传参允许 nullptr、可重指向、可算术运算；引用传参强制绑定非空对象、不可重绑定、无指针开销。
错误现象举例：有人把 int a[5] = {1}; func(a); 和 func(&a[0]); 当作等价写法——前者是数组名（隐式转指针），后者是显式取址，结果一样；但如果函数声明是引用类型，&a[0] 就会编译失败，因为 &a[0] 是 int*，不是数组引用。
- 性能影响：引用传参无拷贝、无解引用开销，和指针一样快；但编译器更容易对引用做优化（比如消除中间变量）
- 兼容性：引用传参不能用于 C 接口；指针传参天然兼容 C
- 可读性：引用更明确表达“我操作的是原数组”，指针则暗示“我可能只读部分、或需要移动指针”
现代 C++ 更推荐 std::array 或 span 而不是裸数组
裸数组传参的问题根源在于类型擦除和尺寸丢失。std::array<int></int> 是值语义容器，传参时可按值、指针或引用，size() 始终可用；std::span<const int></const>（C++20）则提供安全的、带长度的视图，能接受数组、vector、原始指针+长度等多种来源。
容易被忽略的一点：即使你坚持用裸数组，也别在函数签名里写 int arr[] —— 这种写法纯属误导，它既不检查长度，也不阻止传错，还让 IDE 难以推导类型。要么用指针+长度，要么用引用模板，要么升级到 std::span。
示例：void process(std::span<const int> s) { for (int x : s) { /* ... */ } }</const> —— 一行搞定所有合法输入，且编译期/运行期都有长度保障。
