關(guān)于boost::tuple的實現(xiàn)，請參見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。

關(guān)于表達(dá)式，在計算機(jī)中，最熟悉的就是前綴表達(dá)式，就像匯編一樣。所以，要先制定出來一套“匯編”，
然后將c++表達(dá)式翻譯成“匯編”，保存起來，然后在需要的時候，把匯編展開成可執(zhí)行的c++代碼，就OK了。

這個說的太虛，來點實際的。
表達(dá)式可以抽象地表達(dá)成 expression<class action, class argument>
前面表示操作的類型，后面表示操作的對象。（注意，都是講類型，和對象沒關(guān)系）
定義一組action，比如: add_action, mul_action ==
然后對于argument，可能需要的argument數(shù)量不一樣多，所以用boost::tuple來保存argument，tuple最多可以保存10個type，基本夠用了。

好了，那來個example吧。

假設(shè)定義了
class add_action {};
class x_type {};
class y_type {};

x_type x;
y_type y;
那么 x + y， 對應(yīng)的表達(dá)式就是 expression<add_action, tuple< x_type, y_type> >。 它是個類型，如果有一個這個類型的變量，那么x + y這個表達(dá)式的信息就可以保存起來了。這里有點抽象，慢慢理解。

tuple里面當(dāng)然可以保存expression，所以這個表達(dá)式可以嵌套起來，比如：
expression<add_action, tuple< x_type, expression<mul_action, tuple<x_type, y_type> > >就對應(yīng) x + x * y 。

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

exp是一個變量，它保存了x+x*y的這個表達(dá)式的信息，注意，是表達(dá)式的信息，和具體的變量沒有關(guān)系。

看到這里是不是清楚了一點，有了這個表達(dá)式信息，這個表達(dá)式就可以在需要的地方被轉(zhuǎn)化成為可以執(zhí)行的c++代碼。
比如：

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

好了，現(xiàn)在想想x+x吧，他會被轉(zhuǎn)化成expression<add_action, tuple<x_type, x_type>;
那么當(dāng)我們定義expression<add_action, tuple<x_type, x_type> exp；以后呢，
調(diào)用 exp(3.0, 4.0)，就會調(diào)用上面那個模板函數(shù)的operator()，然后t1==3.0, t2==4.0, 返回的結(jié)果就是3.0+4.0=7.0了。
注意紅色的地方，這就是把表達(dá)式信息轉(zhuǎn)化為可執(zhí)行c++語句的關(guān)鍵。
現(xiàn)在exp就表示兩個對象相加，任何對象都可以，只要能執(zhí)行 operator+ ，都可以。
那么 exp(3.0, exp(4.0, 5.0) ) 就表示 3.0+（4.0+5.0） 啦。

當(dāng)定義了足夠多的”匯編“表達(dá)以后，c++的表達(dá)式就可以自由的轉(zhuǎn)化成這種可以被保存起來的表達(dá)式。

這里忽略了一個問題，就是我們只知道最終要轉(zhuǎn)化的目標(biāo)，但是手段，或者說方法呢，就是說怎么通過 x+x 制造
一個expression<add_action, tuple<x_type, x_type>類型出來，這就要靠模板演繹了。很復(fù)雜，
下一篇再說吧。

總結(jié)一下，主要內(nèi)容是如何把表達(dá)式的信息保存起來，怎么把保存好的信息和c++的基本操作對應(yīng)起來。