redefinir una función no virtual en C++

Question

Cuando leo C++ eficaz, dice, nunca redefinir una función no virtual en C++.

Sin embargo, cuando lo probé, el siguiente código se compila correctamente. ¿Entonces cuál es el punto? ¿Es un error o simplemente una mala práctica?

class A { 

    public: 
    void f() { cout<<"a.f()"<<endl;}; 
}; 

class B: public A { 
    public: 
    void f() { cout<<"b.f()"<<endl;}; 
}; 


int main(){ 

    B *b = new B(); 
    b->f(); 
    return 0; 
} 

Answer 1

La redefinición de una función no virtual está bien siempre que no dependa del comportamiento del envío virtual.

El autor del libro es miedo de que pasar su B* a una función que toma un A* y luego se molesta cuando el resultado es una llamada al método de base, no el método derivado.

Answer 2

Prueba esto:

int main(){ 
    A *b = new B(); 
    b->f(); 
    return 0; 
} 

Creo que la respuesta será obvia una vez que vea el resultado ;-).

Sin ser virtual, el mecanismo de enlace tardío no se utilizará, por lo tanto, se utilizará la función definida para ese tipo de puntero, no la función de límite tardío que desea llamar. Esto lleva a toneladas de errores mal rastreables.

Por lo tanto, lo que está haciendo es crear una nueva función. Es puede ser lo que pretendía, pero alguien que lea su código después podría esperar que el código anterior funcione con enlace tardío. Muy confuso.

Una de las características que realmente quería ver es una advertencia en este caso, con una palabra clave "redefinir" para evitarlo, pero los sueños son sueños, y la realidad es la realidad -_-

Answer 3

El punto es que si, por ejemplo, tiene una lista de punteros a la clase base (List<A *> list) y luego llama al f(), no se llamará al método reimplementado en B.