HardRTTI

Чем typeid и RTTI отличаются от виртуальных функций?

1Постановка

Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.

2Решение

RTTI (Run-Time Type Information) — механизм, позволяющий определять тип полиморфного объекта во время выполнения. Доступ через typeid(expr) и dynamic_cast. Реализуется через vtable: каждый полиморфный объект хранит указатель на таблицу, где есть указатель на type_info.

#include <typeinfo>

class Base { virtual ~Base() = default; };
class Derived : public Base {};

Base* p = new Derived;
std::cout << typeid(*p).name();   // реальный тип (Derived)
  • Виртуальные функции — основной механизм полиморфизма, RTTI — для редких случаев явного узнавания типа или downcast;
  • Минусы RTTI: overhead по памяти (type_info в каждой vtable), замедляет dynamic_cast;
  • Часто отключают в embedded (-fno-rtti), тогда dynamic_cast недоступен.

3Как отвечать

  • Сначала уточните условия и ограничения, покажите аналитическое мышление.
  • Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
  • Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡

На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.