C++数组引用详解：解决函数传参维数丢失与模板泛型

理解C++中的数组引用

在C++中，所谓数组引用是指向整个数组对象的引用，而非指向数组首元素的指针。声明语法较为特殊，括号不可省略：

int a[10];
int (&b)[10] = a;

这里 b 是对包含10个整数的数组 a 的引用。如果误写为指向指针的引用：

int* &b = a; // 错误: cannot convert from 'int [10]' to 'int *&'

编译器会报错。这是因为虽然数组名通常隐式转换为指向首元素的指针，但在定义引用时需严格匹配类型。系统会将 a 理解为 int [10] 类型，因此引用也必须声明为 int (&)[10]，即“指向10个int数组的指针的引用”这种表述虽拗口，但强调了类型签名的严格一致性。

函数传参中的“数组降阶”问题

C和C++中存在一个经典现象：当数组作为函数参数传递时，它会退化（decay）为指向其首元素的指针。这意味着函数内部无法通过 sizeof 运算符获得原数组的大小。

#include <iostream>
void test(char arr[100]) {
    std::cout << sizeof(arr) << std::endl; // 输出 4 (64位系统下指针大小)
}

int main() {
    char arr[100] = {0};
    std::cout << sizeof(arr) << std::endl; // 输出 100
    test(arr);
    return 0;
}

执行结果：
100
4

在函数签名 void test(char arr[100]) 中，尽管写了尺寸100，编译器并不检查此维度。该签名等同于 void test(char arr[]) 或 void test(char* const arr)。因此，无论传入何种大小的字符数组，函数内看到的只是指针。

使用数组引用锁定维度

若需强制要求参数必须是特定大小的数组，可使用常量数组引用。这不仅能保留 sizeof 的正确值，还能防止编译器接受不匹配长度的数组。

void test(const char (&arr)[100]) {
    std::cout << sizeof(arr) << std::endl; // 输出 100
}

调用时：

• char arr[100] = {0}; test(arr); —— 正确，sizeof 为100。
• char arr[20] = {0}; test(arr); —— 错误，编译器拒绝转换，因为类型不匹配。

这种方式直接传递数组名，保留了大小信息。但其缺点是会生成固定尺寸的专用代码，且无法处理动态分配的内存在运行时确定大小的场景。

第1步：结合模板实现通用性

为解决固定尺寸限制，可引入非类型模板参数 sz，使函数适应不同长度的数组。

template <int sz>
void test(char (&arr)[sz]) {
    for (int i = 0; i < sz; i++) {
        // 处理逻辑
    }
}

char a[2] = {0}, b[15] = {0};
test(a); // OK
/test(b); // OK

目的： 利用模板推导自动获取数组大小 sz，从而实现一次编写、多种尺寸调用的效果。

局限性分析与风险提示

虽然模板化数组引用解决了静态数组的通用性问题，但仍存在以下限制：

1. 代码膨胀风险： 每调用一次不同长度的数组，编译器都会实例化一份新的函数代码。相比传统指针传参仅有一份机器码，这会增大目标文件体积。
2. 仅限静态内存： 模板参数必须在编译期确定。因此，不能使用 `new` 或 `malloc` 分配的动态数组（运行时大小）作为参数，否则会导致编译错误。

总结

数组引用是C++中用于保持数组类型完整性和维度检查的强大工具。通过在参数列表中声明 Type (&ref)[N] 或模板 Type (&ref)[N]，开发者可以避免常见的降阶错误，提升类型安全性。然而，鉴于其编译期绑定特性，在设计库时应权衡灵活性带来的二进制膨胀成本，并在处理动态数据时回归传统的指针操作。

以上就是C++数组引用解析及在函数传参中应用的详细内容，更多关于C++数组技巧与模板编程的资料请关注本站其它相关文章！