如何在不在 C 中分配额外内存的情况下将数组转换为二维矩阵？

Question

这是这个问题的后续问题：C - Convert array of elements into 2-d matrix

要进行转换，我得到的方法是：

int (* M)[b] = (int (*) [b])array

M[a][b] 和 array[a * b] 的位置。

问题是我发现当我以这种方式进行转换时，实际上在堆栈上分配了一个大小为b 的数组，对于一个大的b 来说有点昂贵。所以我想知道是否有任何方法可以在没有这种分配的情况下进行转换。

示例（更新）：

/* conversion.c */

int main(void) {
    int flag, array[30], b = 3;

    if (flag)
        goto done;

    int (* M)[b] = (int (*)[b]) array;

done:
    return 0;
}

用 gcc-9 编译：

conversion.c: In function 'main':
conversion.c:5:3: error: jump into scope of identifier with variably modified type
    5 |   goto done;
      |   ^~~~
conversion.c:9:1: note: label 'done' defined here
    9 | done:
      | ^~~~
conversion.c:7:9: note: 'M' declared here
    7 |  int (* M)[b] = (int (*)[b]) array;
      |         ^
conversion.c:5:3: error: jump into scope of identifier with variably modified type
    5 |   goto done;
      |   ^~~~
conversion.c:9:1: note: label 'done' defined here
    9 | done:
      | ^~~~
conversion.c:7:9: note: '({anonymous})' declared here
    7 |  int (* M)[b] = (int (*)[b]) array;
      |         ^

更新： error: jump into scope of identifier with variably 表示 goto 语句正在尝试跳过（编译时）堆栈上未知大小的内存，这意味着由于上述转换，堆栈上分配了内存。

Answer 1

实际上有一个大小为 b 的数组在堆栈上分配

没有这样的事情发生。您正在尝试声明指向数组的指针，而不是数组。

标准的 goto 部分的第一段禁止您尝试做的事情。

6.8.6.1 [goto 语句]/1 goto 语句不应从具有可变修改类型的标识符范围之外跳转到该标识符范围内。

由相关标识符表示的对象占用的内存量是变量还是常量都没有关系。它的类型从 VLA 类型派生就足够了，例如，如果它是指向一个的指针。

您不需要 goto 或其他任何东西。

int main(void) {
    int flag = 0, array[30], b = 3;

    if (!flag) {
        int (*M)[b] = (int (*)[b]) array;
        // note that dereferencing M here is undefined behaviour
        (void)M;
    }
    return 0;
}

Live demo