#眉標=Boost
#副標=「Boost技術與應用」系列文章（5）
#大標= Boost.Tuple
　　　兼談Loki.Tuple（下）
#作者=文圖／侯捷


==本文相關資訊	<box>===========
• 讀者基礎：擁有C++ templates編程經驗與C++標準程式庫使用經驗。
• 本文測試環境：VC7。
• 本系列文章將匯整至編寫中的《Boost運用與源碼剖析》一書。
• 關鍵術語：Boost, Loki, Tuple, TypeList, Template Template Parameters, meta-programming.
==<end>==============




==<反灰>===========
namespace boost { 
...   
using tuples::tuple;
using tuples::make_tuple;
using tuples::tie;
using tuples::get;
} 
==<end>==============



==<反灰>===========
tuple<int, double, string> obj(-5, 3.14, "obj");
==<end>==============




==<反灰>===========
tuple<int, double, string,
       null_type, null_type, null_type, 
       null_type, null_type, null_type, null_type,
      > obj(-5, 3.14, "obj");
==<end>==============




==<反灰>===========
tuple<int, double, string,
       null_type, null_type, null_type, 
       null_type, null_type, null_type, null_type
      >::
tuple(-5, 3.14, "obj")   //建構式，3個引數
  : inherited(-5, 3.14, "obj",
                null_type(),null_type(),null_type(),
                null_type(),null_type(),null_type(),null_type()
                )
{ };   //以上會喚起base class的建構式並帶10個引數
==<end>==============




==<反灰>===========
template <class T, class U>
struct Typelist
{
    typedef T Head;
    typedef U Tail;
};
#define TYPELIST_1(T1) Typelist<T1, NullType>
#define TYPELIST_2(T1,T2) Typelist<T1, TYPELIST_1(T2) >
#define TYPELIST_3(T1,T2,T3) Typelist<T1, TYPELIST_2(T2,T3) >
...
==<end>==============




==<反灰>===========
template <class T0, class T1, class T2, class T3, class T4,
           class T5, class T6, class T7, class T8, class T9>
struct map_tuple_to_cons
{
  typedef cons<T0,
                  typename map_tuple_to_cons<T1, T2, T3, T4, T5,
                                          T6, T7, T8, T9, null_type>::type
                 > type;
};
==<end>==============




==<反灰>===========
template <>
struct map_tuple_to_cons<null_type, null_type, null_type, 
                 null_type, null_type, null_type, null_type,
                 null_type, null_type, null_type>
{
  typedef null_type type;
};
==<end>==============




==<反灰>===========
tuple<int, double, string> obj(-5, 3.14, "obj");
==<end>==============




==<反灰>===========
      inherited(-5, 3.14, "obj", 
                  null_type(),null_type(),null_type(),
                  null_type(),null_type(),null_type(),null_type() )
==<end>==============




==<反灰>===========

map_tuple_to_cons<int,double,string, null_type 7個>::type
==<end>==============




==<反灰>===========
cons<int, 
      map_tuple_to_cons<double, string, null_type 8 個>::type >
==<end>==============




==<反灰>===========
cons<int, 
      cons<double, 
            map_tuple_to_cons<string, null_type 9 個>::type >> 
==<end>==============




==<反灰>===========
cons<int, 
      cons<double, 
            cons<string, 
                  map_tuple_to_cons<null_type 10 個>::type >>>
==<end>==============





==<反灰>===========
cons<int, cons<double, cons<string, null_type>>>
==<end>==============




==<反灰>===========
      inherited(-5, 3.14, "obj", 
                  null_type(),null_type(),null_type(),
                  null_type(),null_type(),null_type(),null_type() )
==<end>==============




==<反灰>===========
      cons<int, cons<double, cons<string, null_type>>> 
      (-5, 3.14, "obj", 
        null_type(),null_type(),null_type(),
        null_type(),null_type(),null_type(),null_type() )
==<end>==============




==<反灰>===========
cons<int,    (同上述框框)    >::
  cons(-5,…)  //建構式
    : head(-5), tail(…,null_type())   //設定head和tail初值
{ }

==<end>==============




==<反灰>===========
cons<double,               >::
  cons(3.14,…)  //建構式
  : head(3.14), tail(…,null_type())
{ }
==<end>==============




==<反灰>===========
cons<string, null_type>::
  cons("obj",…)
  : head("obj")
{ }
==<end>==============




==<反灰>===========
tuple<int, double, string> obj(-5, 3.14, "obj");
==<end>==============





==更多資訊<box>===========
以下是更多的延伸讀物或網上資源。
• 《Modern C++ Design》chapter 1,2,3，by Andrei Alexandrescu. A.W. 2001
• 《Beyond the C++ Standard Library, An Introduction to Boost》by Bjorn Karlesson, A.W. 2005.
• Boost Libraries Documentation, from http://www.boost.org
==<end>==============


==作者簡介	<box>===========
侯捷
資訊顧問、專欄主筆、大學執教。常著文章自娛，頗示己志。
侯捷網站：http://www.jjhou.com（繁體）
北京鏡站：http://jjhou.csdn.net（簡體）
永久郵箱：jjhou@jjhou.com 
==<end>==============