Mediumtemplate-metaprogramming
Что такое compile-time factorial через шаблоны?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Классическая задача: вычислить факториал во время компиляции. Исторически — через шаблонную рекурсию, современно — через constexpr.
// Старый способ — шаблонная рекурсия
template<int N>
struct Fact { static constexpr int value = N * Fact<N - 1>::value; };
template<>
struct Fact<0> { static constexpr int value = 1; };
// Современный — constexpr-функция
constexpr int fact(int n) {
return n <= 1 ? 1 : n * fact(n - 1);
}
static_assert(Fact<5>::value == 120);
static_assert(fact(5) == 120);Шаблонный способ создаёт цепочку инстанцирований Fact<5> → Fact<4> → ... → Fact<0> (глубина ограничена ~1024). constexpr компилируется быстрее и читается проще.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.