编译器生成的默认构造函数具有constexpr混淆行为

Question

样本1

template <typename T>
struct A
{

    constexpr A() = default;
    T x;
};

int main(){
    static_assert(A<int>{}.x == int{}, "FAILED");
}

样本2

struct A
{
    constexpr A() = default;
    int x;
};

int main(){
    static_assert(A{}.x == int{}, "Not Equal");
}

我对第一个示例如何编译和传递静态断言感到困惑，而第二个示例未能按照constexpr defaulted default constructor中提到的编译，错误为：默认构造函数的默认定义不是constexpr。

尝试阅读以下内容，但无法理解第一个是如何工作的，另一个是如何工作的。http://eel.is/c草案/类别。ctor#类。违约ctor-4

默认的构造函数是默认的，并且没有被定义为删除，当它被odr使用（[basic.def.odr]）来创建其类类型的对象（[intro.object]）时，当它需要常量求值（[expr.const]），或者当它在第一次声明后显式默认时。隐式定义的默认构造函数执行类的初始化集，该初始化集将由用户为该类编写的默认构造函数执行，该类没有ctor初始化器和空复合语句。如果用户编写的默认构造函数格式错误，则程序格式错误。如果用户编写的默认构造函数将满足Constexr构造函数（[dcl.constexpr]）的要求，则隐式定义的默认构造函数是Constexr。在隐式定义类的默认构造函数之前，隐式定义其基类及其非静态数据成员的所有非用户提供的默认构造函数。[注意：隐式声明的默认构造函数具有异常规范（[except.spec]）。显式默认定义可能具有隐式异常规范，请参见[dcl.fct.def]。

非常感谢。

Answer 1

以下几点可以说明这个问题：

int main(){
    constexpr A<int> a;
}

试图调用constexpr构造函数会产生此错误（gcc）：

<source>: In function 'int main()':
<source>:12:22: error: uninitialized 'const a' [-fpermissive]
   12 |     constexpr A<int> a;
      |                      ^
<source>:4:8: note: 'const struct A<int>' has no user-provided default constructor
    4 | struct A
      |        ^
<source>:7:15: note: constructor is not user-provided because it is explicitly defaulted in the class body
    7 |     constexpr A() = default;
      |               ^
<source>:8:7: note: and the implicitly-defined constructor does not initialize 'int A<int>::x'
    8 |     T x;
      |       ^

但是，如果我没有遗漏什么，那么constexpr构造函数应该已经是一个错误，因为它不能是constexpr（请参见此处）。

gcc和clang都接受您的代码，但都产生了一个错误，试图调用Constexpr构造函数。我想这是一个编译器错误。