C语言 重写 C89 中的多维 VLA

Question

我正在为一个开源项目重写一堆C99 VLA，以便在Visual Studio中提供支持。所以我有很多陈述，比如

void somefunc(double var[r]){...}

我重写为

void somefunc(double *var) {
     var = malloc(sizeof(double) * r);
     ...
     free(var);
}

我认为这是正确的方法。
问题是我开始看到一些更复杂的VLA声明，这让我感到困惑。例如：

double *(*var)[length1][length2][length3] = malloc(sizeof(double *[length4][length1][length2][length3]));

所以对我来说，这基本上看起来像一个 5 维数组。这在 C89 中显然是非法的，因为在 sizeof() 函数中使用了变量。

我对如何重写它的猜测是：

double *****var = malloc(sizeof(double ****) * length1);
      for(int i = 0; i<length1; i++) {
            var[i] = malloc(sizeof(double ***) * length2);
            for(int j = 0; j<length2; j++) {
                 var[i][j] = malloc(sizeof(double **) * length3);
                      for(int k = 0; k<length3; k++) {
                           var[i][j][k] = malloc(sizeof(double *) * length4);
                      } 
            }
      }

尽管它很混乱，但这是我对如何重写上述陈述的最佳猜测。这在技术上是正确的吗，有没有更好的方法应该这样做？

Answer 1

这是我

的尝试：

double***** var = malloc(sizeof *var * length4);
for (int i = 0; i < length4; ++i)
{
    var[i] = malloc(sizeof *var[i] * length1);
    for (int j = 0; j < length1; ++j)
    {
        var[i][j] = malloc(sizeof *var[i][j] * length2);
        for (int k = 0; k < length2; ++k)
        {
            var[i][j][k] = malloc(sizeof *var[i][j][k] * length3);
            for (int l = 0; l < length3; ++l)
            {
                var[i][j][k][l] = NULL;     
                // var[i][j][k][l] is a double* - you can allocate some room for a double here, or assign the address of an existing variable
            }
        }
    }
}

与您的类似，除了请注意我在第一malloc如何使用length4.如果您查看原始声明，var 是指向 double* 的三维数组的指针。正如我们可以从右侧的malloc调用中推断出的那样，分配了length4此类数组的内存，因此您可以将var视为length4的double*三维数组的数组。

我仍然坚持认为，任何将此类内容放入生产代码的人都应该当场枪毙（好吧，您作为维护者，是可以原谅的）。

IIRC 在 for s 中声明变量不是有效的 C89，但您可以将这些变量移到上面的范围顶部。

请注意，正如@immibis评论中指出的那样，您的第一次转化很可能是错误的; double *var是函数的参数，这意味着它是按值传递的，因此您在函数内部对它所做的任何更改在外部都不可见，最重要的是，您malloc一些内存，用它做一些事情，然后free它。即使您正在修改传递的指针（这需要double**参数类型），仍然不需要传递变量，因此您可以在本地独占地使用它。您很可能希望将内存malloc函数外部，并将有效的指针（希望是大小）传递给它。