Order of Konstruktoraufruf in virtuelle Vererbung

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; 
} 

Der Ausgang ist in diesem Fall

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

Warum dies nicht in der Eingabe in A const

`Es sollte die Reihenfolge von 1 arg Konstruktoraufruf folgen. Aber was passiert tatsächlich bei der Ableitung von B aus A mit virtuellen Schlüsselwort.

Es gibt einige Frage

Auch wenn ich das Schlüsselwort virtual in oben Programm entfernen und entfernen Sie alle Standardkonstruktors es Fehler gibt. Also, warum es den Def-Konstruktor benötigt

Answer 1

Die Konstruktoren für virtuelle Basisklassen werden immer von der am weitesten abgeleiteten Klasse mit allen Argumenten aufgerufen, die sie übergeben könnte. In Ihrem Fall spezifiziert die abgeleitete Klasse keinen Initialisierer für A, so wird der Standardkonstruktor verwendet.

Answer 2

Als JamesKanze has explained, im Falle von virtual Vererbung ist es die am weitesten abgeleitete Klasse, die den Konstruktor der virtuellen Basisklasse aufruft. Wenn Sie also den Konstruktor A haben möchten, der den Aufruf einer Ganzzahl erfordert, müssen Sie diese zur Initialisierungsliste C hinzufügen.

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

Für den zweiten Teil Ihrer Frage, werden Standardkonstruktoren nicht erforderlich, aber dann explizit die abgeleitete Klasse muss die Nicht-Standard-Konstruktor aufrufen, da der Compiler für Sie, dies zu tun in Abwesenheit eines nicht in der Lage ist Nicht-Standardkonstruktor.

#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; 
} 

Dieser druckt

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

Answer 3

hier draußen Es gibt zwei Fragen.

Warum tritt dies nicht in A const ein?

Da Sie virtuelle Vererbung verwenden.

Wenn Sie virtuelle Vererbung verwenden, die Initialization list of most-derived-class's ctor directly invokes the virtual base class's ctor.. In diesem Fall bedeutet dies, dass der Konstruktor C den Konstruktor Adirekt aufruft. Da Sie nicht angegeben haben, welcher A-Konstruktor in der Initialisierungsliste C aufgerufen werden soll, wird der Standardkonstruktor aufgerufen.

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

Wenn ich das Schlüsselwort virtual in oben Programm zu entfernen und entfernen Sie alle Standardkonstruktors es Fehler gibt:

wird durch die Änderung der Implementierung von C::C(int) an diesem fixiert. Warum braucht es also den Konstruktor def ?

Da B spezifiziert auch nicht, welche A Ctor zu nennen, so dass der Standard-Konstruktor verwendet wird.Wenn Sie A s def ctor entfernen, kann B nicht kompiliert werden.