使用int**传递C风格二维数组遇缓冲区溢出，求原因

哈哈，这个问题我太熟了——很多刚接触C多维数组的开发者都会踩这个坑！咱们一步步把这个问题掰明白：

核心问题：静态二维数组和int**的本质区别 #

你定义的int matrix[4][4]是静态二维数组，它在内存里是连续存储的一块区域，布局是这样的（64位系统，int占4字节）：

地址:  0x100  0x104  0x108  0x10C  0x110  ...
值:     1      2      3      4      5     ...

它的真实类型是int (*)[4]——也就是“指向包含4个int的数组的指针”，而不是int**。

当你强行把它转成int**传给RotateMatrix函数时，函数会按照int**的规则去解析内存：

• matrix作为int**，matrix[0]会读取matrix指向的8字节（64位系统中int*占8字节），也就是内存里的前两个int值1和2，拼接成一个诡异的指针0x0000000200000001
• 然后matrix[0][0]会去访问这个错误指针指向的地址，自然就会出现缓冲区溢出或者非法内存访问的问题。

为什么有人说可以用int**传递多维数组？ #

那些场景里的“多维数组”和你的静态数组根本不是一回事！他们用的是动态分配的二维数组，比如：

// 先分配一个指针数组
int** dyn_matrix = malloc(n * sizeof(int*));
// 再给每个指针分配一个int数组
for (int i = 0; i < n; i++) {
    dyn_matrix[i] = malloc(n * sizeof(int));
}

这种结构里，dyn_matrix确实是int**：它本身是一个指针，指向的是一个存储了int*的数组，每个int*又指向一块int的连续内存。和你的静态二维数组的连续内存布局完全不同，所以用int**接收是没问题的。

正确传递静态二维数组的方法 #

给你几个靠谱的解决方案：

方法1：用数组指针作为参数 #

直接声明函数参数为指向固定大小数组的指针：

void RotateMatrix(int (*matrix)[4], int n) {
    auto x = matrix[0][0]; // 正常访问第一个元素
}
// 调用时直接传数组名，不需要强制转换
RotateMatrix(matrix, 4);

缺点是只能处理4列的数组，不够灵活。

方法2：用变长数组（C99及以上支持） #

如果要支持任意大小的方阵，可以用变长数组（VLA）：

// 注意n要放在数组参数前面
void RotateMatrix(int n, int (*matrix)[n]) {
    auto x = matrix[0][1]; // 正常访问第二列元素
}
// 调用时传入大小和数组
RotateMatrix(4, matrix);

这个方法既灵活又安全，是处理静态多维数组的首选。

方法3：当作一维数组处理 #

把二维数组当成一维数组，手动计算偏移量：

void RotateMatrix(int* matrix, int n) {
    // 用 i*n + j 代替 matrix[i][j]
    auto x = matrix[0*4 + 0]; // 等价于原matrix[0][0]
    auto y = matrix[0*4 + 1]; // 等价于原matrix[0][1]
}
// 调用时传数组首地址（数组名会自动退化为指针）
RotateMatrix(&matrix[0][0], 4);
// 或者直接传matrix，效果一样
RotateMatrix(matrix, 4);

这个方法兼容性最好，甚至支持C89标准。

总结 #

静态二维数组和int**是完全不同的内存结构，强制转换会触发未定义行为——你的缓冲区溢出就是典型表现。那些说可以用int**的场景，都是动态分配的指针数组，和你的静态数组不是一回事。

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