Duda en una desventaja de hacer el trabajo en los constructores

Question

Estaba leyendo Google C++ Style Guide, y me confundí en la parte Doing Work in Constructors. Una de las desventajas de hacer el trabajo pesado en el constructor es:

Si el trabajo llama a funciones virtuales, estas llamadas no consiguen enviados a las implementaciones de las subclases. futura modificación a su clase puede introducir en silencio este problema incluso si la clase no está actualmente subclase, causando mucha confusión.

No entendí lo que significa. ¿Podría alguien dar una explicación y por qué esto puede considerarse una desventaja?

Answer 1

estoy descaradamente arrancando un código de ejemplo de la página de Wikipedia Virtual function:

#include <iostream> 
#include <vector> 

class Animal { 
    public: 
     virtual void eat() const { 
      std::cout << "I eat like a generic Animal." << std::endl; 
     } 
     virtual ~Animal() { 
     } 
}; 

class Wolf : public Animal { 
    public: 
     void eat() const { 
      std::cout << "I eat like a wolf!" << std::endl; 
     } 
}; 

class Fish : public Animal { 
    public: 
     void eat() const { 
      std::cout << "I eat like a fish!" << std::endl; 
     } 
}; 

Si llama eat() dentro del Animal constructor, se llamará a la Animaleat() funcionan todo el tiempo. Incluso cuando se crea un objeto o una WolfFish, ya que el constructor Animal completará antes de que se inicializa el objeto de subclase, no existirán los primordiales eat funciones todavía.

Esto es una desventaja porque puede causar confusión entre lo que se espera y lo que realmente sucede. Si sobreescribo eat y luego creo un objeto de mi subclase, espero que se llame a mi función reemplazada, incluso desde una referencia Animal. Lo espero porque eso es lo que sucede cuando la llamada se hace explícitamente por código fuera del constructor. El comportamiento es diferente dentro del constructor, haciendo que me rasque la cabeza con desconcierto.

Answer 2

Cuando se construye un objeto, los constructores para las clases base se llaman primero. Dado que la clase derivada aún no se ha inicializado, cualquier llamada a métodos virtuales durante el constructor de la clase base no tendrá un objeto de clase derivado para trabajar.

Answer 3

El trabajo del constructor es simplemente inicializar el estado inicial de su objeto. Si comienza a realizar tareas que se basan en acciones realizadas en funciones virtuales, puede obtener algunos resultados inesperados cuando las subclases comiencen a implementar estas funciones.

Answer 4

Si se hereda de la clase, los métodos que se anulan/poner en práctica no será anunciado en este caso. Entonces, si el empleado llama a work() en el constructor, luego se le ocurre que Hourly :: work() y SalariedEmployee :: work() no se llamarán. A pesar de que tienen implementaciones diferentes, todavía se tratarán como Empleados, no como sus implementaciones especiales.

Answer 5

Cuando se crea una instancia de una subclase, primero se llama el constructor de la clase base, entonces el constructor de la subclase.

Si el constructor de la clase base llama un método virtual, entonces el método de la clase base será llamado en lugar de la subclase, aunque el ejemplo es el de una subclase. Esto podría ser un problema.

mucha más información aquí: http://www.artima.com/cppsource/nevercall.html

Answer 6

El comportamiento que las llamadas a funciones virtuales no son virtuales está bien definida, pero muy sorprendente, por lo general, los compiladores emiten advertencias.