Modern C++ Design 笔记 第三章 3. TypeList

 套用一个现在很流行的句式，（好多什么编程之美或者代码之美的）。我想看了第三章Modern C++ Design能感受的就是递归之美。而其中主要介绍的TypeList就是这样一个递归演绎的完美的例子。

其实TypeList本身的定义非常简单。就是一个有Head有Tail的一个简单的空的定义
template
struct Typelist
{
typedef T Head;
typedef U Tail;
};
但是如果加上一下这一组宏定义，这个原来的定义就可以无限延伸了

#define LOKI_TYPELIST_1(T1) ::Loki::Typelist
#define LOKI_TYPELIST_2(T1, T2) ::Loki::Typelist
#define LOKI_TYPELIST_3(T1, T2, T3) ::Loki::Typelist

当 然这里的Loki就是本书主要介绍的Loki Library.的名字空间。用过这样的递归的调用你就可以创建出类似的LOKI_TYPELIST_50甚至LOKI_TYPELIST_100。当让 可以让他变的更为强大，强大到随意的添加一个新的类，删除其中的一个类，或者删除冗余的重复。
我们从简单的来看先：

template struct Length;
template <> struct Length
{
enum { value = 0 };
};

template
struct Length<> >
{
enum { value = 1 + Length::value };
};

这 里的实现处处投射出递归的思想，Length这样的模板如何显示出value呢。如果TList是NullType的时候（NullType是这里定义的 一个表示空的类，前面章已有说明），那长度就是0，慢慢来， 如果这个TypeList是TypeList，可以