c++ - gcc 允许未初始化的 constexpr

Question

给定代码

int main()
{
    constexpr int n;
    return 0;
}

，g++，带有 -fpermissive，只发出警告，而 clang++，也带有 -fpermissive，出错，提示 const 类型对象的默认初始化'常量整数'。现在，我相信 clang++ 的行为是正确的。问题是我是否遗漏了什么，也许 g++ 不发出错误是可以接受的。版本:clang++ 7.0.1、g++ 8.3.1、Fedora 29、amd64。

Answer 1

该标准主要处理诊断，而不处理错误或警告。因此，所有符合要求的编译器都需要发出诊断信息，而这两个编译器都会这样做。

至于为什么 -fpermissive 在这种情况下只在 GCC 中产生警告，而在 Clang 中产生错误取决于这些编译器对 -fpermissive 采取的方法> 选项。

根据 GCC :

-fpermissive

Downgrade some diagnostics about nonconformant code from errors to warnings. Thus, using -fpermissive allows some nonconforming code to compile.

Clang 起初没有-fpermissive 选项。它是后来添加的。从我们网上的信息来看，Clang's approach这个选项是:

-fpermissive

Do not error on language extensions. Diagnostics for invalid code using known language extensions in the current language mode are downgraded to at most a warning.

所以在 Clang 中只有语言扩展被降级为警告状态。如果它不是语言扩展(如在给定的示例中)，则不会降级为警告，并将被诊断为错误。