表达式模板通过延迟求值和编译期展开，将a + b + c等操作构造成惰性求值的表达式树，避免临时对象并实现循环融合，在赋值时一次性计算，提升性能。
表达式模板（Expression Templates）是C++模板元编程中一种高级技巧，主要用于优化数学表达式的计算过程，尤其是在矩阵、向量等线性代数库中广泛应用。它通过延迟求值和编译期展开表达式结构，避免不必要的临时对象创建和循环遍历，从而显著提升性能。
什么是表达式模板
在C++中，如果实现一个简单的向量类并重载operator+，代码可能如下：
struct Vector {
std::vector
Vector operator+(const Vector& other) const {
Vector result;
// 逐元素相加，返回新对象
return result;
}
};
当用户写 a + b + c 时，会生成两个临时对象，效率低下。表达式模板的目标就是消除这些中间临时对象，将整个表达式构造成一个“惰性求值”的结构，在真正赋值时才一次性计算。
基本实现原理
核心思想是：不立即计算操作结果，而是构造一个代表表达式的模板对象。这个对象保存了操作的类型和操作数的引用，直到赋值时才进行实际计算。
立即学习“C++免费学习笔记（深入）”；
以向量加法为例，我们可以定义一个表达式基类或直接使用模板组合：
template <typename Expr>
struct Expression {
const Expr& self() const { return static_cast<const Expr&>(*this); }
};
然后定义向量表达式模板：
template <typename Left, typename Op, typename Right>
struct BinaryExpr {
const Left& left;
const Right& right;
BinaryExpr(const Left& l, const Right& r) : left(l), right(r) {}
double operator[](size_t i) const {
return Op::apply(left[i], right[i]);
}
size_t size() const { return left.size(); }
};
再定义加法操作符：
struct Plus {
static double apply(double a, double b) { return a + b; }
};
向量类可以继承自Expression，并提供转换构造函数支持表达式模板：
struct Vector : Expression<Vector> {
std::vector<double> data;
Vector(size_t n) : data(n) {}
double operator[](size_t i) const { return data[i]; }
double& operator[](size_t i) { return data[i]; }
size_t size() const { return data.size(); }
// 支持从任意表达式赋值
template <typename Expr>
Vector(const Expression<Expr>& expr) {
const Expr& e = expr.self();
data.resize(e.size());
for (size_t i = 0; i < e.size(); ++i) {
data[i] = e[i];
}
}
// 加法返回表达式模板
template <typename E>
BinaryExpr<Vector, Plus, E> operator+(const Expression<E>& other) const {
return BinaryExpr<Vector, Plus, E>(*this, other.self());
}
};
这样，a + b + c 不会立即计算，而是生成嵌套的表达式树，在最终赋值给一个Vector时才执行循环，实现“融合循环”（loop fusion）。
应用场景与优势
表达式模板广泛用于高性能数值计算库，如Eigen、Blaze等。其优势包括：
- 避免临时对象，减少内存分配
- 实现循环融合，提升缓存命中率
- 编译期构建计算图，优化表达式结构
- 支持复杂的数学表达式链式操作
例如：result = a + b * c + d 可以在一个循环中完成，而不是多次遍历。
注意事项
使用表达式模板需要注意几点：
- 引用语义：表达式中保存的是引用，确保操作数生命周期长于表达式对象
- 调试困难：编译期生成的类型复杂，错误信息冗长
- 编译时间增加：模板实例化可能导致编译变慢
- 仅适用于可静态分析的表达式
基本上就这些。表达式模板是C++模板技巧的高阶应用，利用编译期信息重组运行时行为，是零成本抽象的典范之一。掌握它有助于理解现代C++数值库的设计思想。
