¿Por qué se llama al constructor predeterminado en herencia virtual?

Question

No entiendo por qué en el siguiente código, cuando instancia un objeto de tipo daughter, se llama al constructor predeterminado grandmother()?

Pensé que se debería llamar al constructor grandmother(int) (para seguir las especificaciones de mi constructor de clase mother), o este código no debería compilarse en absoluto debido a la herencia virtual.

Aquí el compilador llama silenciosamente a grandmother constructor por defecto en mi espalda, mientras que nunca lo pedí.

#include <iostream> 

class grandmother { 
public: 
    grandmother() { 
     std::cout << "grandmother (default)" << std::endl; 
    } 
    grandmother(int attr) { 
     std::cout << "grandmother: " << attr << std::endl; 
    } 
}; 

class mother: virtual public grandmother { 
public: 
    mother(int attr) : grandmother(attr) { 
     std::cout << "mother: " << attr << std::endl; 
    } 
}; 

class daughter: virtual public mother { 
public: 
    daughter(int attr) : mother(attr) { 
     std::cout << "daughter: " << attr << std::endl; 
    } 
}; 

int main() { 
    daughter x(0); 
} 

Answer 1

Al utilizar herencia virtual, constructor de la clase base virtual se llama directamente por el constructor de la clase más derivada. En este caso, el constructor daughter llama directamente al constructor grandmother.

Como no ha llamado explícitamente al constructor grandmother en la lista de inicialización, se llamará al constructor predeterminado. Para llamar al constructor correcta, cambie a:

daugther(int attr) : grandmother(attr), mother(attr) { ... } 

Ver también This FAQ entry.