Sind mehrere geerbte Konstruktoren mehrfach aufgerufen?

Sind mehrere geerbte Konstruktoren mehrfach aufgerufen? Und in welcher Reihenfolge werden die Konstruktoren aufgerufen? Dies tut hängt von der Reihenfolge, in der vererbungsliste?

Hier ist ein Beispiel (es ist nur, dass die situation klar, keine real-life-Beispiel).

class Base {};
class DerivedBaseOne : public Base {};
class DerivedBaseTwo : public Base {};
class Derived : public DerivedBaseTwo, public DerivedBaseOne 
{};

//somewhere in the code, is Base() called two times here?
Derived * foo = new Derived();

Ist die Base() Konstruktor zweimal aufgerufen? Und in welcher Reihenfolge werden die Konstruktoren aufgerufen? Basis ersten? Oder DerivedBaseOne() oder DerivedBaseTwo() ersten?

InformationsquelleAutor blubberbernd | 2011-09-13
  1. 14

    Die Art und Weise Sie es schreiben, Derived hat zwei verschiedene Unterobjekte vom Typ Base, und jeder bekommt seinen eigenen Konstruktor aufgerufen, aus dem jeweiligen DerivedBaseXXX Konstruktor des Unterobjekt. Die Reihenfolge der Aufrufe folgt der Reihenfolge der Deklaration.

    Durch den Kontrast, der Sie erklären DerivedBaseXXX : virtual public Base, dann gibt es nur eine Base Unterobjekt, und der Konstruktor wird aufgerufen, aus dem die meisten abgeleiteten Objekt, d.h. von der Derived Objekt.

    (Zur Erklärung ein bisschen genauer: Eine (möglicherweise einzeln-Erben) Klasse konstruiert, indem man zuerst 1) Aufruf der Basisklasse s Konstruktor, dann 2) Aufruf der Konstruktoren aller member-Objekte in der Reihenfolge der Deklaration, und schließlich 3) die Ausführung des Konstruktor-Funktion Körper. Dies gilt rekursiv, und für Mehrfachvererbung, die Sie gerade ersetzen (1) durch den Aufruf alle der Basisklasse Konstruktoren in der Reihenfolge, in der die erbschaft deklariert wurde. Nur virtuelle Vererbung fügt einen echten zusätzlichen Komplikation hier.)

    InformationsquelleAutor Kerrek SB
  2. 19

    Die Reihenfolge der Konstruktor-Aufrufe für Ihre Vererbungshierarchie werden:

    Base()  
DerivedBaseTwo()  
Base()
DerivedBaseOne()  
Derived()

    Die Reihenfolge ist in der Tat gut definiert und hängt von der Reihenfolge, in der Sie erwähnen die Ableitung für die Basis-Klassen und die Reihenfolge, in der Sie erklären, die Mitglieder in der Klasse für die Mitglieder. (Sehen Sie den Hinweis aus der C++ Standard unten.)

    Hat die Basis () - Konstruktor aufgerufen werden, zweimal?

    JA

    Den Base() Konstruktor der Klasse aufgerufen wird, hier zweimal, weil zwei Klassen DerivedBaseTwo() und DerivedBaseOne() daraus ziehen, so dass die Basisklasse der Konstruktor wird aufgerufen, sobald für jeden von Ihnen. Ihre Derived Klasse hat zwei verschiedene Base Teilobjekte durch mehrere Pfade (durch DerivedBaseOne() und die anderen aber DerivedBaseTwo()).

    Die Hierarchie der Klassen, die Sie haben mit Mehrfachvererbung ist ungewöhnlich, und es führt zu einem problem genannt Rautenförmige Vererbung Problem. Um dieses problem zu vermeiden C++ - Einführung in das Konzept der Virtuelle Basisklasse.

    Referenz:

    C++03-Standard: 12.6.2/5, Initialisieren Basen und Mitglieder

    Initialisierung fortfahren wird, in der folgenden Reihenfolge:

    Ersten, und nur für den Konstruktor für die abgeleitete Klasse, wie unten beschrieben, virtuellen Basisklasse wird initialisiert, in der Reihenfolge, wie Sie erscheinen, auf eine Tiefe-zuerst, Links-nach-rechts-Traversierung von gerichteten azyklischen Graphen von Basis-Klassen, wo die "Links-nach-rechts" ist die Reihenfolge der Basis-Klasse Namen in der abgeleiteten Klasse Basis-specifier-Liste.

    — Dann, direct-base-Klassen werden initialisiert, in der Reihenfolge der Deklaration, wie Sie erscheinen in der Basis-specifier-Liste (unabhängig von der Reihenfolge der mem-Initialisierungen).

    — Dann nicht-statische Daten Mitglieder initialisiert werden, in der Reihenfolge in der Sie deklariert wurden, in die definition der Klasse (wieder unabhängig von der Reihenfolge der mem-Initialisierungen).

    — Schließlich ist der Körper des Konstruktors ausgeführt wird.

    • Sind Sie sich da sicher? Ich dachte, es war die Reihenfolge der Erklärung (einschließlich der Erbschafts-Erklärung), die ankommt.
    • Ja, @Kerrek richtig ist. Die Initialisierung der Liste mit der Reihenfolge hat keinen Einfluss auf irgendetwas (leider. Das wäre intuitiver IMO)
    • Die Reihenfolge der Elemente in der Initialisierungsliste wird vom compiler ignoriert (dabei ist es unerheblich). Nicht sicher, ich Stimme mit jalf gewesen wäre, mehr intuitiv, aber ich denke, es sollte ein Fehler gewesen, die Initialisierer-Liste in einer anderen Reihenfolge als Erklärung.
    • Zum Glück, gute Compiler warnen, wenn Sie die Initialisierungsliste nicht nach der Reihenfolge der Deklaration.
    • Bereits aktualisiert.
    • Sie sind richtig, um in die Vererbung angegeben ist, und die Mitglied-Deklaration für Mitglieder
    • +1 dann. 🙂 (Raumfüller).
    • es spiegelt den Destruktor. Und da gibt es mehrere ctors und nur ein dtor, der Auftrag einheitlich sein ctors-und Initialisierungs-Listen. "die Reihenfolge" ist trivial konsistent ist, und nicht, dass die schlecht für die memory-access-patterns.
    • Ich weiß, aber trotz der technischen Probleme, ich denke immer noch, es ist intuitiv zu erwarten, dass die Reihenfolge sich die Dinge angegeben werden, die im Konstruktor definiert die Reihenfolge, in der Sie tatsächlich gebaut wird.
    • Konstruktor der Base Klasse in diesem Fall nicht zweimal genannt, aber nur einmal. Virtuelle Vererbung, die nicht tatsächlich in dem code in Frage, der dies ermöglicht. Dennoch, code in der Frage ist nicht kompilierbar, da die virtuelle Vererbung nicht verwendet wird, die notwendig ist, in einem Fall von Diamant-Vererbung.
    • Der Ausschuss gewesen sein muss vorausschauend: C++11 Standard-member-Initialisierungen wäre ein Chaos einzuführen, waren die Konstruktor-Initialisierung-Liste ist die Reihenfolge wichtig ist. Es würde kein vernünftiger Weg, um Sie zu interagieren. Wenn man will, eine andere logische Reihenfolge der Mitglieder Verständnis zu erleichtern, kann man das Geräusch rewriter neu anordnen nach der dependency Graphen (D. H., wenn die b verwendet den Wert von Mitglied a im direkten Initialisierung, seine Erklärung muss es gelingen, dass der a usw.).

    InformationsquelleAutor Alok Save
  3. 3

    Dies ist beantwortet: http://www.parashift.com/c++-faq-lite/mehrfach-Vererbung.html#faq-25,14, im

    Den ersten Konstruktoren ausgeführt werden, sind die virtuelle Basisklassen überall in der Hierarchie. Sie werden in der Reihenfolge ausgeführt, Sie erscheinen in einer Tiefe-zuerst, Links-nach-rechts-Traversierung des Graphen von Basis-Klassen, wo Links und rechts beziehen sich auf die Reihenfolge der base-class-Namen.

    Seit Ihr Mehrfachvererbung Erklärung listet DerivedBaseTwo erste, seine Konstruktion Auftrag wird ausgeführt werden, bevor DerivedBaseOne's.

    Also in Ihrem Derived Klasse DerivedBaseTwo und seine Kette zuerst erstellt wird, ist:

    1 - Base dann DerivedBaseTwo

    Dann DerivedBaseOne und seine Kette:

    2 - Base dann DerivedBaseOne

    Dann:

    3 - Derived erstellt wird, nachdem alles andere.

    Auch, mit Mehrfachvererbung werden, eingedenk der Diamond Inheritance Problem

    • Sehe kein problem hier.
    • vielleicht nicht in seinem Beispiel-code, aber er könnte es in die Zukunft. Denke, meine Formulierung stunk~!
    InformationsquelleAutor wkl
Schreibe einen Kommentar