表达式模板通过延迟计算避免临时对象开销，利用模板构建惰性求值结构，在赋值时才执行运算，显著提升数学库性能。
在C++元编程中，表达式模板是一种用于延迟计算并消除临时对象的技术，特别适用于数学库（如向量、矩阵运算）中提升性能。传统运算会频繁生成中间临时对象，而表达式模板通过模板机制将整个表达式构造成一个“惰性求值”的结构，在最终赋值时才执行计算，从而避免不必要的拷贝和构造。
问题背景：临时对象的开销
考虑两个向量相加：
Vector a(1000), b(1000), c(1000), d(1000); a = b + c + d;
若使用普通重载 operator+，会生成两个临时对象：b + c 的结果是一个临时 Vector，再与 d 相加又产生另一个临时对象。这带来内存分配和拷贝开销。
表达式模板的核心思想
不立即计算表达式，而是构建一个代表整个表达式的模板对象。这个对象记录了操作类型和操作数引用，直到赋值给目标变量时才进行实际计算。
立即学习“C++免费学习笔记（深入）”；
例如，b + c + d 被表示为类似 AddExpr<AddExpr<Vector, Vector>, Vector> 的类型，只在赋值给 a 时遍历该结构并逐元素计算。
实现一个简单的向量表达式模板
以下是一个简化但完整的示例：
#include <iostream>
#include <vector>
// 基础向量类
template<typename T>
class Vector {
std::vector<T> data;
public:
explicit Vector(size_t n) : data(n) {}
size_t size() const { return data.size(); }
T& operator[](size_t i) { return data[i]; }
const T& operator[](size_t i) const { return data[i]; }
// 普通赋值
template<typename Expr>
Vector& operator=(const Expr& expr) {
for (size_t i = 0; i < size(); ++i) {
data[i] = expr[i];
}
return *this;
}
};
// 表达式包装基类（可选，用于统一接口）
template<typename T, typename Expr>
class Expression {
public:
const Expr& self() const { return static_cast<const Expr&>(*this); }
};
// 加法表达式
template<typename LHS, typename RHS>
class AddExpr : public Expression<double, AddExpr<LHS, RHS>> {
const LHS& lhs;
const RHS& rhs;
public:
AddExpr(const LHS& l, const RHS& r) : lhs(l), rhs(r) {}
double operator[](size_t i) const { return lhs[i] + rhs[i]; }
size_t size() const { return lhs.size(); }
};
// 让 Vector 继承自 Expression，以便参与表达式
template<typename T>
class Vector : public Expression<T, Vector<T>> {
std::vector<T> data;
public:
explicit Vector(size_t n) : data(n) {}
size_t size() const { return data.size(); }
T& operator[](size_t i) { return data[i]; }
const T& operator[](size_t i) const { return data[i]; }
template<typename Expr>
Vector& operator=(const Expr& expr) {
for (size_t i = 0; i < size(); ++i) {
data[i] = expr[i];
}
return *this;
}
};
// 重载加法，返回表达式对象而非 Vector
template<typename LHS, typename RHS>
AddExpr<LHS, RHS> operator+(const Expression<double, LHS>& lhs,
const Expression<double, RHS>& rhs) {
return AddExpr<LHS, RHS>(lhs.self(), rhs.self());
}
使用方式：
Vector<double> a(1000), b(1000), c(1000), d(1000); // 初始化 b, c, d ... a = b + c + d; // 不产生临时对象，一次循环完成计算
优势与注意事项
- 性能提升：避免中间临时对象的构造、析构和内存分配。
- 惰性求值：表达式只在需要时计算，支持更复杂的优化。
- 编译期展开：整个表达式结构在编译期确定，可被内联优化。
- 引用安全：表达式中保存的是引用，需确保操作数生命周期长于表达式使用期。
- 调试困难：模板嵌套深，错误信息复杂，类型名冗长。
基本上就这些。表达式模板是C++元编程中优雅解决性能问题的经典案例，尤其适合数值计算场景。虽然实现略复杂，但一旦掌握，能显著提升库的效率。关键在于用模板推迟计算，把“做什么”和“何时做”分离。
