關于boost::tuple的實現，請參見http://m.shnenglu.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++的基本操作對應起來。