Trình tự gọi constructor trong thừa kế ảo

Question

class A { 
     int i; 
public: 
     A() {cout<<"in A's def const\n";}; 
     A(int k) {cout<<"In A const\n"; i = k; } 
     }; 

class B : virtual public A { 
public: 
     B(){cout<<"in B's def const\n";}; 
     B(int i) : A(i) {cout<<"in B const\n";} 
     }; 

class C : public B { 
public: 
     C() {cout<<"in C def cstr\n";} 
     C(int i) : B(i) {cout<<"in C const\n";} 
     }; 

int main() 
{ 
     C c(2); 
     return 0; 
} 

Sản lượng trong trường hợp này là

in A's def const 
in B const 
in C const 

Tại sao điều này không đi vào in A const

'Nó nên làm theo thứ tự của 1 arg gọi constructor. Nhưng những gì thực sự đang xảy ra trên bắt nguồn B từ A bằng cách sử dụng từ khóa ảo.

Có vài câu hỏi nữa

Thậm chí nếu tôi loại bỏ các từ khóa ảo trong chương trình ở trên và loại bỏ tất cả các nhà xây dựng mặc định nó mang lại cho lỗi. Vì vậy, tại sao nó cần các nhà xây dựng def

Answer 1

Các nhà xây dựng cho các lớp cơ sở ảo luôn được gọi từ lớp dẫn xuất nhất, sử dụng bất kỳ đối số nào nó có thể vượt qua. Trong trường hợp của bạn, lớp được sinh ra nhiều nhất không chỉ định khởi tạo cho A, do đó hàm tạo mặc định được sử dụng.

Answer 2

Là JamesKanze has explained, trong trường hợp thừa kế virtual đó là lớp được thừa hưởng nhất gọi là hàm tạo lớp cơ sở ảo. Vì vậy, nếu bạn muốn hàm tạo của A lấy số nguyên được gọi, bạn cần thêm số đó vào danh sách khởi tạo C.

C(int i) : A(i), B(i) {cout<<"in C const\n";} 

Đối với phần thứ hai của câu hỏi của bạn, nhà thầu mặc định không bắt buộc, nhưng sau đó các lớp được thừa kế phải gọi các nhà xây dựng không phải mặc định một cách rõ ràng, kể từ khi biên dịch không thể làm điều đó cho bạn trong sự vắng mặt của một constructor không mặc định.

#include <iostream> 
using namespace std; 

class A { 
    int i; 
public: 
    // A() {cout<<"in A's def const\n";}; 
    A(int k) {cout<<"In A const\n"; i = k; } 
}; 

class B : virtual public A { 
public: 
    // B(){cout<<"in B's def const\n";}; 
    B(int i) : A(i) {cout<<"in B const\n";} 
}; 

class C : public B { 
public: 
    C() : A(42), B(42) {cout<<"in C def cstr\n";} 
    C(int i) : A(i), B(i) {cout<<"in C const\n";} 
}; 

int main() 
{ 
    C c(2), c2; 
    return 0; 
} 

này in ra

In A const 
in B const 
in C const 
In A const 
in B const 
in C def cstr 

Answer 3

Có hai câu hỏi ở đây.

Tại sao điều này không tham gia vào A const?

Vì bạn đang sử dụng thừa kế ảo.

Khi bạn sử dụng thừa kế ảo, Initialization list of most-derived-class's ctor directly invokes the virtual base class's ctor.. Trong trường hợp này, điều đó có nghĩa là hàm tạo của C gọi hàm tạo của A trực tiếp trực tiếp. Vì bạn chưa chỉ định hàm tạo nào của A để gọi trong danh sách khởi tạo C, hàm tạo mặc định được gọi.

này được cố định bằng cách thay đổi thực hiện của bạn của C::C(int) tới:

C(int i) : A(i), B(i) {cout<<"in C const\n";} 

Nếu tôi loại bỏ các từ khóa ảo trong chương trình ở trên và loại bỏ tất cả các nhà xây dựng mặc định nó mang lại cho lỗi. Vì vậy, tại sao nó cần def defector ?

Vì B cũng không chỉ định hàm nào là A để gọi, do đó hàm tạo mặc định được sử dụng.Nếu bạn xóa A s def ctor, B không thể được biên dịch.