tommy

It's hard to tell the world we live in is either a reality or a dream
posts - 52, comments - 17, trackbacks - 0, articles - 0
  C++博客 :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理

读书笔记《C++设计新思维》(2) Int2Type的意义

Posted on 2006-01-24 02:20 Tommy Liang 阅读(1033) 评论(0)  编辑 收藏 引用 所属分类: 泛型编程与设计模式

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

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

如下：
template <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是跟编译器说：嘿，不要去管那个我不关心的分支。

妙啊！

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理