这棵树看起来是不是还很眼熟，每个叶子结点都是 vector，而每个内部结点则是由 VecTmp 实例化的：这是一棵类型的树，在编译时就确定了。这种通过表达式在编译时得到的复杂类型有一个学名叫： Expression template。在 c++ 中每一个表达式必产生一个结果，而结果必然有类型，类型是编译时的东西，结果却是运行时的。像这种运算表达式，它的最终类型是由其中每一步运算所产生的结果所对应的类型组合起来所决定的，类型确定的过程其实和表达式的识别是一致的。
VecTmp 对象在逻辑上其实也是一棵树，它的成员变量 op1_, op2_ 则分别是左右儿子结点，树的内部结点代表一个运算，叶子结点则为操作数，一遍中序遍历下来，得到的就是整个表达式的值。
神奇的 boost::proto
expression template 是个好东西(就正如 expression SFINAE 一样)，它能帮助你在编译时建立非常复杂好玩的类型系统（从而实现很多高级玩意，主要是函数式)。但显然如果什么东西都需要自己从头开始写，这个技术用起来还是很麻烦痛苦的，好在模板元编程实在是个太好玩的东西，已经有很多人做了很多先驱性的工作，看看 boost proto 吧，在 c++ 的世界里再打开一扇通往奇怪世界的大门
注：相关教程知识阅读请移步到C++教程频道。
