在 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 [=38] 的数组=] double*.

数组

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

在 fors 中声明变量的 IIRC 是无效的 C89，但您可以将它们移到范围的顶部。

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

在 C89 中重写多维 VLA

Rewriting multi-dimensional VLAs in C89

c

malloc

pointers

c99

c89