当你初始化一个可变大小的数组时，只要变量是 const，GCC 就不会出错，但如果不是，它就不会编译。
这背后的原因是什么？这样做有什么问题：
int size = 7;
int test[size] = {3, 4, 5};
这根本不会编译，但如果我不初始化 test[] 那么它会编译！这对我来说没有任何意义，因为据我所知，无论如何都需要根据它的大小（7 个整数）制作一个堆栈帧来适应这个数组（这意味着我使用的整数文字并不真正有任何意义，如果我没记错的话），那么如果我初始化它有什么区别呢？
我的另一个疯狂的 C++ 设计问题...
谢谢！
【问题讨论】：
标签： c++ arrays initialization
int arr[5];) 用常量表达式初始化的常量整数变量是常量表达式。 (const int j = 4; const int i = j; int a[i];)
用非常量表达式初始化的常量变量不是常量表达式
int x = 4; // x isn't constant expression because it is not const
const int y = x; //therefore y is not either
int arr[y]; //error)
【讨论】：
-pedantic。没有它，gcc 不会也不会尝试成为符合标准的 C++ 实现。你不能仅仅因为 gcc 接受某些东西就得出结论，它一定是语法正确的 C++。
-pedantic-errors。这不仅仅是 GCC 的设计选择，它取自 C99。
这实际上更像是一个疯狂的 C99 设计问题，因为可变长度数组是 C99 的一项功能，gcc 允许在 C++ 中作为扩展。
在 C99 中，6.7.8/3 说“要初始化的实体的类型......不是可变长度数组类型”，因此 gcc 刚刚使用了与 C99 要求的相同的扩展规则。
C99 基本原理文档没有说明 VLA 无法初始化的原因。我可以推测这可能是因为初始化程序中存在过多元素的风险，如果为 size 提供的值结果小于初始化程序。但我不知道。
【讨论】：
int size = 27; int arr[size]; 而不是 int arr[27];。它们专为您编写 void somefunction(int size) { int arr[size]; ... }。
如果您使用const int size = 7;，某些编译器允许这样做。从理论上讲，编译器可以确定它的大小是恒定的，但它没有这样做。
【讨论】：
来自http://gcc.gnu.org/onlinedocs/gcc/Variable-Length.html "ISO C99 允许可变长度自动数组，作为扩展，GCC 在 C90 模式和 C++ 中接受它们。"
您的程序在 c++ 中根本无效，gcc 将其编译为“扩展”。你可能不得不问 gcc 的作者为什么他们决定以这种方式实现。
【讨论】：
代码在标准 C++ 中无效。
根据C++标准的(8.3.4.1)，数组大小必须是一个常量表达式
C++ 中不允许使用可变长度数组，因为 C++ 为此提供了 std::vector。
可变长度数组是C++从基于c98的C标准分支出来后在C99中引入的一个特性。 C++ 已经有 std::vector 提供可变长度数组的功能，因此 C++ 标准从不允许可变长度数组作为标准的一部分。
如果您的编译器支持它，它是通过编译器扩展来实现的。使用 -pedantic 选项编译，它会通知你相同的警告，说它被 ISO C++ 禁止
【讨论】：
std::vector 是其中的一部分）甚至不是原始 C++ 标准的一部分。
我不确定 gcc 设计者在实现此扩展时的意图，但 gcc 扩展如此工作的一个可能原因是：
int is1[2] = {1}
在没有警告的情况下编译，合理地假设用户想要 {1,0}
int is2[1] = {1,2};
编译时出现警告，编译器应该怎么做？
int i;
cin >> i;
int is3[i] = {1,2}
啊哈，警告还是不警告？
【讨论】：