класс, который наследует от двух классов в C++

Question

Если предположить, что у меня есть класс Алкоголь и он получил два производных класса: Вино и Пиво. Что произойдет, если я сделаю тогда класс Сидр, который наследует от Вино и Пиво также?

Сколько копий Алкоголь появится в Сидр класс?

Я знаю, что это можно сделать с помощью виртуального наследования и без него, но какая разница?

Answer 1

Non-виртуальное наследование:

struct Beer : Alcohol {}; 
struct Wine : Alcohol {};   // I'll have what he's having! 

Alcohol Alcohol     // ...whe-ere'sh my... bayshe clashhh... hic 
^  ^
    |   | 
Beer  Wine 
    ^ ^
    \ /
     \ /
     Cider 

Виртуальное наследование:

struct Beer : virtual Alcohol {}; // virtual = doesn't get you drunk 
struct Wine : virtual Alcohol {}; 

 Alcohol      // you can see clearly now 
    ^ ^
    /  \ 
Beer  Wine 
    ^ ^
    \ /
     \ /
     Cider 

В невиртуальном случае, есть два disctinct базовых подобъектов. Давайте дадим им:

Cider x; 
Alcohol & a1 = static_cast<Beer&>(x); 
Alcohol & a2 = static_cast<Wine&>(x); 

assert(std::addressof(a1) != std::addressof(a2));