TypeList的威力

最新推荐文章于 2020-11-19 20:25:12 发布

原创最新推荐文章于 2020-11-19 20:25:12 发布 · 1.1k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#产品 #class #扩展

软件工程专栏收录该内容

141 篇文章

订阅专栏

本文详细介绍了C++中使用模板元编程技术实现的TypeList概念，阐述了其在解决参数类型扩展问题上的优势，特别是对于抽象工厂模式的应用。TypeList允许参数类型灵活地转换为另一TypeList，从而实现无限扩展，有效避免了修改内部代码的需求，简化了抽象工厂的实现。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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