HardTMP
Что такое template metaprogramming (TMP)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
TMP — вычисления во время компиляции через шаблоны: типы как данные, специализации как branch, рекурсия через инстанциацию. Turing-полный, но синтаксис тяжёлый.
template<int N>
struct Fact { static constexpr int v = N * Fact<N-1>::v; };
template<>
struct Fact<0> { static constexpr int v = 1; };
static_assert(Fact<5>::v == 120); // вычислено в compile-time- Применяется для оптимизаций, генерации таблиц, type-level вычислений (boost::mpl, boost::hana);
- Код нечитаемый, ошибки непонятные;
- С C++14/17/20 во многом замещён
constexpr-функциями и concepts — в новом коде TMP последний выбор.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.