参数自动选择引用类型还是值类型

 

对于泛型编程而言,不知道类型的大小,就不好判断选择传递参数时该选择值类型还是引用类型.对int,char这样的型别运用引用反到会使效率降低.下面是参考C++设计新思维的一个实现.

首先是一个型别选择器,根据flag标志判断是选择T,还是选择U,通过模板特化,当flag为true时选择T,当flag为false时选择U

 

   template<bool flag, typename T, typename U>

   class typeSelect

   {

   public:

        typedef T Result;

   };

 

   template<typename T, typename U>

   class typeSelect<false,T ,U>

   {

   public:

        typedef U Result;

   };

 

然后是一个把引用类型还原成原始类型的类,比如说把int&,还原成int.这样是为了防止出现引用的引用这种情况.它也是通过模板特化实现的.

     template<typename T>

     class referenceToOriginal

     {

     public:

         typedef T Type;

     };

 

     template<typename T>

     class referenceToOriginal<T&>

     {

     public:

         typedef T Type;

     };

 

 sizeCompare也是这里的一个辅助类,如果传入的类型的大小大于第二个模板参赛传入的类型,这MORE为true,否则为false.第二个模板参数默认为8,如果测试觉得不合适,可以更改.

不能直接比较

   template<typename T, int size = 8>

   class sizeCompare

   {

   public:

        enum{ MORE = sizeof(T) > size };

   };

  

   最后就是根据与传进的大小比较,选择类型

   template<typename T,int size = 8>

   class valOrRef

   {

        typedef typename referenceToOriginal<T>::Type U;

   public:

        typedef typename typeSelect<sizeCompare<U,size>::MORE,U&,U>::Result Type ;

   };

}

 

在使用的时候

template<typename T>

void Fun(typename valOrRef<T>::Type t)

{

}

 

template<typename T>

class Test

{

     typedef typename valOrRef<T>::Type type;

public:

      void output(type t)

      {

          cout<<t<<endl;

      }

};

 

int main()

{

     typedef valOrRef<int>::Type type;

     typedef valOrRef<string>::Type stype;

     //stype c; 会报错“c”: 必须初始化引用,说明这里选择的是引用类型

     type a = type();//不会报错,说明选择的是值类型

     string str("test");

 

    Test<int> tint;

     tint.output(a);

 

     Test<string> tstr;

     tstr.output(str);

 

     Fun<int>(a);

     Fun<string>(str);

}

这样模板类Test可以根据模板参数决定output的参数类型是值类型还是引用类型.

但也有一个缺陷,在使用模板函数的时候不能实现类型的自动推导

必须像

     Fun<int>(a);

     Fun<string>(str);

这样指明类型才可以调用,很不方便.