Explicit constructor mặc định defaulted và tập hợp

Question

Làm thế nào để giải thích sự khác biệt, khi tôi biên dịch #if 0 và #if 1 phiên bản của đoạn mã sau:

#include <cstdlib> 

struct A 
{ 
    explicit A() = default; // explicitly defaulted or deleted constructors are allowed for aggregates (since C++11) 
#if 1 
private : 
#endif 
    int i; 
}; 

int 
main() 
{ 
    A a = {}; 
    return EXIT_SUCCESS; 
} 

• cho #if 0 tất cả là tốt, biên soạn thành công.
• cho #if 1 biên soạn thất bại với thông báo lỗi:

  error: chosen constructor is explicit in copy-initialization

sự khác biệt cho biểu A a = {}; tuỳ thuộc vào việc A là aggreagate hay không là gì?

Answer 1

TL; DR: Clang và GCC sai khi từ chối mã của bạn. Độ phân giải của CWG 1630 làm cho khởi tạo mặc định được định dạng tốt bất kể hàm tạo mặc định được chọn là explicit hay không.

---

Trong biến thể của mã của bạn trong đó i là private, A không phải là một tổng hợp, vì đây không thể có các thành viên tư nhân. Miễn là i là public, tuy nhiên, A là tổng hợp và không có hàm tạo nào được gọi kể từ khi khởi tạo tổng hợp (xem hộp màu xanh), vì vậy hàm tạo của bạn là explicit không liên quan.

Tuy nhiên, ngay sau khi bạn giới thiệu thành viên tư nhân, bạn đòi hỏi giá trị khởi tạo theo các hộp màu đỏ. Do đó [dcl.init]/(8.2) được áp dụng:

[dcl.init]/(7.1) định nghĩa mặc định-khởi cho trường hợp này:

Và §13.3 .1.3 cung cấp cho

For […] default-initialization, the candidate functions are all the constructors of the class of the object being initialized.

Không có điểm nào là bối cảnh gốc - sao chép hoặc khởi tạo trực tiếp - được xem xét. (§13.3.1.7 cũng không áp dụng.) Trên thực tế, điều này được dự định; thấy CWG #1518:

This issue is resolved by the resolution of issue 1630 : default initialization now uses 13.3.1.3 [over.match.ctor], which now permits explicit constructors for default-initialization.

Clang và GCC (và VC++) đã không được thực hiện các DR tương ứng được nêu ra và do đó không chính xác trong việc từ chối mã trong chế độ 14 C++.

---

¹⁾ lớp của bạn có một constructor do người dùng khai báo, nhưng nó không phải là do người sử dụng cung cấp , ví dụ: không cản trở lớp học của bạn từ trở thành một tổng thể. Nhớ lại định nghĩa trong [dcl.init.aggr]/1:

An aggregate is an array or a class (Clause 9) with no user-provided constructors (12.1), no private or protected non-static data members (Clause 11), no base classes (Clause 10), and no virtual functions (10.3).