GCC中非变长数组支持浮点常量表达式是否有文档说明？

给你把这个规则拆解得明明白白，帮你避开编译坑：

标准C的硬性规定 #

根据C标准条款6.7.6.2的要求，非变长数组（non-variable length array）的大小必须用整数常量表达式指定。这里的核心是「编译期可确定」——表达式的值得在编译阶段就能算出，不能依赖运行时变量或者需要动态计算的内容。

浮点表达式的限制 #

哪怕你把浮点表达式强制转换成整数类型，标准C也不允许用它来声明非变长数组的大小。比如(int)(11.0/2)这种写法就不符合规则：它需要先执行浮点除法运算，属于编译期无法直接确定结果的表达式，哪怕最终结果是整数也不行。

唯一的例外场景 #

只有一种特殊情况是被允许的：直接将浮点常量强制转换为整数。比如(int)5.5这种写法，因为5.5是编译期就已知的浮点常量，强制转换后的结果（这里是5）在编译阶段就能确定，符合整数常量表达式的要求，所以可以用来声明非变长数组。

GCC的非标准扩展 #

不过GCC对这个规则做了宽松处理，支持用这类浮点转换表达式指定数组大小。如果你在GCC里写了类似int arr[(int)(11.0/2)];的代码，它只会弹出一条容易让人迷惑的警告，但生成的代码会按你的预期运行——也就是把表达式计算后的整数值作为数组大小。但要注意，这是GCC独有的非标准扩展，换用其他编译器（比如Clang、MSVC）可能直接报错，或者行为不符合预期，跨平台代码千万别这么写。

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