因为数组形参int p[3]等价于int* p，不检查长度；而引用形参int (&p)[3]要求精确匹配类型，int[5]与int[3]不同；模板void f(const int (&a)[n])可自动推导长度并编译期校验。
为什么 int arr[5] 传给 void f(int* p) 不报错，但传给 void f(int p[3]) 却警告 incompatible pointer？
因为 C++（和 C）里「数组形参」本质是语法糖，void f(int p[3]) 完全等价于 void f(int* p)，编译器根本不检查数组长度。但如果你写成 void f(int (&p)[3])（引用传参），那就真绑定到固定大小的数组，此时传入 int arr[5] 就会触发类型不匹配：int [5] 和 int [3] 是不同类型，指针类型自然 incompatible。
常见错误现象：warning: cannot convert 'int (*)[5]' to 'int (*)[3]' in argument passing 或更模糊的 incompatible pointer type —— 实际是数组指针类型不一致。
- 检查函数声明：如果用了
int p[N]形式，它骗不了编译器，也约束不了调用方；真要校验长度，必须用引用或模板 - 如果函数体里写了
sizeof(p)，你会发现结果永远是sizeof(int*)，不是数组大小——这是最典型的“以为传了数组实参，其实只传了指针”的坑 - 用
std::array或std::vector可避免这类混淆，它们传参时类型信息完整保留
怎么让编译器不报 incompatible pointer 警告，又保持数组长度语义？
用引用传参是最直接的方式，它让类型系统真正参与校验：
void process(const int (&arr)[4]) {
// arr 是 int[4] 的引用，sizeof(arr) == 16（假设 int=4）
}
调用时必须传恰好 4 个元素的数组：
-
int a[4] = {1,2,3,4}; process(a);✅ -
int b[5] = {}; process(b);❌ 报错：cannot bind ‘int [5]’ to ‘const int (&)[4]’ - 不能传
new int[4]或函数返回的局部数组（生命周期/类型都不匹配）
用模板推导数组长度，兼顾通用性和类型安全
模板能自动捕获数组长度，比硬编码引用更灵活：
template<size_t n>
void handle(const int (&arr)[N]) {
static_assert(N >= 3, "At least 3 elements required");
// sizeof(arr) 正确给出总字节数
}</size_t>
这种写法既避免指针退化，又支持不同长度数组（只要满足约束），且编译期可做 static_assert 检查。
- 传
int x[7]→ 推导出N == 7，类型是const int (&)[7] - 传指针如
int* p会编译失败：没有匹配的函数模板实例 - 注意：不能用于动态分配数组、
std::vector或运行时才知道长度的场景
什么时候该放弃原生数组，改用 std::span（C++20）？
当你要处理「一段连续内存」，但来源可能是栈数组、堆数组、std::vector 数据区，且希望统一接口 + 零开销 + 边界检查（可选）时，std::span 是现代替代方案：
void read_data(std::span<const int> s) {
for (int x : s) { /* ... */ }
if (s.size() <ul>
<li>
<code>read_data(arr)</code>（<code>arr</code> 是任意大小原生数组）✅</li>
<li>
<code>read_data(vec)</code>（<code>vec</code> 是 <code>std::vector<int></int></code>）✅</li>
<li>
<code>read_data(std::span{p, n})</code>（裸指针+长度）✅</li>
<li>编译器不会对 <code>std::span</code> 参数发 incompatible pointer 警告，因为它本身就是一个明确的类型</li>
</ul>
<p>容易被忽略的是：即使不用 C++20，<code>gsl::span</code>（Guideline Support Library）或自行实现轻量 <code>span</code> 类也能解决大部分兼容性问题，关键是把「数据+长度」打包成一个值对象，而不是依赖数组声明语法。</p></const>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
