分号上的函数参数

Question

matrix_* matrix_insert_values(int n; double a[][n], int m, int n)
{
    matrix_* x = matrix_new(m, n);
    for (int i = 0; i < m; i++)
        for (int j = 0; j < n; j++)
            x->v[i][j] = a[i][j];
    return x;
}

我的测试矩阵的例子

double in[][3] = {
    { 12, -51,   4},
    {  6, 167, -68},
    { -4,  24, -41},
    { -1, 1, 0},
    { 2, 0, 3},
};

我有点迷茫，我无法弄清楚int n;是什么int n; 在我的参数声明中，它适用于C，但C ++不允许这种实现。 我想了解这是如何工作的，因为我要将此代码迁移到C ++。

Answer 1

它是C99 GNU扩展（ GCC文档 ）中很少使用的功能 ，用于转发声明VLA声明符中使用的参数。

matrix_* matrix_insert_values(int n; double a[][n], int m, int n);

你看到int n出现两次了吗？ 第一个int n; 只是实际int n的前向声明，它在最后。 它必须出现在double a[][n]因为n用于声明a 。 如果你同意与清理参数，你可以只是把n前a ，然后你就不会需要这个功能

matrix_* matrix_insert_values_rearranged(int m, int n, double a[][n]);

关于C ++兼容性的注意事项

需要明确的是，GNU扩展只是函数参数的前向声明 。 以下原型是标准C：

// standard C, but invalid C++
matrix_* matrix_insert_values_2(int m, int n, double a[][n]);

您无法从C ++调用此函数，因为此代码使用C ++不支持的可变长度数组 。 您必须重写该函数才能从C ++中调用它。

Answer 2

如果这就是你总是从C调用它的方式（即在编译时固定n和m）那么在C ++中你可以这样做：

template <int N, int M>
void matrix_insert_values(const double (&a)[M][N]);

int main() {
  double in[5][3] = {
    { 12, -51,   4},
    {  6, 167, -68},
    { -4,  24, -41},
    { -1, 1, 0},
    { 2, 0, 3},
  };

  matrix_insert_values(in);
};

其中N和M作为模板参数，这些是在编译时从传递给函数的输入中自动推导出来的。