C语言多维数组传参规则及数组内存边界判定疑问

你的核心理解是正确的 #

首先明确：你对多维数组传参退化的逻辑完全准确：

• 数组作为函数参数时，总会退化为指向其首个元素的指针。对于二维数组int arr[3][4]，它的元素是int[4]类型的一维数组，因此函数声明void foo(int a[3][4])会被编译器等价处理为void foo(int (*a)[4])——也就是指向int[4]类型数组的指针。
• 指针a+1的寻址计算依赖列大小（这里是4），因为要跳过一整行的字节数（4*sizeof(int)），这也是为什么除了最外层维度，其他维度的大小必须明确的原因：编译器需要这个信息来计算指针偏移。

关于数组边界的关键结论：编译器不知道数组的总边界！ #

C语言的数组在内存中是连续的纯数据块，没有任何额外的元数据（比如你猜测的“标识总大小的额外位”）来记录数组的总行数或总长度。当多维数组被传递给函数时，最外层的维度信息会完全丢失——函数只拿到了指向首行的指针，根本不知道这个指针后面跟着多少行数据。

举你的例子来说：

5000(arr[0][0]) +16*(3-1)=5032(arr[2][0])

编译器不会自动知道要在5032处停止访问。如果在函数里写a[3][0]，编译器会严格按照类型规则计算地址：5000 + 3*4*4 = 5048，然后生成访问该地址的代码——至于这个地址是否属于你的数组，编译器完全不关心，这属于程序员的责任。

如何避免越界访问？ #

因为编译器无法自动获取数组的总行数，所以通常的做法是额外传递行数作为函数参数，比如：

void foo(int (*a)[4], int rows) {
    for (int i = 0; i < rows; i++) { // 用rows控制循环边界
        for (int j = 0; j < 4; j++) {
            // 访问a[i][j]
        }
    }
}

这样就能在函数里明确知道循环的上限，避免越界访问。

内容的提问来源于stack exchange，提问作者Calvin Lin