C++ 数组引用

一、先搞懂：为什么需要数组引用？

先看 C 语言 / 普通 C++ 代码的痛点：数组作为函数参数时，会自动退化为指向首元素的指针，丢失数组的长度信息和数组类型，比如：

cpp

运行

#include <iostream> using namespace std; // 形参arr看似是数组，实际退化为int*指针，[]里的10毫无意义 void test(int arr[10]) { // 用sizeof(arr)得到的是「指针的大小」（Windows64位是8字节），不是数组总大小 cout << "sizeof(arr) = " << sizeof(arr) << endl; } int main() { int arr[10] = {1,2,3}; test(arr); // 输出：8（指针大小），而非40（10个int的总大小） return 0; }

而数组引用能直接绑定整个数组，保留数组的元素类型和长度，sizeof、类型检查都会严格生效，从根源避免上述问题。

二、数组引用的基础定义语法

数组引用的核心是明确指定数组的「元素类型」和「固定长度」，语法分两种（推荐第一种，更直观），长度是数组引用类型的一部分，缺一不可：

语法 1：直接定义（推荐，可读性高）

cpp

运行

// 格式：元素类型 (&引用名)[数组长度] = 原数组; int arr[5] = {1,2,3,4,5}; int (&refArr)[5] = arr; // 正确：refArr是「int型、长度为5的数组」的引用，绑定arr

语法 2：typedef/using 重定义（适合复用数组类型，进阶用）

如果同一个数组类型需要多次定义引用，可用typedef或using封装数组类型，简化代码（C++11 后推荐using，更清晰）：

cpp

运行

int arr[5] = {1,2,3,4,5}; // 方式1：typedef封装「int型、长度5的数组」类型 typedef int Arr5[5]; Arr5 &refArr1 = arr; // refArr1是Arr5类型的引用，即int[5]的引用 // 方式2：using封装（C++11+，推荐） using Arr5 = int[5]; Arr5 &refArr2 = arr; // 和上面等价

错误定义示例（避坑！）

数组引用的长度必须和原数组完全一致，且不能省略长度，否则编译报错：

cpp

运行

int arr[5] = {1,2,3}; int (&ref)[3] = arr; // 错误：长度不匹配（5≠3） int (&ref)[] = arr; // 错误：未指定数组长度，编译器无法确定类型 int &ref[5] = arr; // 错误：优先级问题，这是「5个int引用的数组」（引用不能存数组），而非数组的引用

关键优先级：()优先级高于[]，所以必须加 ()，否则会被解析为「引用的数组」（C++ 中引用不能构成数组，直接报错）。

三、数组引用的核心基础用法

数组引用绑定原数组后，用法和原数组完全一致，可以通过引用访问、修改数组元素，且引用和原数组共享内存（修改引用就是修改原数组）：

cpp

运行

#include <iostream> using namespace std; int main() { int arr[5] = {1,2,3,4,5}; int (&refArr)[5] = arr; // 定义数组引用 // 1. 通过引用访问数组元素 cout << refArr[0] << endl; // 输出：1 cout << refArr[3] << endl; // 输出：4 // 2. 通过引用修改数组元素（原数组会同步变化） refArr[1] = 20; cout << arr[1] << endl; // 输出：20（原数组被修改） // 3. sizeof获取数组总大小（保留长度信息，核心优势） cout << "sizeof(refArr) = " << sizeof(refArr) << endl; // 输出：20（5*4，int占4字节） cout << "数组长度 = " << sizeof(refArr)/sizeof(refArr[0]) << endl; // 正确计算长度：5 return 0; }

四、数组引用的最常用场景：函数参数

这是数组引用最实用的地方——作为函数形参，保留数组的类型和长度，解决普通数组传参退化为指针的问题，分「固定长度数组」和「任意长度数组（模板）」两种场景。

场景 1：函数参数为「固定长度的数组引用」

形参直接定义为数组引用，严格限制传入的数组长度，编译器会做类型检查（传入长度不匹配直接报错），且能正确获取数组大小：

cpp

运行

#include <iostream> using namespace std; // 形参是「int型、长度5的数组」的引用，严格绑定长度5的数组 void printArr(int (&arr)[5]) { // 正确获取数组总大小，计算长度 int len = sizeof(arr)/sizeof(arr[0]); cout << "数组长度：" << len << endl; for(int i=0; i<len; i++) { cout << arr[i] << " "; } cout << endl; } int main() { int arr1[5] = {1,2,3,4,5}; int arr2[3] = {10,20,30}; printArr(arr1); // 正确：长度匹配5 // printArr(arr2); // 错误：编译报错，长度3≠5，类型不匹配 return 0; }

优势：编译期检查数组长度，避免传入错误长度的数组，提升代码安全性。

场景 2：函数参数为「任意长度的数组引用（模板实现）」

场景 1 只能处理固定长度的数组，若想让函数支持任意长度的数组，结合 C++模板即可（自动推导数组长度），这是工业级代码的常用写法：

cpp

运行

#include <iostream> using namespace std; // 模板参数N：自动推导数组的长度（编译期确定） // 形参：int型、长度N的数组引用 template <int N> void printArr(int (&arr)[N]) { cout << "数组长度：" << N << endl; // 直接用模板参数N作为长度，无需计算 for(int i=0; i<N; i++) { cout << arr[i] << " "; } cout << endl; } int main() { int arr1[5] = {1,2,3,4,5}; int arr2[3] = {10,20,30}; int arr3[7] = {0,1,2,3,4,5,6}; printArr(arr1); // 自动推导N=5，输出：1 2 3 4 5 printArr(arr2); // 自动推导N=3，输出：10 20 30 printArr(arr3); // 自动推导N=7，输出：0 1 2 3 4 5 6 return 0; }

极致优化：结合 C++11 的范围 for 循环，代码更简洁（数组引用会被识别为「可遍历的容器」）：

cpp

运行

template <int N> void printArr(int (&arr)[N]) { cout << "数组长度：" << N << endl; for(int num : arr) { // 范围for，直接遍历数组引用 cout << num << " "; } cout << endl; }

五、数组引用的进阶用法：返回值

C++ 允许函数返回数组的引用（注意：不能返回局部数组的引用，局部数组出函数会销毁，引用变为野引用），语法需要注意括号包裹，也可以用模板 / 重定义简化：

基础写法（注意语法）

cpp

运行

#include <iostream> using namespace std; int globalArr[5] = {10,20,30,40,50}; // 全局数组（生命周期全程） // 函数返回「int型、长度5的数组」的引用，注意：int (&)()[5] 是返回值类型 int (&getArr())[5] { return globalArr; // 返回全局数组的引用，安全 } int main() { int (&ref)[5] = getArr(); // 用数组引用接收返回值 ref[0] = 100; cout << globalArr[0] << endl; // 输出：100（修改引用同步修改全局数组） return 0; }

简化写法（模板 /using，推荐）

上述返回值语法int (&getArr())[5]可读性较差，用using重定义数组类型后，代码更清晰：

cpp

运行

using Arr5 = int[5]; int globalArr[5] = {10,20,30,40,50}; // 直接返回Arr5类型的引用，可读性大幅提升 Arr5 &getArr() { return globalArr; }

六、数组引用 vs 指针 vs 标准库数组（std::array）

新手容易混淆数组引用、普通指针，这里做清晰对比，同时补充 C++11 的std::array（推荐工程开发使用）：

工程开发推荐：优先使用 C++11 引入的std::array，它是「封装了固定长度数组的模板类」，兼具数组引用的类型安全和 STL 容器的易用性（支持size()、empty()、拷贝、迭代器等），语法：std::array<int, 5> arr = {1,2,3};。

七、数组引用的核心避坑点

1. 必须加 ()：int (&ref)[5]不能写成int &ref[5]，后者是「5 个 int 引用的数组」（C++ 不允许引用数组，直接报错）；
2. 长度必须严格匹配：数组引用的长度和原数组必须完全一致，编译器会做严格的类型检查，不匹配直接编译报错；
3. 避免返回局部数组的引用：局部数组在函数执行结束后会被栈销毁，返回其引用会得到野引用，访问时触发未定义行为；
4. 数组引用是「左值引用」：C++ 中数组是「不可移动的左值」，因此不存在「数组的右值引用」（int (&&ref)[5]语法合法，但实际无实用场景）；
5. 不能绑定指针：数组引用只能绑定实际的数组对象，不能绑定指向数组的指针（比如int *p = arr; int (&ref)[5] = p;编译报错）。

总结

1. 数组引用的核心价值是绑定整个数组、保留元素类型和固定长度，解决普通数组传参退化为指针的痛点，提升代码安全性；
2. 核心语法是元素类型 (&引用名)[数组长度] = 原数组，必须加 ()、必须指定长度，长度是类型的一部分；
3. 最常用场景是函数形参，结合模板可实现「任意长度数组的类型安全传参」，是 C++ 数组传参的最佳实践；
4. 工程开发中，C++11+ 优先使用std::array替代原生数组 + 数组引用，兼具类型安全和易用性；
5. 关键避坑：长度匹配、加 ()、不返回局部数组引用、仅绑定实际数组对象。