Как виртуальное ключевое слово разрешает двусмысленность в множественном наследовании?

Question

Я знаю, что компилятор дает ошибку для двусмысленности, если мы не упоминаем виртуальное ключевое слово при выводе дочернего класса в проблему с алмазом. Итак, как виртуальное ключевое слово устраняет эту двусмысленность?

Answer 1

От isocpp faq

class Base { 
public: 
    // ... 
protected: 
    int data_; 
}; 
class Der1 : public virtual Base { 
        ↑↑↑↑↑↑↑ // This is the key 
public: 
    // ... 
}; 
class Der2 : public virtual Base { 
        ↑↑↑↑↑↑↑ // This is the key 
public: 
    // ... 
}; 
class Join : public Der1, public Der2 { 
public: 
    void method() 
    { 
    data_ = 1; // Good: this is now unambiguous 
    } 
}; 
int main() 
{ 
    Join* j = new Join(); 
    Base* b = j; // Good: this is now unambiguous 
} 

, если вы не указали наследование как виртуальный, компилятор попытается добавить два Base классов в Derived объекта, и он не будет знать, какие data_ заполнить . У вас будет фактически два объекта, которые будут одинаковыми в вашем производном классе. Объявление наследования как virtual сообщает компилятору, что вы хотите получить только один экземпляр базового класса в производном классе.