Hardcrtpvirtual
Чем static polymorphism (CRTP) быстрее virtual?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Virtual-вызовы имеют overhead: indirect call через vtable, невозможность inline, vptr в каждом объекте. CRTP — статический полиморфизм: вызов прямой, компилятор знает точную функцию и может инлайнить.
// CRTP: тип Derived известен на compile-time
template<typename Derived>
struct Shape {
double area() const {
return static_cast<const Derived*>(this)->area_impl();
}
};
struct Circle : Shape<Circle> {
double r;
double area_impl() const { return 3.14 * r * r; } // direct call, inlineable
};- плюсы CRTP: нет indirect call, возможен inline + constant propagation, нет vtable overhead;
- минусы: тип известен только compile-time, нет гетерогенных контейнеров (
vector<Base*>), binary size растёт.
Стандарт для библиотечного кода (Eigen, linear algebra).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.