3. Typelists
Typelists是一個用來操作一大群型別的C++工具。就像lists對數值提供各種基本操作一樣，typelists對型別也提供相同操作。
有些設計模式具體指定并操作一群型別，其中也許有繼承關系（但也許沒有）。顯著的例子是abstract factory和visitor。如果以傳統編程技術來操作一大群型別，將是全然的重復工作。如此重復會導致隱微的代碼膨脹。多數人不會想到其實它可以比現在更好。Typelists帶給你一種能力，可以將經常性的宏工作自動化。Typelists將來自外星球的強大威力帶到C++中，讓它得以支持新而有趣的一些手法。
3.1 Typelists的必要性
有時候你必須針對某些型別重復撰寫相同代碼，而templates無法幫上忙。假如有一個abstract factory，像這樣：
1 class WidgetFactory
2 {
3 public:
4 virtual Window* CreateWindow() = 0;
5 virtual Button* CreateButton() = 0;
6 virtual ScrollBar* CreateScrollBar() = 0;
7 };
如果你想將Abstract Factory概念泛化，不只生成Window、Button、ScrollBar，而是任意型別。怎么辦？
如果你不試圖泛化基本概念，就不太有機會泛化這些概念的具象實體。雖然抽象基類很簡單，但是你會陷入無窮無盡的派生類生成器中。
我們希望能夠這樣去使用一個abstract factory：
1
2 template <class T>
3 T* MakeRedWidget(WidgetFactory& factory)
4 {
5 T* pW = factory.Create<T>();
6 pW -> SetColor(RED);
7 return pW;
8 }
實際這是不可能的，如果Create不是虛函數，那么你就陷入了長長的Switch...case...之中，如果它是虛函數，那么虛函數不能是模板。
Typelists將使Abstract Factories泛化成真，并帶來更多其它利益。