Alexandrescu 最初設(shè)計的一個簡單的模版，現(xiàn)在成了泛型設(shè)計的常用手法：
template <int v>
struct Int2Type {
enum { value = v };
};
對于每一個不同的常整數(shù)， Int2Type 都代表不同的類型。這是因為不同的模版實例化都代表不同的類型，也就是說 Int2Type<0> 和 Int2Type<1> 是完全不同的。
當你想根據(jù)編譯時結(jié)果來進行某些抉擇——例如選擇不同的函數(shù)——時，你可以依賴一個常整數(shù)來幫你完成分派工作，這時 Int2Type 便可以幫你是實現(xiàn)這個方法。
一般來說，你在下面兩個情況中需要使用 Int2Type ：
l 你需要根據(jù)編譯時常量來調(diào)用不同的函數(shù)
l 你需要在編譯時執(zhí)行分派工作
如果是在運行時執(zhí)行分派工作，你可以用 if-else 或 switch 語句來簡單的實現(xiàn)。在大部分的時候，這種運行時成本都是微不足道的。但是，有時它們卻不能滿足你的要求。既是是在編譯期可以決定其分支，編譯器還是會勤勞的為你編譯其所有的分支，這也就意味著 if-else 的所有分支必須被成功編譯。有些困惑？繼續(xù)看下去：
考慮下面的情形：你設(shè)計了一個泛型容器 NiftyContainer ：
template <class T> class NiftyContainer {
...
};
令 NiftyContainer 容器包含指向 T 對象的指針。為了復(fù)制 NiftyContainer 中的一個對象，你可能需要調(diào)用 T 的拷貝構(gòu)造函數(shù)（對于非多態(tài)類型）或者一個名為 Clone() 的虛函數(shù)（對于多態(tài)類型）。你可以通過設(shè)置一個 bool 類型的模版參數(shù)來從類的客戶手里獲得關(guān)于多態(tài)的信息。
template <class T, bool isPolymorphic> class NiftyContainer {
// Other actions
void DoSomething() {
T* pSomeObj = ...;
if(isPolymorphic) {
T* pNewObj = pSomeObj->Clone();
// Some polymorphic algorithm
}
else {
T* pNewObj = new T(*pSomeObj);
// Some non-polymorphic algorithm
}
}
};
問題在于編譯器不會讓你僥幸編譯上面的代碼。例如，如果一個多態(tài)類型沒有定義 Clone() ，那么 NiftyContainer::DoSomething 絕對不會通過編譯。盡管在編譯時我們肯定可以對于分支進行判斷，但這畢竟不是編譯器的工作，他只會勤勞的為你編譯出所有的代碼。于是當你試圖調(diào)用 NiftyContainer<int, false>::DoSomething 的時候，編譯器還是會停在 pObj->Clone() 上，并且抱怨說：“你在做什么？”
對于非多態(tài)類型分支，也有可能發(fā)生編譯錯誤。如果 T 是一個多態(tài)類型，并且把它的拷貝構(gòu)造函數(shù)設(shè)定為 private 的時候（這時一個多態(tài)類的良好行為），非多態(tài)分支的 new T(*pObj) 就會發(fā)生錯誤。
你可能會想，如果編譯器可以不去理會那些不必要的分支就好了，但是看來不太可能。那么，如何是好呢？
其實，方法有很多， Int2Type 提供了一個簡潔的辦法。它可以根據(jù) true 和 false 來生成兩個不同的類型，而后根據(jù) Int2Type<isPolymorphic> 評估正確的調(diào)用。
template <class T, bool isPolymorphic> class NiftyContainer {
private :
// Other actions
void DoSomething(T* pObj, Int2Type<true>) {
T* pNewObj = pSomeObj->Clone();
// Some polymorphic algorithm
}
void DoSomething(T* pObj, Int2Type<false>) {
T* pNewObj = new T(*pSomeObj);
// Some non-polymorphic algorithm
}
public :
void DoSomething(T* pObj) {
DoSomething(pObj, Int2Type<isPolymorphic>());
}
};
當你想把常整數(shù)用作一個類型的時候， Int2Type 是非常方便的。你可以傳遞一個臨時的變量來重載函數(shù)。而之所以我們可以這樣做，是因為編譯器不會去編譯沒有用到的模板函數(shù)。