Khi nào một nhà xây dựng tư nhân không phải là một nhà xây dựng tư nhân?

Question

Giả sử tôi có một loại và tôi muốn đặt hàm tạo mặc định của nó là riêng tư. Tôi viết như sau:

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 
} 

Tuyệt vời.

Nhưng sau đó, các nhà xây dựng hóa ra không được riêng tư như tôi nghĩ rằng nó là:

class C { 
    C() = default; 
}; 

int main() { 
    C c{};   // OK on all compilers 
    auto c2 = C{}; // OK on all compilers 
}  

này đập vào mắt tôi là rất đáng ngạc nhiên, bất ngờ, và hành vi rõ ràng không mong muốn. Tại sao điều này OK?

Answer 1

Bí quyết là trong C++ 14 8.4.2/5 [dcl.fct.def.default]:

... Một chức năng là dùng cung cấp nếu nó là sử dụng tuyên bố và không được mặc định rõ ràng hoặc bị xóa trên lần khai báo đầu tiên. ...

Có nghĩa là constructor mặc định C 's thực sự là không dùng cung cấp, bởi vì nó đã được mặc định một cách rõ ràng về kê khai đầu tiên của mình. Như vậy, C không có nhà xây dựng người dùng cung cấp và do đó là một tổng hợp mỗi 8.5.1/1 [dcl.init.aggr]:

Một tổng là một mảng hoặc một lớp học (khoản 9) với không có nhà xây dựng do người dùng cung cấp (12.1), không có cá nhân hoặc thành viên dữ liệu không được bảo vệ (Điều 11), không có lớp cơ sở (Điều 10) và không có chức năng ảo (10.3).

Answer 2

Bạn không gọi hàm tạo mặc định, bạn đang sử dụng khởi tạo tổng hợp trên loại tổng hợp. loại tổng hợp được phép có một constructor defaulted, miễn là nó mặc định mà nó đầu tiên tuyên bố:

Từ [dcl.init.aggr]/1:

Một tổng hợp là một mảng hoặc một lớp học (khoản [lớp]) với

• không constructors dùng cung cấp ([class.ctor]) (bao gồm cả những người thừa hưởng ([namespace.udecl]) từ một lớp cơ sở),
• không tư nhân hoặc bảo vệ không tĩnh thành viên dữ liệu (khoản [lớp. truy cập]),
• không có chức năng ảo ([class.virtual]) và
• không có lớp cơ sở ảo, riêng tư hoặc được bảo vệ ([class.mi]).

và từ [dcl.fct.def.default]/5

chức năng Rõ ràng-defaulted và chức năng ngầm-tuyên bố được gọi chung là các chức năng defaulted, và việc thực hiện quy định nghĩa tiềm ẩn đối với họ ([class.ctor] [lớp. dtor], [class.copy]), có nghĩa là định nghĩa chúng là đã bị xóa. Một chức năng được người dùng cung cấp nếu nó được người dùng khai báo và không được mặc định rõ ràng hoặc bị xóa trên khai báo đầu tiên của nó. Một hàm do người dùng cung cấp mặc định rõ ràng (tức là, được mặc định rõ ràng sau lần khai báo đầu tiên) được xác định tại thời điểm nó được mặc định rõ ràng; nếu một hàm như vậy được định nghĩa ngầm định là đã bị xóa, thì chương trình đó không đúng định dạng. [Lưu ý: Khai báo một hàm như mặc định sau khi khai báo đầu tiên của nó có thể cung cấp hiệu quả thực hiện và định nghĩa ngắn gọn trong khi cho phép một giao diện nhị phân ổn định cho một cơ sở mã phát triển. - cuối note]

Do đó, yêu cầu của chúng tôi cho một tổng hợp bao gồm:

• không có thành viên ngoài công lập
• không có chức năng ảo
• không lớp cơ sở ảo hay ngoài công lập
• không có nhà cung cấp do người dùng cung cấp kế thừa hoặc cách khác, chỉ cho phép các nhà thầu là:
  • được khai báo hoàn toàn hoặc
  • tuyên bố rõ ràng và được xác định là mặc định cùng một lúc.

C đáp ứng tất cả các yêu cầu này.

Đương nhiên, bạn có thể loại bỏ các hành vi xây dựng mặc định sai lầm này bằng cách đơn giản cung cấp một constructor mặc định rỗng, hoặc bằng cách định nghĩa constructor mặc định sau khi tuyên bố nó:

class C { 
    C(){} 
}; 
// --or-- 
class C { 
    C(); 
}; 
inline C::C() = default;