Асимметричный виртуальный наследование алмаза в C++

Question

Итак, у меня есть эта идея, и я думаю, что это практически невозможно реализовать на C++ ... но я хочу спросить. Я прочитал главу 15 «Страуструп» и не получил ответа, и я не думаю, что на этот вопрос ответим миллиарды других вопросов о алмазах наследования, поэтому я прошу здесь.

Вопрос в том, что происходит, когда вы наследуете от двух базовых классов, которые совместно используют общий базовый класс, но только один из двух наследует от него фактически. Например:

class CommonBase { ... }; 

class BaseA : CommonBase { ... }; 

class BaseB : virtual CommonBase { ... }; 

class Derived : BaseA, BaseB { ... }; 

Причина, я думаю, что я хочу сделать это, потому что я пытаюсь расширить существующую библиотеку без перекомпиляции целой библиотеки (не хочет, чтобы открыть эту банку с червями). Уже существует цепочка наследования, которую я бы хотел изменить. В основном что-то вроде этого (извините искусство ascii)

LibBase 
     | \ 
     | \ 
     | MyBase 
     |  | 
     |  | 
LibDerived | 
     | \ | 
     | \ | 
     | MyDerived 
     |  | 
LibDerived2 | 
     | \ | 
     | \ | 
     | MyDerived2 
     |  | 
LibDerived3 | 
     | \ | 
     | \ | 
     | MyDerived3 
     |  | 
LibConcrete | 
      \ | 
      MyConcrete 

Получить картину? Я хочу, чтобы объект каждого из классов «My» был be объект класса, который они существенно заменяют, но я хочу, чтобы следующий класс на диаграмме наследования использовал реализацию переопределенного метода из «My» базового класса, но все другие методы из классов библиотеки. Классы библиотеки не наследуют практически так же, как этот

class LibDerived : LibBase 

Но если я мой класс наследует практически

class MyBase : virtual LibBase {}; 
class MyDerived: virtual MyBase, virtual LibDerived {}; 

С MyDerived будет иметь виртуальные таблицы, и MyBase будет иметь виртуальные таблицы, там будет только один LibBase объект?

Я надеюсь, что этот вопрос достаточно ясен.

Answer 1

Чтобы упростить ответ, давайте подумаем о виртуальном/не виртуальном качестве дублированного или не дублированного содержимого.

class LibDerived : LibBase 

заявляет: Я разрешаю LibBase быть в два раза (или больше) вступил в Нисхождение LibDerived

class MyBase : virtual LibBase {}; 

заявляет: Я позволяю компилятору оптимизировать две записи из LibBase в MyBase descendings в один.

Когда эти два объявления соответствуют каждому, первое является более приоритетным, так что MyDerived получает 2 имплантации LibBase. Но сила C++ - это возможность его решить! Просто сделайте переопределение виртуальных функций MyDerived, чтобы выбрать, что вы хотите использовать. Еще один способ - создать универсальную оболочку MyDerived, полученную из интерфейса LibBase, которая объединяет любой экземпляр: LibDerived, MyBase, ... и вызывает ожидаемый метод из совокупности.

Answer 2

По существу, вы правы. Вы должны иметь LibDerived, полученный практически от LibBase, если вы хотите, чтобы это дерево наследования использовалось.

Если у вас нет этого, вы не сможете предотвратить наличие не виртуального LibBase под номером LibDerived и отдельного виртуального LibBase под номером MyBase.