默认的默认构造函数，为什么它不是用户提供的默认构造函数？

Question

例如， clang不编译此代码，因为，下面的struct A的默认默认构造struct A ， A() = default; 不被视为用户提供。

struct A{ A() = default; };
const A a;

但如果你看[dcl.fct.def.general] / 1，你会看到：

函数体：
ctor-initializer _opt 复合语句
功能试块
= default ;
= delete ;

也就是说， = default; 是默认构造函数A::A()的函数体 ，它与定义A() = default; 上面等价于A(){}因为{}是默认构造函数的主体。

顺便说一句， g++编译上面的代码片段，但我知道g++在这方面有其他问题，根据Jonathan Wakely的评论 。

Answer 1

因为标准是这样说的（ [dcl.fct.def.default] / 5 ）：

如果函数是用户声明的，并且在第一个声明中未明确默认或删除，则用户提供该函数。

这样做可以让你用= default;维护triviality属性= default; 。 否则，没有办法给另一个构造函数的类一个普通的默认构造函数。