关于boost::tuple的实现，请参见http://www.cppblog.com/yindf/archive/2009/02/24/74801.html。
具体用法，请参见http://www.boost.org/doc/libs/1_38_0/libs/tuple/doc/tuple_users_guide.html。

关于表达式，在计算机中，最熟悉的就是前缀表达式，就像汇编一样。所以，要先制定出来一套“汇编”，
然后将c++表达式翻译成“汇编”，保存起来，然后在需要的时候，把汇编展开成可执行的c++代码，就OK了。

这个说的太虚，来点实际的。
表达式可以抽象地表达成 expression<class action, class argument>
前面表示操作的类型，后面表示操作的对象。（注意，都是讲类型，和对象没关系）
定义一组action，比如: add_action, mul_action ==
然后对于argument，可能需要的argument数量不一样多，所以用boost::tuple来保存argument，tuple最多可以保存10个type，基本够用了。

好了，那来个example吧。

假设定义了
class add_action {};
class x_type {};
class y_type {};

x_type x;
y_type y;
那么 x + y， 对应的表达式就是 expression<add_action, tuple< x_type, y_type> >。 它是个类型，如果有一个这个类型的变量，那么x + y这个表达式的信息就可以保存起来了。这里有点抽象，慢慢理解。

tuple里面当然可以保存expression，所以这个表达式可以嵌套起来，比如：
expression<add_action, tuple< x_type, expression<mul_action, tuple<x_type, y_type> > >就对应 x + x * y 。

所以如果
expression<add_action, tuple< x_type, expression<mul_action, tuple<x_type, y_type> > > exp;

exp是一个变量，它保存了x+x*y的这个表达式的信息，注意，是表达式的信息，和具体的变量没有关系。

看到这里是不是清楚了一点，有了这个表达式信息，这个表达式就可以在需要的地方被转化成为可以执行的c++代码。
比如：

template<class Arg>
expression<add_action, Arg>
{
   template <class _T>
   _T operator()(const _T& t1, const _T& t2)
   {
      return t1 + t2;
   }
};

好了，现在想想x+x吧，他会被转化成expression<add_action, tuple<x_type, x_type>;
那么当我们定义expression<add_action, tuple<x_type, x_type> exp；以后呢，
调用 exp(3.0, 4.0)，就会调用上面那个模板函数的operator()，然后t1==3.0, t2==4.0, 返回的结果就是3.0+4.0=7.0了。
注意红色的地方，这就是把表达式信息转化为可执行c++语句的关键。
现在exp就表示两个对象相加，任何对象都可以，只要能执行 operator+ ，都可以。
那么 exp(3.0, exp(4.0, 5.0) ) 就表示 3.0+（4.0+5.0） 啦。

当定义了足够多的”汇编“表达以后，c++的表达式就可以自由的转化成这种可以被保存起来的表达式。

这里忽略了一个问题，就是我们只知道最终要转化的目标，但是手段，或者说方法呢，就是说怎么通过 x+x 制造
一个expression<add_action, tuple<x_type, x_type>类型出来，这就要靠模板演绎了。很复杂，
下一篇再说吧。

总结一下，主要内容是如何把表达式的信息保存起来，怎么把保存好的信息和c++的基本操作对应起来。