默認的默認構造函數，為什么它不是用戶提供的默認構造函數？

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; 。 否則，沒有辦法給另一個構造函數的類一個普通的默認構造函數。