在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类，可以大大简化抽象工厂的代码。
