Hardмножественное наследование
Что такое diamond problem и как C++ её решает?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Diamond problem: класс D наследует B и C, оба наследуют A — получается ромб. Если в A есть поле, у D будет два экземпляра (через B и через C), и обращение d.x неоднозначно. Решение — virtual inheritance.
class A { public: int x; };
// БЕЗ virtual: у D два подобъекта A — d.x неоднозначно
class B : public A {};
class C : public A {};
class D : public B, public C {};
// d.x; // ошибка: неоднозначно (A::x через B или через C?)
// С virtual inheritance: один общий подобъект A
class B2 : virtual public A {};
class C2 : virtual public A {};
class D2 : public B2, public C2 {};
// d.x; // OK: один AМинусы virtual inheritance: сложная реализация (несколько указателей на виртуальную базу), особый порядок инициализации (за виртуальную базу отвечает самый производный класс), overhead. Поэтому предпочитают «чистые интерфейсы» (без данных).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.