C++ 14 Khởi tạo đồng bộ trên một không tổng hợp

Question

Tôi đang sử dụng Visual C++ 2013. Khi lớp là tổng hợp, nó được khởi tạo bằng không. Khi nó không phải là tổng hợp, nó dường như được khởi tạo mặc định và không xác định. Tại sao vậy?

#include <iostream> 

using namespace std; 

class Test_1 
{ 
public: 
    int i; 
    void f(){}; 
}; 

class Test_2 
{ 
public: 
    int i; 
    virtual void f(){}; 
}; 

int main() 
{ 
    Test_1 t1{}; 
    Test_2 t2{}; 

    cout<<t1.i<<endl; //0 
    cout<<t2.i<<endl; //-858993460 

    getchar(); 
} 

Answer 1

Nếu trình biên dịch của bạn đang làm việc này, nó bị hỏng.

[dcl.init.list]/p3 (tất cả dấu ngoặc kép là từ N4140):

List-khởi của một đối tượng hoặc tài liệu tham khảo của loại T được định nghĩa như sau:

• Nếu T là tổng hợp, việc khởi tạo tổng hợp được thực hiện (8.5.1).
• Nếu không, nếu danh sách bộ khởi tạo không có phần tử và T là loại lớp có hàm tạo mặc định, đối tượng là được khởi tạo giá trị.
• [...]

[dcl.init]/p8:

Để giá trị khởi tạo một đối tượng kiểu T có nghĩa là:

• nếu T là loại lớp (có thể cv đủ điều kiện) (Điều 9) không có hàm tạo mặc định (12.1) hoặc hàm tạo mặc định là do người dùng cung cấp hoặc xóa, sau đó đối tượng được khởi tạo mặc định;
• nếu T là một (có thể cv-đủ điều kiện) kiểu lớp mà không có một constructor mặc định người dùng cung cấp hoặc xóa, sau đó đối tượng là zero-khởi tạo và các khó khăn về ngữ nghĩa cho mặc định-khởi được kiểm tra, và nếu T có non-tầm thường mặc định hàm tạo, đối tượng được khởi tạo mặc định;
• nếu T là một loại mảng, thì mỗi phần tử được khởi tạo giá trị;
• nếu không, đối tượng không được khởi tạo.

Test_2 không phải là một tổng hợp, vì vậy t2 cần phải có được giá trị khởi tạo. Đổi lại, vì hàm tạo mặc định của Test_2 không do người dùng cung cấp, t2 được cho là không được khởi tạo đầu tiên (gây ra t2.i để được khởi tạo là 0), và sau đó hàm khởi tạo mặc định được chạy.