Variable de referencia y funciones virtuales

Question

He encontrado un comportamiento extraño al usar una variable de referencia.

Aquí es implementaciones de clase:

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

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

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

He aquí un ejemplo de código que tienen el extraño comportamiento:

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()? 
} 

En conclusión, parece que la tabla de punteros de función virtual "asociado" a la la variable de referencia se determina solo al inicializar la variable de referencia. Si reasigno la variable de referencia, el vfpt no cambia.

lo que sucede aquí?

Answer 1

Base &base es una referencia, es decir, alias al objeto a, así que la asignación de base = b es equivalente a a = b, que deja el thingie base siendo el mismo objeto de la misma clase. No es una reasignación de puntero como parece suponer.

Answer 2

Sólo las referencias se pueden inicializar una vez. No puede asignar un nuevo objeto a una referencia. Lo que está sucediendo aquí es que se llama operador = de Base y el objeto subyacente sigue siendo DerivedA y no DerivadoB.