rein virtulle Destruktoren
-
knivil schrieb:
Das aufrufen einer virtuellen Methode im Konstruktor ist undefiniert. Was tatsaechlich passiert ist kompilerabhaengig. Einfache Regel: Keine virtuellen Methoden im Konstruktor aufrufen.
Kompletter Bullshit.
-
Bashar schrieb:
knivil schrieb:
Das aufrufen einer virtuellen Methode im Konstruktor ist undefiniert. Was tatsaechlich passiert ist kompilerabhaengig. Einfache Regel: Keine virtuellen Methoden im Konstruktor aufrufen.
Kompletter Bullshit.
Genau.
Es wird immer die Variante aufgerufen, die zum "aktuellen" Objekttyp gehört.
Ab dem Zeitpunkt wo Konstruktor A::A anfängt "eigenen" Code auszuführen, ist das Type "A".Auch wenn es eine Klasse B gibt, die von A abgeleitet ist, und man ein Objekt vom Typ "B" erzeugt.
So lange Konstruktor B::B nicht fertig ist mit dem Aufrufen der Konstruktoren der Basisklassenobjekte, und angefangen hat "eigenen" Code auszuführen, ist das B nämlich noch kein B, sondern ein A.
MatheStein schrieb:
Ich meine mal so etwas ähnliches wie
virtual ~A() {} = 0;gesehe zu haben, aber das kompiliert bei mir nicht.
Vertausch mal das "= 0" mit dem "{}".
-
knivil schrieb:
MatheStein schrieb:
Ich meine mal so etwas ähnliches wie
virtual ~A() {} = 0;gesehe zu haben, aber das kompiliert bei mir nicht.
Vertausch mal das "= 0" mit dem "{}".
Klappt leider auch nicht
-
Die Sprachgrammatik lässt das schlicht und einfach nicht zu.
-
Ich versteh da auch den Sinn gar nicht. Eine pure-virtual-Funktion sorgt dafür, dass Instanzen dieser Klasse nicht möglich sind, und vor allem, dass in abgeleiteten Klassen diese Funktion implementiert werden muss (oder als pure-virtual weitergereicht). Welchen Sinn macht es jetzt, in einer Basisklasse festzulegen, dass abgeleitete Klassen den Destruktor implementieren müssen? Und wenn es nur um die Instanziierung geht, warum nicht eine normale pure-virtual-Funktion nehmen? Wenn das keinen Sinn macht, was ist der Hintergrund, warum du Instanzen verbieten willst?
-
Bashar schrieb:
Kompletter Bullshit.
Na ich hab es nicht so mit dem Standard, aber vielleicht kannst du ja die entsprechende Stelle posten.
Edit: Ok. hab es nachgelesen. Nein, nicht im Standard.
-
arghonaut schrieb:
Ich versteh da auch den Sinn gar nicht. Eine pure-virtual-Funktion sorgt dafür, dass Instanzen dieser Klasse nicht möglich sind, und vor allem, dass in abgeleiteten Klassen diese Funktion implementiert werden muss (oder als pure-virtual weitergereicht). Welchen Sinn macht es jetzt, in einer Basisklasse festzulegen, dass abgeleitete Klassen den Destruktor implementieren müssen? Und wenn es nur um die Instanziierung geht, warum nicht eine normale pure-virtual-Funktion nehmen? Wenn das keinen Sinn macht, was ist der Hintergrund, warum du Instanzen verbieten willst?
@arghonaut: Angenommen du willst eine Basisklasse ohne Methoden als Basis fuer eine Vererbungshierarchie (Sinnhaftigkeit hinten angestellt). Jetzt sollen alle abgeleiteten Klassen einen eigenen Destruktor implementieren. Mit pure virtual wird das erzwungen. Wenn ein Objekt zerstoert wird, werden nun alle Basisklassendestruktoren in entsprechender Reihenfolge aufgerufen, auch der Wurzelklasse fuer den Ableitungsbaum. Besitzt diese Klasse keine Implementation des Destruktors kommt es zu einem Laufzeitfehler.
-
Hast du ein Beispiel parat, in dem es essentiell ist, dass ein eigener Destruktor implementiert wird? Wenn halt selber nichts zu zerstören ist - also der vom Compiler generierte Destruktor vollkommen ausreicht - welchen Sinn macht es, diesen dann trotzdem implementieren zu müssen? Es würde doch deutlich mehr Sinn machen, in Base einen leeren virtuellen Destruktor anzubieten.
-
Der Laufzeitfehler heißt dann "pure virtual function call(ed)". Eine Erklärung dafür gibt es bei http://www.artima.com/cppsource/pure_virtual.html
-
arghonaut schrieb:
Hast du ein Beispiel parat, in dem es essentiell ist ...
Nichts ist essenziell. NUr essen, trinken, sterben. Dumme Frage! Auch habe ich die Sinnhaftigkeit hinten angestellt. ... Ich korrigiere mich. Ziel ist es nicht, die Implementation des Destruktors zu erzwingen, sonder die Basisklasse abstrakt zu machen. Wenn die Basiskalsse abstrakt sein soll, ohne weitere Funktionalitaet, dann ist das ein Weg.
