Konstruktor und Initialisierung von benutzerdefinierten Klassen/Objekte

Diese sind sehr gute und wichtige Fragen.

Über Eine:

Vor der Ausführung den Hauptteil der Konstruktor der C++ - code generiert, die automatisch die default-Konstruktor aller aggregierten (d.h. member -) Objekte der Klasse. Im Grunde, was es tut, ist, transformieren Sie den folgenden code:

class myClass_B {
public:
    myClass_B()
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

in den folgenden code:

class myClass_B {
public:
    myClass_B()
        : m_instance()
        , m_pInstance()
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

Die zwei Zeilen, die der compiler automatisch eingefügten namens Initialisierungsliste, es ruft den default-Konstruktor für jedes aggregierte Objekt vor der Körper von Ihr Konstruktor ausgeführt wird. Bitte beachten Sie, dass die zweite m_pInstance() ruft die "default-Konstruktor Zeiger" das schafft ein nicht initialisierte Zeiger ; dies ist fast immer nicht das, was Sie wollen. Siehe unten auf, wie zu beheben.

Lassen Sie uns nun davon ausgehen, dass der Konstruktor von myClass_A hat die Signatur myClass_A(int someNumber), d.h. es nimmt ein argument. Dann, C++ nicht generiert automatisch die Initialisierungsliste für myClass_B da es nicht weiß, welche Nummer zu übergeben myClass_A's Konstruktor. Er löst einen compiler-Fehler, bei dir, wohl Klagen über eine fehlende Standard-Konstruktor für myClass_A. Sie schreiben, die Initialisierer-Liste auf Ihrem eigenen, zum Beispiel:

class myClass_B {
public:
    myClass_B()
        : m_instance(21)
        , m_pInstance(new myClass_A(21))
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

Dies ist der korrekte code, der Aufrufe myClass_A Konstruktor mit dem Wert 21 für den parameter someNumber. Dies zeigt auch, wie Sie korrekt initialisieren Sie einen Zeiger: machen Sie den Punkt, um einige neu zugewiesenen Objekt.

Bezüglich B:

Im Gegensatz zu einigen anderen sagen, Sie können! (Probieren Sie es aus)

Führt aber zu einem unerwarteten Verhalten, das ist nicht, was Sie wollen. (Einschließlich die, die es könnten tun, was Sie wollen, nur, wenn die Planeten ausgerichtet sind richtig.) Es wird wahrscheinlich Abstürzen, ist aber nicht garantiert, Absturz. Dies kann dazu führen Sie zu einigen langen debugging-Nächte. Wenn dein compiler ist intelligent, er kann dies erkennen und warnen Sie, aber es wird nicht geben Ihnen ein Fehler.

Beachten Sie auch, dass für nicht-Zeiger, zusammengesetzte Objekte, die einen Standard-Konstruktor der Standard-Konstruktor wird genannt werden, und Sie werden alle gut. Das problem kommt, wenn Sie verwenden vordefinierte Datentypen oder Zeigern. Dies ist die Verwendung von nicht initialisierten Variablen, und ist eine der häufigsten Ursachen für einen bug. Wenn Ihr code macht was ganz komisches, immer zu überprüfen, ob Sie initialisiert alle Variablen. Es sollte zum reflex werden, um einen Eintrag in der Initialisierer-Liste für jedes Mitglied-variable, selbst wenn es ruft den default-Konstruktor. Macht die Dinge klar.

Zu C:

Ja. Sehen Sie B für weitere details. Das interessante an der Sache ist, dass, wenn die Methode, die Sie aufrufen, nicht den Zeiger "this" (dieses schließt nicht mit jedem Attribut variable und nicht beim aufrufen einer Methode, die mit einem Attribut, variable), ist Ihre Methode, die garantiert funktioniert. Was passiert beim Aufruf einer Methode auf ein nicht initialisiertes Objekt ist, dass der "this" - Objekt innerhalb der Methode (D. H. alle Attribut-Variablen auch) ist gelegentliches Gedächtnis. Der code der Methode wird ausgeführt, aber die random-Speicher, und dies ist, was fehlschlägt.

Ich hoffe, das klärt die Dinge ein wenig.

A. ja: Konstruktoren der Mitglieder werden aufgerufen, bevor der Konstruktor der übergeordneten Klasse.
B. ja, aber das Ergebnis ist undefiniert Verhalten (= alles passieren kann; auch erscheint, um zu arbeiten.).

A. Der Konstruktor für Ihre Klasse myClass_A wird als das moment, das Objekt der Klasse myClass_B instanziiert wird.

B. Sie können Methoden aufrufen unintialized Objekte zum Beispiel

myClass_A *pObj;
pObj->myFunction_A();

werfen Sie eine Ausnahme.

C. Sie können nie rufen Sie eine Methode, die erfolgreich ohne das Objekt vollständig konstruiert ist.