HardTMP
Что такое expression templates?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Expression templates — техника, при которой операции над большими объектами (v1 + v2 + v3) строят структуру всего выражения и вычисляют его за один проход в финальном присваивании, без промежуточных временных объектов.
// operator+ возвращает НЕ Vector, а объект-представление выражения
template<class L, class R>
struct VecSum {
const L& l; const R& r;
double operator[](size_t i) const { return l[i] + r[i]; }
};
template<class L, class R>
VecSum<L, R> operator+(const L& l, const R& r) { return {l, r}; }
// v = a + b + c — обходит дерево один раз в operator=- Применяется в Eigen, Blaze, Boost.uBLAS — ускоряет матричные операции в разы;
- Минусы: сложность реализации, рост compile-time, непонятные ошибки;
- Остаются важной техникой для numeric-домена.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.