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