ITPub博客

首页 > Linux操作系统 > Linux操作系统 > 型别选择

型别选择

原创 Linux操作系统 作者:xw_z 时间:2009-08-14 20:31:47 0 删除 编辑

型别选择

 

Ø         需求:

有时候,泛型程序需要根据一个boolean变量来选择某个型别或另一型别。

Ø         例:

如果你想写一个泛型容器NiftyContainer,你也许会以一个std::vector作为后端存储结构。面对polymorphic(多态)型别,必须存储其指针;面对non-polymorphic(非多态)型别,可以存储其实体,以提高访问效率。在你的class template中:

template

class NiftyContainer

{

      

};

根本而言,你需要根据isPolymorphic来决定将ValueType定义为T*T

Ø         解决方法:

1)  使用traits class template技巧:

template

              struct NiftyContainerValueTraits

{

       typedef T* ValueType;

};

template

              struct NiftyContainerValueTraits

{

       typedef T ValueType;

};

template

class NiftyContainer

{

             

              typedef NiftyContainerValueTraits Traits;

              typedef typename Traits::ValueType ValueType;

};

该方法缺点:笨拙难用,无法扩充。这个traits class template只适用于型别TT*之间的选择,对与其它不同的型别的选择,你都必须定义出专属的traits class template

2)  Loki库的Select class template(采用模板偏特化机制)

template

struct Select

{

        typedef T Result;

};

template< typename T,typename U>

struct Select

{

        typedef U Result;

};

现在就可以方便的定义NiftyContainer::ValueType了:

template

class NiftyContainer

{

             

              typedef Select< isPolymorphic ,T*,T>::Result ValueType;

};

 

来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/17014649/viewspace-612376/,如需转载,请注明出处,否则将追究法律责任。

请登录后发表评论 登录
全部评论

注册时间:2009-05-22

  • 博文量
    28
  • 访问量
    38708