C/C++数组参数与返回值机制详解

1. 数组作为函数参数与返回值的核心机制

数组在函数间的传递是编程中最基础也最容易出错的环节之一。以C语言为例，当我们将数组传递给函数时，实际上传递的是数组首元素的地址。这个机制直接影响了我们对数组参数的所有操作方式。

1.1 数组形参的底层原理

在C/C++中，以下三种函数声明是完全等价的：

c复制void func(int arr[]);
void func(int arr[10]); 
void func(int *arr);

编译器会将数组参数自动退化为指针。我曾在一个图像处理项目中踩过坑——试图用sizeof获取传入数组的长度，结果得到的永远是指针大小。正确的做法是必须额外传递数组长度参数：

c复制void processImage(unsigned char pixels[], int width, int height) {
    // 实际像素数据操作
}

关键经验：当函数内需要知道数组大小时，必须显式传递尺寸参数。这是很多缓冲区溢出漏洞的根源。

1.2 多维数组的特殊处理

二维数组作为参数时，列数必须明确指定。这是因为它影响内存寻址计算。在OpenCV矩阵处理中，典型的声明方式如下：

cpp复制void filter(float mat[][3], int rows) {
    // 3x3卷积核处理
}

现代C++更推荐使用std::array或std::vector，它们能自动维护大小信息。我在重构旧代码时，将200多处裸数组参数替换为std::array，使内存安全问题减少了70%。

2. 数组返回值的实现策略

直接返回C风格数组是不可能的，但有以下几种实用方案：

2.1 静态数组的陷阱

新手常尝试这样返回数组：

c复制int* getArray() {
    static int arr[3] = {1,2,3};
    return arr;
}

这虽然能工作，但存在严重问题：

• 所有调用共享同一内存
• 线程不安全
• 生命周期难以管理

2.2 动态分配的方案

更可靠的做法是动态分配：

cpp复制std::unique_ptr<int[]> createArray(int size) {