C语言中双指针传递二维数组致段错误的原因及动态实现方案

为什么用int**会触发段错误？ #

这和数组在栈上分配没有关系，核心是两种类型的内存布局完全不同：

• 栈上的二维数组（比如int matrix[3][3]）是连续的一块内存，9个int按顺序排列，数组名matrix本质是指向第一行数组的指针（类型为int (*)[3]），而非指向指针的指针。
• int**是指向指针数组的指针，它要求内存中先有一个指针数组，每个指针再指向单独的一行内存（比如动态分配的int** arr = malloc(3*sizeof(int*)); for(int i=0;i<3;i++) arr[i] = malloc(3*sizeof(int));）。

当你把栈上二维数组强制转换成int**传给函数时，函数会把数组首地址当成一个指针来解引用（*matrix），但这个地址对应的是栈上第一个int的值（比如示例中的1），把这个值当成指针再解引用（**matrix）就会访问非法内存，直接触发段错误。

编译期无法确定数组大小的处理方案 #

如果数组的行列数只能在运行时确定，有三种可靠的实现方式：

1. 使用可变长度数组（VLA，C99及以上支持） #

函数参数中先传入行列数，再用可变长度数组接收：

#include <stdio.h>

void convert_to_csr(int rows, int cols, int matrix[rows][cols]) {
    // 直接用matrix[i][j]访问元素
    printf("matrix[1][2] = %d\n", matrix[1][2]);
}

int main() {
    int rows = 3, cols = 3;
    int matrix[rows][cols] = {{1,2,3}, {4,5,6}, {7,8,9}};
    convert_to_csr(rows, cols, matrix);
    return 0;
}

也可以写成更严谨的指针形式：void convert_to_csr(int rows, int cols, int (*matrix)[cols])，效果完全一致。注意VLA不能作为全局变量，部分老编译器或嵌入式环境可能不支持。

2. 按一维数组处理（兼容性最好） #

把二维数组当成连续的一维数组传递，手动计算元素索引：

#include <stdio.h>

void convert_to_csr(int* matrix, int rows, int cols) {
    // 用i*cols + j计算一维数组中的位置
    printf("matrix[1][2] = %d\n", matrix[1*cols + 2]);
}

int main() {
    int matrix[3][3] = {{1,2,3}, {4,5,6}, {7,8,9}};
    // 强制转换为int*传递
    convert_to_csr((int*)matrix, 3, 3);
    return 0;
}

这种方式不依赖任何C标准扩展，所有编译器都支持，不管数组是栈上还是堆上连续分配的都能处理。

3. 手动构建int结构（适合必须用int参数的场景） #

如果函数接口固定必须用int**，可以先为栈上数组构建一个指针数组，再传递这个数组的地址：

#include <stdio.h>

void convert_to_csr(int** matrix) {
    printf("matrix[1][2] = %d\n", matrix[1][2]);
}

int main() {
    int matrix[3][3] = {{1,2,3}, {4,5,6}, {7,8,9}};
    // 构建指针数组，每个元素指向栈上数组的一行
    int* row_ptrs[3];
    for(int i=0; i<3; i++) {
        row_ptrs[i] = matrix[i];
    }
    // 传递指针数组的地址（类型为int**）
    convert_to_csr(row_ptrs);
    return 0;
}

这种方式需要额外的指针数组，但能适配int**类型的函数接口，注意栈数组的生命周期要覆盖函数调用过程。

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