表达式模板是延迟求值的编译期优化手段，通过模板元编程构造惰性表达式树，赋值时单趟遍历计算并消除临时对象，但仅在密集数值运算且存在临时对象或缓存瓶颈时才值得使用。
表达式模板不是语法糖，是延迟求值的编译期优化手段
表达式模板（Expression Templates）在 C++ 中本质是用模板元编程把运算符重载链构造成一个惰性计算的表达式树，直到赋值时才真正执行。它不改变语义，但能消除中间临时对象——比如 vec1 + vec2 + vec3 原本会生成两个临时 std::vector，而表达式模板能让它只分配一次结果内存，并单趟遍历完成全部加法。
关键判断：只有当你频繁做向量/矩阵等密集数值运算，且性能瓶颈明确卡在临时对象构造/拷贝或缓存不友好时，才值得上表达式模板；否则它只会增加编译时间、模板错误信息爆炸、调试困难。
operator+ 返回 proxy 类型，不是具体值
这是最常踩的坑：直接让 operator+ 返回 Vector 本身，就彻底废掉了整个机制。必须返回一个轻量 proxy（如 VecAdd），里面只存引用或指针，不进行任何计算。
- proxy 类型需模板化，参数为左右操作数的实际类型（支持嵌套，如
VecAdd）, VecMul<...>> - proxy 必须重载
operator[]或eval()，把下标访问转为递归展开计算 - 最终
Vector的赋值运算符（operator=）要特化接收所有可能的 proxy 类型 - 别忘了
const正确性：proxy 里存的引用得是const T&，否则绑定临时对象会出错
示例骨架：
template<typename l typename r>
struct VecAdd {
const L& lhs;
const R& rhs;
VecAdd(const L& l, const R& r) : lhs(l), rhs(r) {}
double operator[](size_t i) const { return lhs[i] + rhs[i]; }
};</typename>
operator[] 里不能有运行时分支或虚函数调用
表达式模板的性能收益高度依赖编译器能否将整条表达式树内联并向量化。一旦 operator[] 里出现 if、函数指针、虚函数调用或非 trivial 构造，编译器大概率放弃优化，甚至生成比朴素实现更慢的代码。
- 所有计算逻辑必须是 constexpr 友好或至少 trivial 的算术运算
- 避免在 proxy 中存储状态（如索引偏移、缩放因子），改用模板参数传递（如
VecScaled） - 如果需要条件逻辑（如 masked operation），得靠 SFINAE 或
if constexpr在编译期分支，而不是运行时 - 注意对齐和访存模式：proxy 的
operator[]应保证连续下标访问对应连续内存读取，否则 SIMD 自动向量化失败
调试时看不到中间结果，gdb 几乎无用
表达式模板的 proxy 对象在 gdb 里通常显示为一堆未实例化的模板符号，print 某个 VecAdd 变量只会看到地址和空字段——因为真正计算压根没发生。这不是 bug，是设计使然。
- 调试数值逻辑时，先关掉表达式模板（用宏开关），切回朴素实现验证算法正确性
- 想观察某层 proxy 行为？给该 proxy 加一个
debug_print()成员函数，手动触发eval()并输出前几项 - 编译期错误信息极长，聚焦看第一行报错位置 + 最后一行 “required from here”，中间全是模板展开堆栈，跳过中间 90% 内容
- Clang 比 GCC 给出的表达式模板错误提示略友好，但依然建议用
static_assert在 proxy 构造函数里提前拦截非法组合（如维度不匹配）
真正难的从来不是写出来，而是判断哪一层该展开、哪一层该保持惰性，以及在 debug 版本里怎么不破坏接口一致性地插入可观测性。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
