預設建構函式的私有影子
當宣告一個型別並打算使其預設建構函式私有時,使用 default關鍵字可能無法實現期望的結果,如以下程式碼片段所示:
class C { C() = default; }; int main() { C c; // error: C::C() is private within this context (g++) // error: calling a private constructor of class 'C' (clang++) // error C2248: 'C::C' cannot access private member declared in class 'C' (MSVC) auto c2 = C(); // error: as above }
令人驚訝的是,儘管明確將建構函式設為私有,但此程式碼仍會產生錯誤。但是,以下程式碼可以成功編譯:
class C { C() = default; }; int main() { C c{}; // OK on all compilers auto c2 = C{}; // OK on all compilers }
為什麼建構函式在與大括號一起使用時表現不同?
C 14 預設建構子預設性
關鍵在於C 14 標準(8.4.2/5 [dcl.fct.def.default]),標準將“用戶提供的”函數定義為“用戶聲明的且未明確預設或刪除的函數”在其第一次聲明中。 」這意味著我們範例中的預設建構函式不被視為使用者提供的,因為它是明確預設的。
聚合建構函式照明
因此,類別C 具有沒有使用者提供的建構子。 [dcl.init.aggr],它被分類為聚合,其中指出聚合是「沒有使用者提供的建構子、沒有私有或受保護的非靜態的陣列或類別」資料成員,沒有基底類,也沒有虛函數。私有構造函數。此規則旨在簡化通常包含多個成員的聚合(例如陣列和結構體)的初始化。
因此,類別 C 的建構子雖然標記為私有,但仍然可以在大括號內使用,因為類別本身被認為是一個聚合。
以上是為什麼 C 中的私有預設建構函數在與大括號一起使用時可以工作,但與括號一起使用時會失敗?的詳細內容。更多資訊請關注PHP中文網其他相關文章!