C语言结构体二维数组传参出现不兼容指针类型错误如何解决

C语言的数组退化规则仅适用于一维场景：二维数组的首元素是长度为列数的一维数组，数组名传参时会退化为指向一维数组的指针，类型为struct example (*)[num_2]，和你写的形参类型struct example**（二级指针，指向指针的指针）内存布局完全不匹配，二者没有隐式转换规则，因此编译器报类型不兼容错误。

不要尝试强制类型转换绕过编译检查，这种操作会导致函数内解析内存的逻辑完全错误，运行时必然出现越界访问、值错乱的问题。另外标准C规定main函数返回值为int，不要写void main()的非标准写法。

根据你的编译环境和使用场景，三选一即可：

• 方法1：列长为编译期常量时，直接修改形参为匹配的数组指针类型
  如果num_2是宏定义、枚举常量这类编译期就确定值的常量，直接把函数形参改成数组指针即可，函数内访问元素的写法和原来完全一致：

#define num_2 10 // 列长为编译期常量
void function_1(struct example (*ex)[num_2], int row_num) {
    // 访问元素直接写ex[i][j]即可
}

int main() {
    #define num_1 5
    struct example ex[num_1][num_2];
    function_1(ex, num_1);
    return 0;
}

• 方法2：C99及以上环境用变长数组参数
  如果你的gcc开了C99及以上标准（默认就是支持的），哪怕行列长度是运行时才确定的变量，也可以用变长数组语法写形参，只需要把列长参数放在数组指针形参之前即可：

// 注意长度参数要写在数组指针对应长度的前面
void function_1(int row_num, int col_num, struct example (*ex)[col_num]) {
    for (int i = 0; i < row_num; i++) {
        for (int j = 0; j < col_num; j++) {
            // 同样支持ex[i][j]直接访问
        }
    }
}

int main() {
    int num_1 = 3, num_2 = 6; // 运行时赋值的长度也支持
    struct example ex[num_1][num_2];
    function_1(num_1, num_2, ex);
    return 0;
}

• 方法3：构造二级指针对应的内存结构传参
  如果你必须保留形参为struct example**的写法，不能修改函数签名，就额外构造一个存储每一行首地址的指针数组，传这个指针数组的首地址即可：

void function_1(struct example** ex, int row_num, int col_num) {
    // 支持ex[i][j]访问
}

int main() {
    struct example ex[num_1][num_2];
    // 额外创建行指针数组
    struct example* row_ptr[num_1];
    for (int i = 0; i < num_1; i++) {
        row_ptr[i] = ex[i];
    }
    function_1(row_ptr, num_1, num_2);
    return 0;
}

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