Int2Type的意义

最新推荐文章于 2025-12-31 21:25:26 发布

原创最新推荐文章于 2025-12-31 21:25:26 发布 · 1.1k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#编译器 #算法

C/C++ 专栏收录该内容

4 篇文章

订阅专栏

在很多代码中看到 Int2Type这样的结构：

template <int v>
struct Int2Type
{
    enum { value = v };
};
以下笔记摘自：http://www.cppblog.com/tommy/archive/2006/01/24/2996.html

就是这么一个模板结构，所有的价值在于编译时刻根据常数调用不同函数或者编译期实施编译分支的分派。

emplate <typename T, bool isPolimorphic>
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<isPolimorphic>());
    }
};
如果没有这个 Int2Type，是不可能实现两个“重载”函数 DoSomething( .. Int2Type<true>)和 
DoSomething(...Int2Type<false>)的，NiftyContainer的参数 isPolimorphic只能取true或者false，实际上编译出来的要么是前一个函数，要么是后一个函数。
如果没有这个Int2Type，最容易想到的就是像下面这样做：

if (isPolimorphic)
{
      T * pNewObj = pSomeObj->Clone();
}
else
{
       T * pNewObj = new T (*pSomeObj);
}

如果多态算法使用 pObj->Clone(),那么对于任何一个未曾定义 Clone函数（即isPolimorphic==false）的类来说，这里的前一个分支是编译失败的。
反之，如果 isPolimorphic == true，是不是后面那个分支就保证没问题，一定能通过呢？不是的，如果有一个类设计成为有 Clone函数，但是构造函数是私有的，就不行咯。

所以， Int2Type是跟编译器说：嘿，不要去管那个我不关心的分支。 

妙啊！

注： 这个说明不是所有的选择问题都能用if.... else解决，哈哈，有可能两个都不选择