Dlaczego wywoływany jest domyślny konstruktor w dziedziczeniu wirtualnym?

Question

Nie rozumiem, dlaczego w poniższym kodzie, gdy zainicjować obiekt typu daughter, domyślny konstruktor grandmother() jest wywoływana?

Pomyślałem, że należy wywołać konstruktora grandmother(int) (w celu dostosowania do specyfikacji mojego konstruktora klasy mother), lub ten kod nie powinien się w ogóle kompilować z powodu wirtualnego dziedziczenia.

Tutaj kompilator po cichu wywołuje domyślnego konstruktora, a ja nigdy o to nie prosiłem.

#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

Podczas korzystania z dziedziczenia wirtualnego konstruktor wirtualnej klasy bazowej jest wywoływany bezpośrednio przez najbardziej pochodny konstruktor klasy. W takim przypadku konstruktor daughter bezpośrednio wywołuje konstruktor grandmother.

Ponieważ nie wywołano jawnie konstruktora grandmother na liście inicjalizacyjnej, zostanie wywołany domyślny konstruktor. Aby wywołać prawidłowy konstruktor, zmień go na:

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

Zobacz także This FAQ entry.