Variabile di riferimento e funzioni virtuali

Question

Ho trovato uno strano comportamento durante l'utilizzo di una variabile di riferimento.

Ecco implementazioni di classe:

class Base { 
    public: 
     virtual void Method() = 0; 
}; 

class DerivedA : public Base { 
    public: 
     virtual void Method() {} 
} 

class DerivedB : public Base { 
    public: 
     virtual void Method() {} 
} 

Ecco un codice di esempio che ha il comportamento anomalo:

void main(int argc, char *argv[]) { 
    DerivedA a; 
    DerivedB b; 
    Base &base = a; 

    base.Method(); // Calls DerivedA::Method 

    base = b; 
    base.Method(); // Calls DerivedA::Method!!! Why doesn't call DerivedB.Method()? 
} 

In conclusione, sembra che la funzione virtuale tavolo pointer "associato" al la variabile di riferimento viene determinata solo quando si inizializza la variabile di riferimento. Se riassegno la variabile di riferimento, lo vfpt non cambia.

Cosa succede qui?

Answer 1

Base &base è un riferimento, cioè alias all'oggetto a, quindi l'assegnazione base = b è equivalente a a = b, che lascia il base thingie ancora lo stesso oggetto della stessa classe. Non è una riassegnazione del puntatore come sembri assumere.

Answer 2

I riferimenti possono essere inizializzati solo una volta. Non è possibile assegnare un nuovo oggetto a un riferimento. Quello che sta realmente accadendo qui è che viene chiamato operator = di Base e l'oggetto sottostante è ancora DerivedA e non DerivedB.