C++数组传参的退化陷阱与现代解决方案

1. C++数组传参的本质与退化陷阱

1.1 数组在函数参数中的行为解析

当我们将数组传递给C++函数时，实际上发生了一个关键的类型转换——数组退化为指向其首元素的指针。这个机制源于C语言的历史设计，也是许多隐蔽bug的根源。例如下面两种函数声明在编译器看来完全等价：

cpp复制void process(int arr[]);  // 看似接收数组
void process(int* arr);   // 实际接收指针

这种退化意味着函数内部无法通过sizeof(arr)/sizeof(arr[0])获取数组长度，因为sizeof(arr)得到的是指针大小而非数组总字节数。我在实际项目中曾因此导致缓冲区溢出，当时调试了整整两天才发现这个隐蔽问题。

1.2 退化带来的典型问题

最常见的陷阱包括：

1. 长度信息丢失：函数内无法直接判断数组边界
2. 类型安全检查失效：编译器无法验证传入数组的实际维度
3. 多维数组的二次退化：int matrix[][10]会退化为int (*matrix)[10]，但int matrix[][]直接编译失败

cpp复制// 危险示例：无法检测数组越界
void unsafeFill(int arr[], int value) {
    for(int i=0; i<10; i++)  // 硬编码长度风险
        arr[i] = value;      // 可能越界
}

2. 现代C++的类型安全解决方案

2.1 使用std::array容器

C++11引入的std::array是替代原生数组的首选方案，它完美保留了数组的大小信息：

cpp复制template<size_t N>
void safeProcess(std::array<int, N>& arr) {
    for(auto& item : arr)  // 范围for安全迭代
        item *= 2;         // 自动边界检查
}

关键优势：

• 编译期已知大小，支持静态检查
• 提供at()方法进行边界检查
• 完全兼容STL算法

2.2 引用传递原生数组

对于必须使用原生数组