让模板类支持可变模板参数(不定个数的参数)

原文：http://blog.csdn.net/bluedog/article/details/4715542

现如今才正真发现c++模板的强大，模板的强大在于不需要使用RTTI机制可以传递参数的类型信息，不过也有其遗憾的地方，就是对于引用和复制，模板并无法区分。例如

template<typename T>

struct Test

{

typedef T Type;

static void PrintTemplateTypeName()

{

     cout << typeid(Type).name() <<endl;

}

};

 

如果我们分别用

第一组 Test<int>,Test<int&>,Test<const int&>其结果是相同的，总是输出 int

第二组 Test<int*>,Test<int* const> 总是输出 int *

第三组 Test<const int*>,Test<const int* const> 总是输出 int const *

此处如果对于 const int * 与 int * const还不了解的朋友可以这样来看

(a)const int *   <==> (const int)*  即指向常量int值的指针,它也可以表述为 int const *;

(b)int * const   <==> (int *) const 即是一个int型指针，不过这个指针不能改变,即不可以做 ++ -- 等操作。

所以很多在写常量字符串指针时写成

const char * str = "Hellow,C++";

这种写法应该说是不完善的，正确的写法应该如下

const char * const str = "Hellow ,C++!";

 

讲了这么多，其实跟我们今天所要讲的东东关系不是很大，我们只要了解到模板不能传递模板参数类型的引用和const修鉓定义。下面走入正题

为什么我们需要模板类支持可变模板参数?

我在写c++事件支持时，需要使用下面一种语法，事件需要一个委托定义。但是由于用户的委托类型是可变的，而且参数也是不一定的，假如这个委托模板类的名字叫delegate，我们好象不能同时写出下面这几种东东出来

delegate<void,void>  ClickHandler;

delegate<void,int,int> DrawHandler;

delegate<int,CDC*, CPoint,CString> DrawTextHandler;

因为类并不支持重载。事实上网上流传的FastDelegate也是使用了FastDelegate0,FastDelegate1这样的东东来区分不同数量的模板参数。

 

模板总是让我们不断发现它的强大。忽然我开悟了，完全可以让模板类支持不同数量的参数。下面给出我的代码，有代码有真相！

 

template<typename T>

struct is_non_template_param

{

    enum { have_template_param =1 };

};

 

template<>

struct is_non_template_param<void>

{

    enum { have_template_param =0 };

};

 

template<typename T1,typename T2,typename T3,typename T4,typename T5>

struct template_params

{

    enum { count = is_non_template_param<T1>::have_template_param +

                  is_non_template_param<T2>::have_template_param +

                  is_non_template_param<T3>::have_template_param +

                  is_non_template_param<T4>::have_template_param +

                  is_non_template_param<T5>::have_template_param };

};

 

template<typename T1 = void,

         typename T2 = void,

        typename T3 = void,

        typename T4 = void,

        typename T5 = void>

struct Delegate

{

    enum{ ParamsCount = template_params<T1,T2,T3,T4,T5>::count };

    int GetParamsCount()

    {

        return ParamsCount;

    }

 

};

 

int _tmain(int argc, _TCHAR* argv[])

{

    Delegate<int,double,char> d1;

    Delegate<int,int*,char*,int> d2;

    Delegate<void> d3;

   

    cout <<"d1 params count =" << d1.GetParamsCount()<<endl;

    cout <<"d2 params count =" << d2.GetParamsCount()<<endl;

    cout <<"d3 params count =" << d3.GetParamsCount()<<endl;

    return 0;

}

我们很容易地就实现了不定参数的模板类。呵呵

(function(w, d, g, J) { var e = J.stringify || J.encode; d[g] = d[g] || {}; d[g]['showValidImages'] = d[g]['showValidImages'] || function() { w.postMessage(e({'msg': {'g': g, 'm':'s'}}), location.href); } })(window, document, '__huaban', JSON);