可变长度数组的代码顺序

Question

在C99中，这两者有很大的不同吗？:

int main() {
    int n , m;
    scanf("%d %d", &n, &m);
    int X[n][m];

    X[n-1][m-1] = 5;
    printf("%d", X[n-1][m-1]);
}

和:

int main(int argc, char *argv[]) {
    int n , m;
    int X[n][m];
    scanf("%d %d", &n, &m);

    X[n-1][m-1] = 5;
    printf("%d", X[n-1][m-1]);
}

第一个似乎总是有效，而第二个似乎对大多数输入有效，但对输入 5 5 和 6 6 给出段错误并返回输入 9 9 的值不同于 5。因此，您是否需要确保在使用可变长度数组声明它们之前获取这些值，还是这里发生了其他事情？

Answer 1

当第二个成功时，纯属偶然。它曾经有效的事实证明，谢天谢地，编译器还不能make demons fly out of your nose .

声明一个变量并不一定会初始化它。在这种情况下，int n, m; 将 n 和 m 都保留为 undefined 值，并尝试访问这些值值是未定义的行为。如果内存中的原始二进制数据指向 happen 被解释为大于为 n 和 m 输入的值的值 --这是非常非常远不能保证的——那么你的代码就会工作；如果没有，它不会。你的编译器也可能造成了这个段错误，或者让它融化了你的 CPU；这是未定义的行为，所以任何事情都有可能发生。

例如，假设编译器专用于 n 的内存区域恰好包含数字 10589231，并且 m 得到14。如果您随后输入了 12 的 n 和 6 的 m，那么您就完美了——数组恰好足够大。另一方面，如果 n 得到 4 而 m 得到 2，那么你的代码将越过数组的末尾，你会得到未定义的行为——甚至可能不会中断，因为根据您的编译器/C 标准，您的程序和有效整数完全有可能可以访问数组末尾后存储在四字节段中的位。此外，n 和 m 有可能以负值结束，这会导致……奇怪的事情。可能吧。

当然，根据编译器、操作系统、一天中的时间和月相，这都是无稽之谈和推测，¹，您不能依赖任何碰巧被初始化的数字到正确的。

另一方面，对于第一个，您通过 scanf 分配值，因此(假设它没有错误)(并且输入的数字不是负数)(或零)你将拥有有效的索引，因为数组保证足够大，因为变量已正确初始化。

---

需要说明的是，即使变量在某些情况下需要进行零初始化，也不意味着您应该依赖该行为。你应该总是显式地给变量一个默认值，或者在声明后尽快初始化它们(在使用类似 scanf 的情况下)。这使您的代码更清晰，并防止人们怀疑您是否依赖此类 UB。

---

^{1:来源:Ryan Bemrose , 在聊天中}