v1 + v2 产生临时对象是因为 operator+ 返回值类型（如 vector），编译器必须构造新对象保存结果，触发内存分配、拷贝构造与析构；链式运算中临时对象数量线性增长。
为什么 vector + vector 会产生临时对象
直接写 v1 + v2（假设是自定义 Vector 类型）时，如果 operator+ 返回的是 Vector 值类型，编译器必须构造一个新对象来保存结果。哪怕后续只是立刻赋值给 v3，这个中间 Vector 仍会触发内存分配、拷贝构造、析构——尤其在链式表达如 v1 + v2 + v3 + v4 中，临时对象数量随运算符个数线性增长。
Expression Templates 的核心思路：延迟求值 + 类型编码
不立即计算，而是用模板嵌套生成一个“表达式树”类型，把加法操作编码进类型本身。最终只在赋值（或显式求值）时一次性遍历所有元素完成计算。
-
Vector的operator+不返回Vector，而返回一个轻量级代理类型，比如AddExpr<vector vector></vector> - 该代理类重载
operator[]，内部按需调用左右子表达式的operator[]，不做存储 - 赋值操作符
Vector::operator=(const Expr&)模板化接收任意表达式类型，并在循环中逐元素求值
关键实现细节：避免引用悬挂和模板爆炸
若表达式模板里直接存 const Vector&，而右值临时量（如 make_vector() + v）生命周期短于表达式对象，就会导致悬垂引用。必须区分左值/右值：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 对左值参数用
const T&，对右值参数用T&&并完美转发，或直接按值捕获（适用于小对象） - 为防止模板实例过多，可限制表达式深度（如最多两层嵌套），或用
std::decay_t统一右值类型 - 不要让
AddExpr自己持有数据；它只是“计算协议”，真正数据仍在原始Vector中
示例片段：
template<typename l typename r>
auto operator+(const L& l, const R& r) {
return AddExpr<l r>(l, r); // 构造纯栈对象，无堆分配
}</l></typename>
什么时候不该用 Expression Templates
它不是银弹。以下情况反而更慢或更难维护：
- 向量极小（如
Vector），函数调用开销可能超过临时对象成本 - 表达式含分支或条件逻辑（
if/ 三目），模板无法静态推导执行路径 - 调试困难：类型名巨长（
AddExpr<mulexpr>, SubExpr<...>></...></mulexpr>），GDB 显示不友好 - 与
std::vector混用时，无法自动隐式转换为原生容器
真正受益的场景是固定大小、数值密集、长链算术表达式（如物理仿真内循环），且你控制整个向量类型生态。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
