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
是非常方便的。你可以传递一个临时的变量来重载函数。而之所以我们可以这样做，是因为编译器不会去编译没有用到的模板函数。