c语言变量作为数组长度,为什么在C中不允许将数组的大小作为常量变量但在C中允许？...

在C const中,并不意味着“常量”(即,在编译时可评估).它只是意味着只读.

例如,在一个函数中,这个：

const int r = rand();

const time_t now = time(NULL);

完全有效.

定义为const int的对象的名称不是常量表达式.这意味着(在C​​99之前的C和C的所有版本中)它不能用于定义数组的长度.

尽管C99(以及可选的C11)支持可变长度数组(VLA),但它们无法初始化.原则上,编译器在定义VLA时不知道VLA的大小,因此无法检查初始化程序是否有效.在您的特定情况下,编译器很可能能够解决它,但语言规则旨在涵盖更一般的情况.

C几乎相同,但C有一个C缺乏的特殊规则：如果一个对象被定义为const,并且它的初始化是一个常量表达式,那么对象的名称本身就是一个常量表达式(至少对于整数类型) .

C没有采用这个功能的确没有充分的理由.在C中,如果你想要一个整数类型的名称常量,通常的方法是使用一个宏：

#define LEN 5

...

int arr[LEN] = {1, 2, 3, 4, 5};

请注意,如果更改LEN的值,则必须重新编写初始值设定项.

另一种方法是使用匿名枚举：

enum { LEN = 5 };

...

int arr[LEN] = {1, 2, 3, 4, 5};

枚举常量的名称实际上是常量表达式.在C中,由于历史原因,它始终是int类型;在C中它是枚举类型.不幸的是,这个技巧仅适用于int类型的常量,因此它仅限于INT_MIN到INT_MAX范围内的值.