Hardvirtualконструктор
Почему вызов virtual функции в конструкторе/деструкторе ведёт себя неожиданно?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
В конструкторе базового класса объект ещё не является производным (Derived-часть не создана). Поэтому вызов virtual из конструктора базы вызывает Base-версию, не Derived. Аналогично в деструкторе.
struct Base {
Base() { init(); } // вызывает Base::init(), НЕ Derived::init()
virtual void init() { std::cout << "Base"; }
};
struct Derived : Base {
void init() override { std::cout << "Derived"; }
};
Derived d; // выводит "Base" — неожиданно!Это сделано для безопасности: вызывать Derived-метод на несуществующем ещё объекте опасно. Решения:
- не вызывать virtual из ctor/dtor;
- передавать нужное поведение параметром в базу;
- двухфазная инициализация (construct +
init()).
В Java/C# virtual в конструкторе ведёт себя иначе — ловушка при переходе.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.