Hardexpression-templates
Что такое expression templates?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Expression templates — техника, при которой операции над типом возвращают не сам тип, а специальный шаблонный тип, представляющий выражение, чтобы отложить вычисление и избежать временных объектов.
// Обычный подход: d = a + b + c создаёт 2 временных вектора
Vec d = a + b + c;
// С expression templates operator+ возвращает:
// VecAdd<VecAdd<Vec, Vec>, Vec> — вычисляется в одном проходе
// при присваивании d = ..., без временных
for (int i = 0; i < N; ++i)
d[i] = a[i] + b[i] + c[i]; // единый циклРеализация через CRTP, nested templates, operator overloading. Широко используется в Eigen (linear algebra), Boost.uBLAS. Сложность реализации высокая, но критична для производительности численных вычислений. В современном C++ аналогично работают ranges/views (lazy evaluation).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.