Expression Templates 是 C++ 编译期技术，通过模板递归构造未求值表达式对象，延迟至赋值或 eval() 时执行；关键在 operator+ 等返回代理类型（如 PlusExpr）并持 const 引用，避免中间计算。
什么是 Expression Templates？
Expression Templates 是 C++ 中一种编译期技术，用于把多个操作（如 a + b * c）构造成一个“未求值的表达式对象”，而不是立即执行每一步运算。它本质是用模板递归生成嵌套类型，把计算逻辑编码进类型里，推迟到最终赋值或显式求值时才真正执行。
为什么能延迟计算？关键在 operator+ 等重载返回表达式类型而非值
普通浮点向量加法会立刻分配内存、遍历计算；而 Expression Templates 的 operator+ 不做计算，只构造一个轻量级代理对象（比如 PlusExpr<vec mulexpr vec>></vec>），保存左右操作数的引用和运算意图。真正循环只发生在 operator= 或 eval() 被调用时。
常见错误是忘记让表达式模板持有 const 引用——若存储值副本，会提前触发拷贝和中间结果计算，彻底破坏延迟效果。
- 所有子表达式成员必须是
const T&或const T&&，避免隐式求值 - 禁止在表达式类型中提供
operator double()这类隐式转换，否则std::cout 会强制立刻计算 - 表达式类型需禁用拷贝（或实现为 trivial），否则
auto e = a + b * c;可能意外触发临时对象析构时的计算
一个最小可行的 Vec + Vec 延迟加法示例
下面代码仅支持两个同类型向量相加，不涉及泛型推导细节，但清晰展示延迟核心机制：
立即学习“C++免费学习笔记（深入）”；
template<typename E1, typename E2>
struct AddExpr {
const E1& lhs;
const E2& rhs;
AddExpr(const E1& l, const E2& r) : lhs(l), rhs(r) {}
<pre class='brush:php;toolbar:false;'>double operator[](size_t i) const { return lhs[i] + rhs[i]; }
size_t size() const { return lhs.size(); }};
template<size_t N> struct Vec { double data[N];
double operator[](size_t i) const { return data[i]; }
size_t size() const { return N; }
template<typename E>
Vec& operator=(const E& expr) {
for (size_t i = 0; i < N; ++i) {
data[i] = expr[i]; // ← 唯一实际计算发生处
}
return *this;
}};
template<size_t N> AddExpr<Vec<N>, Vec<N>> operator+(const Vec<N>& a, const Vec<N>& b) { return {a, b}; }
注意：这里 operator+ 返回的是 AddExpr，不是 Vec；Vec::operator= 才触发遍历和加法——这才是延迟的实质。
实际使用中容易被忽略的性能陷阱
Expression Templates 表面优雅，但真实项目里常因几个细节失效：
- 编译时间暴涨：深度嵌套表达式（如
a+b+c+d+e）导致模板实例化爆炸，Clang 可能卡住，GCC 报template instantiation depth exceeds - 调试困难：GDB 显示的是层层嵌套的模板类型名，无法直接打印中间值；需额外实现
debug_print()成员函数 - 与 auto 配合出错：
auto x = a + b;若a、b是局部变量，x持有对它们的引用，后续a、b生命周期结束，x成悬垂引用 - 不兼容某些 STL 算法：比如
std::transform期望可调用对象，但表达式模板不是 callable，也不能直接传给std::accumulate
真正要落地，得配合 make_expression 工厂函数约束生命周期，或用 std::shared_ptr 管理数据——但这又引入运行时开销，和初衷冲突。所以多数成熟库（Eigen、xtensor）只对核心运算路径启用，其余走传统路径保底。
