Warum geben von einem Konstruktor aufgerufene virtuelle C-Funktionen den Basisklassenwert zurück?

Warum sich virtuelle C-Funktionen, die von Konstruktoren aufgerufen werden, unerwartet verhalten können

In C stellen virtuelle Funktionen eine dynamische Bindung bereit, sodass eine abgeleitete Klasse a überschreiben kann Funktion, die in ihrer Basisklasse definiert ist. Das Aufrufen einer virtuellen Funktion aus einem Konstruktor kann jedoch zu unerwarteten Ergebnissen führen.

Beachten Sie den folgenden Codeausschnitt:

#include <iostream>

struct base {
   virtual const int value() const {
      return 0;
   }
   base() {
      std::cout << value() << std::endl;
   }
   virtual ~base() {}
};

struct derived : public base {
   virtual const int value() const {
      return 1;
   }
};

int main(void) {
   derived example;
}

Der Code definiert zwei Klassen, eine Basisklasse und eine abgeleitete, mit einer virtuellen Funktion Wert(). Der Basiskonstruktor ruft während der Objektinitialisierung value() auf. Man könnte erwarten, dass der Code bei der Ausführung „1“ ausgibt, während das Objekt des abgeleiteten Typs erstellt wird. Allerdings wird stattdessen „0“ ausgegeben.

Der Grund für dieses Verhalten liegt in der Reihenfolge der Objektkonstruktion. Beim Initialisieren eines Objekts vom Typ „derived“ wird zuerst der Basisklassenkonstruktor aufgerufen. Zu diesem Zeitpunkt ist das Objekt noch nicht vollständig initialisiert und seine abgeleiteten klassenspezifischen Datenelemente sind möglicherweise noch nicht initialisiert. Infolgedessen ruft der Aufruf von value() vom Basiskonstruktor die Basisklassenimplementierung der Funktion auf, die 0 zurückgibt.

Um das beabsichtigte Verhalten zu erreichen, sollte die Funktion value() von einer Postkonstruktion aus aufgerufen werden Phase, in der das Objekt garantiert vollständig initialisiert ist. Dies kann erreicht werden, indem die Funktion value() in der abgeleiteten Klasse überschrieben und von einer separaten Methode aufgerufen wird, die garantiert nach der Erstellung aufgerufen wird. Zum Beispiel:

struct derived : public base {
   virtual const int value() const {
      return 1;
   }
   int get_value() const {
      return value();
   }
};

In diesem Fall kann die Methode get_value() vom Konstruktor aufgerufen werden, um den korrekten Wert „1“ zu erhalten.

Das obige ist der detaillierte Inhalt vonWarum geben von einem Konstruktor aufgerufene virtuelle C-Funktionen den Basisklassenwert zurück?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!