在 C 标准的哪些版本中，可变长度数组不是语言的一部分，是必需的还是可选的？

Question

让我们考虑以下代码：

#include <stdio.h>

int main(){
    int size,i;
    scanf("%d",&size);
    int x[size];

    for(i=0;i<size;i++){
        x[i] = i;
    }

    for(i=0;i<size;i++){
        printf("%d\n", x[i]);
    }

    return 0;
}

我认为有些版本我们不能使用变量来声明数组以定义其大小，例如：

int x[size];

但我不确定是哪个版本。 这在所谓的 ANSI C 中是允许的吗？

Answer 1

在 C89/C90 中，不能交错声明和语句，例如将 int x[size]; 声明（定义）放在 scanf() 之后 — 即使您将维度更改为编译时间常数。

在 C89/C90 中，不能使用可变长度数组 — 因此 int x[size]; 定义是不合法的，因为 size 不是编译时常量。

C99 编译器需要支持函数中（几乎）任意点的声明（它们仍然不能以标签开头）和可变长度数组 (VLA) 定义。

C11 编译器需要（几乎）支持函数中任何位置的变量定义。 C11 编译器可以选择支持 VLA（§6.10.8.3 Conditional feature macros 和 §6.7.6.2 Array declarators），如果它们不支持，则应定义 __STDC_NO_VLA__。

C18 在本讨论的所有方面都等同于 C11。

仅作记录：

• C89 是 ANSI X3.159-1989
• C90 是 ISO 9899-1990 — 其 ANSI 版本标有“ANSI X3.159-1989 的修订和重新指定”。主要区别在于语言和库的部分编号。
• C99 是 ISO/IEC 9899:1999
• C11 是 ISO/IEC 9899:2011
• C18 是 ISO/IEC 9899:2018

当然，X3.159-1989 唯一不寻常的地方在于它是在 ISO 标准出现之前由 ANSI 发布的。但是，ANSI 也采用了每个后续的 ISO 标准，其他国家标准机构也采用了，例如 BSI（英国标准协会）和 DIN（德国标准化协会或德国标准化协会）。

还有一个修正案 1（针对 ISO 9899:1990）于 1994 年完成并于 1995 年发布。该修正案添加了标题并引入了二合字母并进行了其他各种更改。几乎从不单独考虑，尤其是 25 年后的现在。

请注意，GCC 将-ansi 选项视为等同于-std=c90，这可能会导致术语混淆。 ANSI 最初在 ISO 发布前一年左右发布了“ANSI C 标准”，但其目的始终是制定一个通用标准，并且 ANSI 在发布时认可了 ISO 9899:1990 标准。

Answer 2

这种数组，称为变长数组是在C99中加入的。 查看这篇关于现代 C 编程的精彩文章：

https://matt.sh/howto-c

Answer 3

ANSI-C (C89) 不允许使用变量初始化数组。

例如：

  int x = 5;
  int ia[x];

上面的这个例子是非法的。 ANSI-C 将数组初始化大小限制为常数。但是，您可以使用宏来定义数组的长度。

例子：

    #define MAX_ARRAY_SIZE 5
    int ia[MAX_ARRAY_SIZE];