关于C++核心常量表达式与数组索引的编译矛盾问题咨询

这个问题的核心是C++标准规则和GCC编译器扩展之间的差异，咱们一步步来解释：

1. 标准中的核心常量表达式示例 #

先看cppreference中Core constant expressions章节的示例代码：

int main() { 
    const std::size_t tabsize = 50; 
    int tab[tabsize]; // OK: tabsize是常量表达式
    std::size_t n = 50; 
    const std::size_t sz = n; 
    int tab2[sz]; // 标准中报错：sz不是常量表达式
                  // 原因是sz的初始化值不是常量表达式
}

根据C++14标准，sz是用运行期变量n初始化的，因此它不属于核心常量表达式，所以int tab2[sz]这种写法是违反标准的，理论上应该被编译器报错。

2. GCC 4.2的实际编译行为 #

当使用编译选项g++ -ggdb -pedantic -std=c++14 -Wall编译这段代码时，编译器并未报错，仅输出警告：

warning: variable length arrays are a C99 feature [-Wvla-extension]
 int tab2[sz]; // error: sz is not a constant expression
 ^

3. 为什么会出现这种“看似矛盾”的情况？ #

这其实是GCC的语言扩展特性导致的：

• C标准（包括C14）并未定义变长数组（VLA），要求数组大小必须是编译期常量表达式
• GCC为了兼容C99语法，同时满足一些特殊场景的需求，在C++编译模式下也提供了VLA的支持，这属于非标准扩展
• -pedantic选项的作用是让GCC对违反标准的行为发出警告，但默认不会将其升级为错误；如果想要强制让这类非标准写法报错，可以使用-pedantic-errors选项，此时编译器就会严格遵循标准，拒绝编译这段代码

需要明确的是：GCC的警告并没有否定cppreference中关于核心常量表达式的规则——sz确实不符合常量表达式的要求，只是GCC通过扩展允许了这种不符合标准的写法，同时通过警告提醒你这是一个非标准特性。

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