TypeList的威力

 

在Loki库里
通过
template <class T, class U>
struct Typelist
{
typedef T Head;
typedef U Tail;
};
和
#define LOKI_TYPELIST_1(T1) ::Loki::Typelist<T1, ::Loki::NullType>

#define LOKI_TYPELIST_2(T1, T2) ::Loki::Typelist<T1, LOKI_TYPELIST_1(T2) >

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

#define LOKI_TYPELIST_4(T1, T2, T3, T4) \
::Loki::Typelist<T1, LOKI_TYPELIST_3(T2, T3, T4) >

#define LOKI_TYPELIST_5(T1, T2, T3, T4, T5) \
::Loki::Typelist<T1, LOKI_TYPELIST_4(T2, T3, T4, T5) >

#define LOKI_TYPELIST_6(T1, T2, T3, T4, T5, T6) \
::Loki::Typelist<T1, LOKI_TYPELIST_5(T2, T3, T4, T5, T6) >

#define LOKI_TYPELIST_7(T1, T2, T3, T4, T5, T6, T7) \
::Loki::Typelist<T1, LOKI_TYPELIST_6(T2, T3, T4, T5, T6, T7) >

#define LOKI_TYPELIST_8(T1, T2, T3, T4, T5, T6, T7, T8) \
::Loki::Typelist<T1, LOKI_TYPELIST_7(T2, T3, T4, T5, T6, T7, T8) >

#define LOKI_TYPELIST_9(T1, T2, T3, T4, T5, T6, T7, T8, T9) \
::Loki::Typelist<T1, LOKI_TYPELIST_8(T2, T3, T4, T5, T6, T7, T8, T9) >

#define LOKI_TYPELIST_10(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) \
::Loki::Typelist<T1, LOKI_TYPELIST_9(T2, T3, T4, T5, T6, T7, T8, T9, T10) >


提供了一个很好的威力：参数类型可置换成另一个TypeList,以达到无限扩展。
这在一个template参数需求会经常变化的问题上特别有用， 例如抽象工厂模式,它需要在其里面对
每一款产品定义一个对外的接口。所以如果增加新的产品，则就要修改抽象工厂的代码。
但如果把产品类型写成抽象工厂的template参数,则可以避免修改抽象工厂内部代码的问题。
template参数如再加上内部的template类，可以大大简化抽象工厂的代码。