不能定义引用的数组，因为引用不是实体、不占内存，而数组元素必须是实际对象；int& a[]非法，正确写法是int (&a)[n]表示对整个数组的引用。
不能定义「引用的数组」，因为引用本身不是对象、不占内存，而数组必须由实际占用存储空间的元素构成。编译器会直接报错：error: declaration of reference variable 'a' as array。
为什么 int& a[] 是非法的
这是语法层面的硬性限制：引用是别名，不是实体；数组是实体集合。把「别名」当元素塞进数组，就像试图用“绰号”去砌墙——没砖可砌。
-
int& a[]被解析为“一个数组，每个元素都是int&”，但 C++ 不允许引用类型作为数组元素 - 即使写成
int& a[3]，编译器仍拒绝：没有存储空间给这些“空壳别名”分配位置 - 错误信息通常很直白，比如
error: array of references is not allowed
int (&a)[N] 才是合法的数组引用
真正能用的是「数组的引用」，即整个数组对象的别名。它绑定的是数组本体，不是它的某个元素，也不需要为引用本身分配额外空间。
- 括号
(&a)必须存在，否则int& a[5]会被当成int (&a)[5]的反面（即指针数组或语法错误） - 长度
N是类型的一部分，int (&a)[3]和int (&b)[4]是两个完全不同的类型 - 必须初始化，且只能绑定到同类型、同长度的已定义数组，例如：
int arr[3] = {1,2,3}; int (&ref)[3] = arr;
函数参数中避免数组退化必须用引用
普通形参 void f(int a[10]) 实际等价于 void f(int* a)，sizeof(a) 永远是 4 或 8（指针大小），彻底丢失长度信息。
- 正确写法：
void f(int (&arr)[10])—— 编译期就锁定长度，调用时若传入int x[9]直接编译失败 - 配合模板可泛化：
template<typename t size_t n> void f(T (&arr)[N])</typename>，N在编译期推导，安全又灵活 - 注意 const：若只读，加
const更严谨，如void f(const int (&arr)[10])
替代方案：优先考虑 std::array 或 std::span
纯引用虽有效，但写法生硬、长度写死。现代 C++ 更推荐语义清晰、更易维护的方式：
-
std::array<int></int>：栈上固定数组，自带.size()、迭代器，传值/传引用都自然，无退化问题 -
std::span<const int></const>（C++20）：轻量视图，可接受任意连续内存（数组、vector、raw ptr + len），运行期确定长度，又不失类型安全 - 慎用裸指针 + 长度参数：容易漏传、错传，且无法在编译期拦截错误
最易被忽略的一点：数组引用的长度必须字面匹配，哪怕只差 1，类型就不兼容。这不是警告，是硬性编译错误——它既是限制，也是保护。用模板封装一次，后续就能复用，比反复手写 int (&a)[7] 更可靠。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
