Warum ist das kein Aufruf einer rein virtuellen Funktion?

Question

Ich habe versucht, das Beispiel in this answer zu "reparieren", um zu demonstrieren, wie eine reine virtuelle Funktion aufgerufen werden kann.

#include <iostream> 
using namespace std; 

class A 
{ 
    int id; 
public: 
    A(int i): id(i) {} 
    int callFoo() { return foo(); } 
    virtual int foo() = 0; 
}; 

class B: public A 
{ 
public: 
    B(): A(callFoo()) {} 
    int foo() { return 3; } 
}; 

int main() { 
    B b; // <-- this should call a pure virtual function 
    cout << b.callFoo() << endl; 
    return 0; 
} 

Aber ich bekomme keine Laufzeitfehler here (with C++ 4.9.2), aber der Ausgang 3. habe ich versucht, das gleiche mit Borland C++ 5.6.4, aber es eine Zugriffsverletzung Ich erhalte. Ich denke, dass foo() rein virtuell im Aufruf des Konstruktors der Basisklasse sein sollte.

Wer ist falsch? Soll ich mehr Compiler ausprobieren? Habe ich recht, wenn ich virtuelle Funktionen verstehe?

Answer 1

Ihr Code hat Undefined Behavior: UB ruft eine Memberfunktion für ein Objekt (auch ein nicht virtuelles) auf, bevor alle Basisklassen initialisiert wurden. C++ 14 (n4140) 12.6.2/14, Hervorhebung meins:

Elementfunktionen (einschließlich virtueller Elementfunktionen, 10.3) können für ein Objekt im Bau aufgerufen werden. Ähnlich kann ein Objekt im Aufbau der Operand des Operators typeid (5.2.8) oder eines dynamic_cast (5.2.7) sein. Wenn jedoch diese Operationen in einem Ctor-initializer ausgeführt werden (oder in einer Funktion direkt oder indirekt von einem Ctor-initializer genannt) vor allen mem-initializers für Basisklassen abgeschlossen haben, das Ergebnis der Vorgang ist nicht definiert. ...

Ctor-initializer ist die gesamte Liste folgende :. Mem-Initialisierer ist ein Element dieser Liste.

Answer 2

Die Anweisung B b; ruft den Standardkonstruktor auf B.

Bei der Erstellung von B wird nichts zu B erstellt, bis A vollständig aufgebaut ist.

So in Versuch, callFoo() aufzurufen, ist das Verhalten undefiniert, da Sie sich nicht darauf verlassen können, dass die V-Tabelle für die Klasse B eingerichtet wird.

Zusammenfassend: Das Verhalten beim Aufrufen einer reinen virtuellen Funktion während der Konstruktion einer abstrakten Klasse ist undefiniert.