expression templates 是 c++ 编译期优化技术，通过模板构建惰性表达式树，将多个向量/矩阵运算合并为单次遍历，避免中间临时对象和重复循环，提升数值计算性能。
Expression Templates 是 C++ 中一种编译期优化技术，本质是用模板构造惰性表达式树，把多个向量/矩阵运算合并成一次遍历，避免中间临时对象和重复循环，从而显著提升数值计算性能。
它解决什么问题？
传统重载运算符（如 operator+）在写 a + b + c 时会生成两个临时对象：tmp1 = a + b，再 tmp2 = tmp1 + c。每个 + 都触发一次完整遍历，内存带宽和缓存效率极低。Expression Templates 把整个表达式“记下来”（不立即计算），直到赋值才展开为单层循环，实现“零开销抽象”。
核心思想：延迟求值 + 类型编码
不是立刻算结果，而是让每个运算符返回一个轻量模板类，该类保存操作数引用和运算类型（如 Add<vec vec></vec>、Mul<add>, double></add>）。整个表达式变成嵌套模板实例，构成一棵编译期可见的表达式树。
- 所有节点都是栈对象，无堆分配
- 最终
operator=或eval()触发一次 for-loop，遍历一次就完成全部加减乘缩放 - 编译器能内联所有小函数，常数折叠、向量化（如 AVX）也更容易生效
一个极简例子（向量加法）
假设 Vec 是固定大小浮点数组：
立即学习“C++免费学习笔记（深入）”；
template<class L, class R>
struct VecAdd {
const L& l; const R& r;
VecAdd(const L& ll, const R& rr) : l(ll), r(rr) {}
float operator[](size_t i) const { return l[i] + r[i]; }
};
template<class T>
VecAdd<Vec, T> operator+(const Vec& v, const T& x) {
return VecAdd<Vec, T>(v, x);
}
// a + b + c → VecAdd<VecAdd<Vec,Vec>, Vec>，无临时数组
真正计算发生在 for (int i=0; i<n result expr> 这一行——只跑一遍循环。</n>
实际使用注意点
Expression Templates 强大但有门槛：
- 错误信息可能极长（层层嵌套模板），需配合
static_assert和概念（C++20）约束接口 - 不要对表达式模板对象取地址或长期存储——它持有临时量引用，易悬空
- 混合值类型（如
Vec + double）需偏特化，否则推导失败 - 现代替代方案如
std::span+ 范围适配器更安全，但性能上限通常不如手写表达式模板
基本上就这些。它不是银弹，但在密集数值库（Eigen、xtensor、Boost.uBLAS）里仍是关键底层机制——不复杂但容易忽略。
