下面的代码 sn-p 在 C 中工作和编译
const int n=10;
int main(void)
{
int a[n];
return 0;
}
但是，当数组在全局范围内声明时，会引发编译错误。
const int n=10;
int a[n];
int main(void)
{
return 0;
}
有人可以解释为什么它不会在 main 中抛出错误。
【问题讨论】：
尽管 n 被标记为 const，但它不是编译时间常量1。因此数组a 是一个可变长度数组2。
VLA 不能具有静态存储持续时间。将其放在文件范围内使其成为静态变量，因此您的程序格式错误3。
整数常量表达式117) 应具有整数类型，并且只能具有整数常量、枚举常量、字符常量、结果为整数常量的 sizeof 表达式、_Alignof 表达式和作为直接操作数的浮点常量的操作数的转换。整数常量表达式中的转换运算符只能将算术类型转换为整数类型，除非作为 sizeof 或 _Alignof 运算符的操作数的一部分。
如果大小不存在，则数组类型是不完整类型。如果大小是 * 而不是表达式，则数组类型是未指定大小的可变长度数组类型，它只能用于具有函数原型范围的声明或类型名称；143) 这样的数组仍然是完整类型。 如果大小是整数常量表达式且元素类型具有已知的常量大小，则数组类型不是变长数组类型；否则，数组类型为变长数组类型。
如果一个标识符被声明为具有可变修改类型，它应该是一个普通标识符（如 6.2.3 中定义的），没有链接，并且具有块范围或函数原型范围。 如果标识符被声明为具有静态或线程存储持续时间的对象，则它不应具有可变长度数组类型。
【讨论】：
int (*array)[foo] = malloc(sizeof(*array));。该限制是处理在 C 中没有定义全局/线程存储声明语句的执行顺序这一事实的显式限制。因此，对于全局变量，没有“此变量在此 VLA 声明语句中具有该值”的概念。