Warum wird der Standardkonstruktor einer virtuellen Basisklasse aufgerufen, wenn ein abgeleitetes Klassenobjekt instanziiert wird?

Standardkonstruktoraufruf in der virtuellen Vererbung

Virtuelle Vererbung, ein C-Vererbungsmechanismus, zielt darauf ab, das Problem der Diamantvererbung oder der wiederholten Vererbung zu lösen. In diesem Zusammenhang stellt sich die Frage: Warum wird der Standardkonstruktor der virtuellen Basisklasse aufgerufen, wenn ein abgeleitetes Klassenobjekt instanziiert wird?

Dieses Verhalten ergibt sich aus dem Design der virtuellen Vererbung. Im Gegensatz zur herkömmlichen Vererbung, bei der der Konstruktor der Basisklasse vom Konstruktor der abgeleiteten Klasse über die Initialisierungsliste aufgerufen wird, ruft bei der virtuellen Vererbung der Konstruktor der am stärksten abgeleiteten Klasse direkt den Konstruktor der virtuellen Basisklasse auf.

In der Beispiel bereitgestellt:

class grandmother {
public:
    grandmother() {
        std::cout << "grandmother (default)" << std::endl;
    }
    grandmother(int attr) {
        std::cout << "grandmother: " << attr << std::endl;
    }
};

class mother: virtual public grandmother {
public:
    mother(int attr) : grandmother(attr) {
        std::cout << "mother: " << attr << std::endl;
    }
};

class daughter: virtual public mother {
public:
    daughter(int attr) : mother(attr) {
        std::cout << "daughter: " << attr << std::endl;
    }
};

Beim Instanziieren eines Objekts vom Typ Tochter ruft der Tochterkonstruktor direkt den Großmutterkonstruktor auf. Da jedoch in der Initialisierungsliste des Tochterkonstruktors kein spezifischer Konstruktor aufgerufen wird, wird standardmäßig der Standardkonstruktor von Grandma aufgerufen.

Um den gewünschten Konstruktor explizit aufzurufen, muss die Initialisierungsliste des Tochterkonstruktors geändert werden zu:

daughter(int attr) : grandmother(attr), mother(attr) { ... }

Auf diese Weise wird der richtige Konstruktor von Grandma aufgerufen und die Ausgabe enthält Folgendes line:

grandmother: 0

Das Verständnis dieses Verhaltens ist bei der Arbeit mit virtueller Vererbung von entscheidender Bedeutung, da es eine ordnungsgemäße Initialisierung und Objektkonstruktion gewährleistet.

Das obige ist der detaillierte Inhalt vonWarum wird der Standardkonstruktor einer virtuellen Basisklasse aufgerufen, wenn ein abgeleitetes Klassenobjekt instanziiert wird?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!