枚举值作为数组大小编译报错，求常量表达式及VLA相关解惑

这个问题的核心在于C语言对静态数组大小的严格要求，以及对「常量值」和「常量表达式」的概念区分，我们一步步拆解清楚：

第一段代码能编译的原因 #

枚举常量NUM_IDS属于整数常量表达式——在编译阶段，编译器就能确定它的具体值（这里是2，因为X=0、Y=1，NUM_IDS自动继承前一个枚举值+1）。而C标准（包括C90）规定，静态存储期的数组（用static修饰），其大小必须是编译期可确定的整数常量表达式，所以第一段代码完全符合要求，编译自然通过。

第二段代码编译失败的原因 #

虽然nr_names被赋值为NUM_IDS，但它本质是一个自动局部变量，而非常量表达式。静态对象是在程序启动前就完成内存分配的，编译器必须在编译时就知道它的精确大小；而变量的值要到程序运行时才能确定（哪怕你觉得它的值是固定的，编译器也不会将其视为编译期常量）。因此，用nr_names作为静态数组的大小，违反了C标准对静态数组的要求，编译器会抛出「storage size of 'names' isn't constant」的错误。

关于变长数组（VLA）的疑问 #

你的猜测没错：如果去掉static修饰，names[nr_names]在C99及以后的标准里会被当作变长数组（VLA）。但VLA有一个关键限制：它只能是自动存储期的（也就是局部非静态变量）。C标准明确禁止静态存储期的VLA，所以哪怕是C99，这段带static的代码也会编译失败；而在根本没有VLA概念的C90里，这段代码连基础语法都不符合，必然报错。

关键结论 #

• 枚举常量是编译期常量，属于整数常量表达式，可用于定义静态数组的大小。
• 普通变量哪怕被赋值为常量值，也不属于常量表达式，不能用来定义静态数组的大小。
• VLA仅支持自动存储期，静态VLA在任何C标准中都是非法的。

内容的提问来源于stack exchange，提问作者Raman