Perché non si tratta di una chiamata di pura funzione virtuale?

Question

Ho provato a "riparare" l'esempio in this answer per dimostrare come è possibile chiamare una funzione virtuale pura.

#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; 
} 

Ma ottengo alcun errore di runtime here (with C++ 4.9.2), ma l'uscita 3. Ho provato la stessa cosa con Borland C++ 5.6.4, ma ci sto diventando una violazione di accesso. Penso che foo() debba essere virtuale puro nella chiamata del costruttore della classe base.

Chi ha torto? Dovrei provare più compilatori? Ho ragione nella mia comprensione delle funzioni virtuali?

Answer 1

Il codice ha un comportamento non definito: è UB che chiama una funzione membro su un oggetto (anche non virtuale) prima che tutte le sue classi base siano state inizializzate. C++ 14 (n4140) 12.6.2/14, enfasi miniera:

Le funzioni membro (incluse le funzioni membro virtuale, 10.3) possono essere chiamate per un oggetto in costruzione. Analogamente, un oggetto in costruzione può essere l'operando dell'operatore typeid (5.2.8) o di un dynamic_cast (5.2.7). Tuttavia, se queste operazioni vengono eseguite in un ctor-inizializzatore (o in una funzione chiamata direttamente o indirettamente da un ctor-inizializzatore) prima di tutte le mem-inizializzatori per classi di base sono completate, il risultato l'operazione non è definita. ...

ctor-inizializzatore è l'intero elenco seguente :. mem-initializer è un elemento di questo elenco.

Answer 2

La dichiarazione B b; chiama il costruttore predefinito su B.

Durante la costruzione di B, nulla di pertinente a B è stato costruito fino a quando A non è completamente costruito.

Quindi, nel tentativo di chiamare callFoo(), il comportamento non è definito poiché non è possibile fare affidamento sulla tabella v per la classe B impostata.

In breve: il comportamento di chiamare una funzione virtuale pura durante la costruzione di una classe astratta non è definito.