1 #include<iostream.h>
2
3 template<class T1,class T2,class T3>
4 T1 sum(T1 a,T2 b,T3 c){
5 return a+b+c;
6 }
7
8 void main(){
9 cout<<sum<double,short,int>(1.1,3,257)<<endl;
10 }
1 类模板非类型形参示例
2 //模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行，比如不能在main函数中声明或定义一个模板。
3 //类模板的定义
4 template<class T>class A{public:T g(T a, T b); A();}; //定义带有一个类模板类型形参T的类A
5 template<class T1,class T2>class B{public:void g();}; //定义带有两个类模板类型形参T1，T2的类B
6 //定义类模板的默认类型形参，默认类型形参不适合于函数模板。
7 template<class T1,class T2=int> class D{public: voidg();}; //定义带默认类型形参的类模板。这里把T2默认设置为int型。
8 //template<class T1=int, class T2>class E{}; //错误，为T1设了默认类型形参则T1后面的所有形参都必须设置认默值。
9
10 //以下为非类型形参的定义
11 //非类型形参只能是整型，指针和引用，像double，String, String **这样的类型是不允许的。但是double &，double *对象的引用或指
12 针是正确的。
13 template<class T1,int a> class Ci{public:void g();}; //定义模板的非类型形参，形参为整型
14 template<class T1,int &a>class Cip{public:void g();};
15 template<class T1,A<int>* m> class Cc{public:void g();}; //定义模板的模板类型形参，形参为int型的类A的对象的指针。
16 template<class T1,double*a>class Cd{public:void g();}; //定义模板的非类型形参，形参为double类型的引用。
17 class E{}; template<class T1,E &m> class Ce{}; //非类型模板形参为对象的引用。
18 //以下非类型形参的声明是错误的。
19 //template<class T1,A m>class Cc{}; //错误，对象不能做为非类型形参，非类型模板形参的类型只能是对象的引用或指针。
20 //template<class T1,double a>class Cc{}; //错误，非类型模板的形参不能是double类型，可以是double的引用。
21 //template<class T1,A<int> m>class Cc{}; //错误，非类型模板的形参不能是对象，必须是对象的引用或指针。这条规则对于模板型参
22 也不例外。
23 //在类模板外部定义各种类成员的方法，
24 //typeid(变量名).name()的作用是提取变量名的类型，如int a，则cout<<typeid(a).name()将输出int
25 template<class T> A<T>::A(){cout<<"class A goucao"<<typeid(T).name()<<endl;} //在类模板外部定义类的构造函数的方法
26 template<class T> T A<T>::g(T a,T b){cout<<"class A g(T a,T b)"<<endl;} //在类模板外部定义类模板的成员
27 template<class T1,class T2> voidB<T1,T2>::g(){cout<<"class g f()"<<typeid(T1).name()<<typeid(T2).name()<<endl;}
28 //在类外面定义类的成员时template后面的模板形参应与要定义的类的模板形参一致
29 template<class T1,int a> voidCi<T1,a>::g(){cout<<"class Ci g()"<<typeid(T1).name()<<endl;}
30 template<class T1,int &a> voidCip<T1,a>::g(){cout<<"class Cip g()"<<typeid(T1).name()<<endl;}
31 //在类外部定义类的成员时，template后的模板形参应与要定义的类的模板形参一致
32 template<class T1,A<int> *m> voidCc<T1,m>::g(){cout<<"class Cc g()"<<typeid(T1).name()<<endl;}
33 template<class T1,double* a> voidCd<T1,a>::g(){cout<<"class Cd g()"<<typeid(T1).name()<<endl;}
34
35 //带有默认类型形参的模板类，在类的外部定义成员的方法。
36 //在类外部定义类的成员时，template的形参表中默认值应省略
37 template<class T1,class T2> voidD<T1,T2>::g(){cout<<"class D g()"<<endl;}
38 //template<class T1,class T2=int> void D<T1,T2>::g(){cout<<"class D k()"