如何设计C函数接口以传递行固定列可变的二维数组？

嘿，这个场景我太熟悉了——固定行数但列数由用户决定的二维数组传递，其实有几种很实用的方案，根据你的编译器环境选就行：

方法一：可变长度数组（VLA）——最直观的选择 #

C99标准引入了可变长度数组（VLA），完美适配你的需求。只要你的编译器支持C99或更高版本（像GCC、Clang，还有最新版的MSVC都支持），直接这么写就行：

#define ROWS (65)

// 注意columns参数要写在array前面，编译器得先知道列数才能确定数组布局
void init(int columns, float array[ROWS][columns]) {
    // 举个初始化例子：把所有元素设为0.0
    for (int i = 0; i < ROWS; ++i) {
        for (int j = 0; j < columns; ++j) {
            array[i][j] = 0.0f;
        }
    }
}

int main() {
    float array1[ROWS][30];
    float array2[ROWS][50];
    
    init(30, array1);
    init(50, array2);
    
    return 0;
}

这种方法的好处是保留了二维数组的类型安全性，编译器会帮你检查传递的数组是否符合固定行数的要求，代码可读性也最高，完全符合你原本的写法习惯。

方法二：用一维指针模拟——兼容旧C标准 #

如果必须兼容C89（不支持VLA的老编译器），可以把二维数组当作一维数组来处理，手动计算元素的偏移位置：

#define ROWS (65)

void init(int columns, float *array) {
    for (int i = 0; i < ROWS; ++i) {
        for (int j = 0; j < columns; ++j) {
            // 计算第i行第j列的内存偏移：i*columns + j
            array[i * columns + j] = 0.0f;
        }
    }
}

int main() {
    float array1[ROWS][30];
    float array2[ROWS][50];
    
    // 传递数组的首元素地址，或者强制转换为float*
    init(30, &array1[0][0]);
    init(50, (float*)array2);
    
    return 0;
}

这种写法兼容所有C标准，但缺点是失去了类型安全——如果不小心传递了行数不对的数组，编译器不会报错，得自己注意参数匹配。

方法三：typedef结合VLA（可选写法） #

如果你觉得参数里的数组写法有点啰嗦，可以用typedef配合VLA，但要注意VLA的typedef只能在块作用域（比如函数内部）定义，因为它依赖运行时的变量值：

#define ROWS (65)

void init(int columns, float array[ROWS][columns]) {
    // 初始化逻辑同上
}

int main() {
    int cols1 = 30;
    // 定义一个对应列数的行类型
    typedef float RowType[cols1];
    RowType array1[ROWS]; // 等价于float array1[ROWS][30];
    init(cols1, array1);
    
    int cols2 = 50;
    typedef float RowType2[cols2];
    RowType2 array2[ROWS];
    init(cols2, array2);
    
    return 0;
}

这种写法只是语法糖，实用性不如前两种，不过如果你的代码里频繁用到同列数的数组，可以试试。

总的来说，优先选第一种VLA的方案，既安全又直观；如果要兼容老环境，再考虑第二种指针模拟的方法。

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