Hardcrtp

Что такое идиома CRT (Curiously Recurring Template Pattern)?

1Постановка

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

2Решение

CRTP — паттерн class Derived : public Base<Derived>, класс наследуется от шаблона с собой как параметром. Базовый класс получает доступ к Derived через static_cast<Derived*>(this), реализуя статический полиморфизм (без virtual, без overhead).

template<typename Derived>
struct Counter {
    static int count;
    Counter() { ++count; }
    Derived& self() { return static_cast<Derived&>(*this); }
};

struct A : Counter<A> {};   // отдельный статический count для A
struct B : Counter<B> {};   // отдельный статический count для B

Применения: mixin-классы (добавление функционала), статический интерфейс, счётчики экземпляров по типам. CRTP даёт полиморфизм compile-time, быстрее virtual, но требует знания типа на этапе компиляции и не даёт гетерогенных контейнеров.

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

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

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