C++模版使用技巧--Int2Type

一 Int2Type

平常我们所看到的int是一个类型，例如1，2，3...等属于int。 但是这里说的是通过模版使每一个int类型变量都当成是不同的类型。

二 C++模版的迟绑定

这个名字是我起的，因为不知道正式的称呼是什么，意思是说在使用C++的模版的时候，只有在你的代码里面调用了某个模版方法，在编译的时候才会产生对应的方法，也即编译后的代码中不包含我们没有使用的模版方法。看下面的实例是可以编译运行的：

</pre><pre class="cpp" name="code">class X {
public:
void f() {}
};

class Y {
public:
void g() {}
};

template <typename T> class Z {
T t;
public:
void a() { t.f(); }
void b() { t.g(); }
};

int main() {
Z<X> zx;
zx.a(); // Doesn't create Z<X>::b()
Z<Y> zy;
zy.b(); // Doesn't create Z<Y>::a()
}

三 问题

template <typename T, bool isPolymorphic>
class NiftyContainer
{
void DoSomething()
{
T* pSomeObj = ;
if (isPolymorphic)
{
T* pNewObj = pSomeObj->Clone();

}
else
{
T* pNewObj = new T(*pSomeObj);

}
}
};
class Test
{
public:
Test(){};
};

void main()
{
NiftyContainer<Test,true> test;
//test.DoSomething(); // 这里通不过编译

}

 

大家也许会说上面的方法代码没有问题，我说，有问题，仔细看一开始的代码和我的说明，我说的是只要我们的代码里面用到模版方法就会被编译为目标代码，而不是说在代码运行的时候使用到的代码才会被编译为目标代码，好的，搞清楚了这个就可以知道上面的实例为什么通不过编译了。

四 Int2Type

下面正式进入主题Int2Type的作用和使用，上面的实例，我们传入的T类型中只有clone或public构造函数中的一个，我们想根据bool值来选择使用clone或new，但是上面的代码有问题，编译都不过偶，下面使用Int2Type来实现：

template <int v>
struct Int2Type
{
enum { value = v };
};

template <typename T, bool isPolymorphic>
class NiftyContainer
{
private:
void DoSomething(T* pObj, Int2Type<true>)
{
T* pNewObj = pObj->Clone();

}
void DoSomething(T* pObj, Int2Type<false>)
{
T* pNewObj = new T(*pObj);

}
public:
void DoSomething(T* pObj)
{
DoSomething(pObj, Int2Type<isPolymorphic>());
}
};
class Test
{
public:
Test(){};
};
void main()
{
NiftyContainer<Test,false> test; //如果用ture不会通过编译
Test* t = new Test();
test.DoSomething(t);
}

看了上面的代码，我不禁要再次的赞叹《C++设计新思维》的作者，高！