深圳创业补贴2023,seo宣传网站,网站建设400电话,河北省建设招标网站转载#xff1a;http://www.cnblogs.com/gw811/archive/2012/10/25/2736224.html 四、类模板的默认模板类型形参 1、可以为类模板的类型形参提供默认值#xff0c;但不能为函数模板的类型形参提供默认值。函数模板和类模板都可以为模板的非类型形参提供默认值。 2、类模板的类…转载http://www.cnblogs.com/gw811/archive/2012/10/25/2736224.html 四、类模板的默认模板类型形参 1、可以为类模板的类型形参提供默认值但不能为函数模板的类型形参提供默认值。函数模板和类模板都可以为模板的非类型形参提供默认值。 2、类模板的类型形参默认值形式为templateclass T1, class T2int class A{};为第二个模板类型形参T2提供int型的默认值。 3、类模板类型形参默认值和函数的默认参数一样如果有多个类型形参则从第一个形参设定了默认值之后的所有模板形参都要设定默认值比如templateclass T1int, class T2class A{};就是错误的因为T1给出了默认值而T2没有设定。 4、在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型。比如templateclass T1, class T2int class A{public: void h();}; 定义方法为templateclass T1,class T2 void AT1,T2::h(){}。 定义类模板类型形参 演示实例1 TemplateDemo.h 1 #ifndef TEMPLATE_DEMO_HXX2 #define TEMPLATE_DEMO_HXX3 4 templateclass T class A{5 public:6 T g(T a,T b);7 A();8 };9
10 #endif TemplateDemo.cpp 1 #includeiostream.h2 #include TemplateDemo.h3 4 templateclass T AT::A(){}5 6 templateclass T T AT::g(T a,T b){7 return ab;8 }9
10 void main(){
11 Aint a;
12 couta.g(2,3)endl;
13 } 运行结果 5 类模板的默认模板类型形参示例1 TemplateDemo03.h 1 #ifndef TEMPLATE_DEMO_032 #define TEMPLATE_DEMO_033 //定义带默认类型形参的类模板。这里把T2默认设置为int型。4 templateclass T1,class T2int class CeilDemo{5 public:6 int ceil(T1,T2);7 };8 //在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型。9 templateclass T1,class T2
10 int CeilDemoT1,T2::ceil(T1 a,T2 b){
11 return ab;
12 }
13
14 #endif TemplateDemo03.cpp 1 #includeiostream.h
2 #include TemplateDemo03.h
3
4 void main(){
5 CeilDemoint cd;
6 coutcd.ceil(8,2)endl;
7 } 运行结果 2 在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型如果没有省略不会出现编译错误而是提出警告 1 --------------------Configuration: TemplateDemo03 - Win32 Debug--------------------
2 Compiling...
3 TemplateDemo03.cpp
4 g:\c\cdaima\templatedemo03\templatedemo03.h(12) :
5 warning C4519: default template arguments are only allowed on a class template; ignored
6
7 TemplateDemo03.obj - 0 error(s), 1 warning(s) 原作者类模板类型形参默认值和函数的默认参数一样如果有多个类型形参则从第一个形参设定了默认值之后的所有模板形参都要设定默认值比如templateclass T1int, class T2class A{};就是错误的因为T1给出了默认值而T2没有设定。 实例测试如下 类模板的默认模板类型形参示例2 TemplateDemo03.h 1 #ifndef TEMPLATE_DEMO_032 #define TEMPLATE_DEMO_033 4 templateclass T1int,class T2,class T3 class CeilDemo{5 public:6 int ceil(T1,T2,T3);7 };8 9 templateclass T1,class T2,class T3
10 int CeilDemoT1,T2,T3::ceil(T1 a,T2 b,T3 c){
11 return abc;
12 }
13
14 #endif TemplateDemo03.cpp 1 #includeiostream.h
2 #include TemplateDemo03.h
3
4 void main(){
5 CeilDemoint,int cd;
6 coutcd.ceil(2,3,4)endl;
7 } 运行结果 9 上例中我们看到虽然多个类型形参则从第一个形参T1设定了默认值为int类型但后面的两个并没有设定默认值。我们在声明对象的时候指明了T2和T3的类型都为int类型编译、运行没有任何警告和错误。但并不能否定原作者是错的这只是一个特例看下面的示例 类模板的默认模板类型形参示例3 TemplateDemo03.h 1 #ifndef TEMPLATE_DEMO_032 #define TEMPLATE_DEMO_033 4 templateclass T1int,class T2,class T3 class CeilDemo{5 public:6 double ceil(T1,T2,T3);7 };8 9 templateclass T1,class T2,class T3
10 double CeilDemoT1,T2,T3::ceil(T1 a,T2 b,T3 c){
11 return abc;
12 }
13
14 #endif TemplateDemo03.cpp 1 #includeiostream.h
2 #include TemplateDemo03.h
3
4 void main(){
5 CeilDemodouble,double cd;
6 coutcd.ceil(2,3.1,4.1)endl;
7 } 编译错误 1 --------------------Configuration: TemplateDemo03 - Win32 Debug--------------------2 Compiling...3 TemplateDemo03.cpp4 g:\c\cdaima\templatedemo03\templatedemo03.h(12) : 5 error C2244: CeilDemoT1,T2,T3::ceil : unable to resolve function overload6 g:\c\cdaima\templatedemo03\templatedemo03.cpp(6) : 7 error C2065: cd : undeclared identifier8 g:\c\cdaima\templatedemo03\templatedemo03.cpp(6) : 9 error C2228: left of .ceil must have class/struct/union type
10 Error executing cl.exe.
11
12 TemplateDemo03.obj - 3 error(s), 0 warning(s) 从上面的例子我们可以看出当我们试图把T2和T3定义为double类型就会出现错误T1默认定义的是int类型。那是不是我们按照作者所说把T2和T3也设定为默认值double是否还会出现错误看下面的示例 类模板的默认模板类型形参示例4 TemplateDemo03.h 1 #ifndef TEMPLATE_DEMO_032 #define TEMPLATE_DEMO_033 4 templateclass T1int,class T2double,class T3double class CeilDemo{5 public:6 double ceil(T1,T2,T3);7 };8 9 templateclass T1,class T2,class T3
10 double CeilDemoT1,T2,T3::ceil(T1 a,T2 b,T3 c){
11 return abc;
12 }
13
14 #endif TemplateDemo03.cpp 1 #includeiostream.h
2 #include TemplateDemo03.h
3
4 void main(){
5 CeilDemoint,double,double cd;
6 coutcd.ceil(2,3.1,4.1)endl;
7 } 编译错误 --------------------Configuration: TemplateDemo03 - Win32 Debug--------------------
Compiling...
TemplateDemo03.cpp
g:\c\cdaima\templatedemo03\templatedemo03.h(12) :
error C2244: CeilDemoT1,T2,T3::ceil : unable to resolve function overload
g:\c\cdaima\templatedemo03\templatedemo03.cpp(6) :
error C2065: cd : undeclared identifier
g:\c\cdaima\templatedemo03\templatedemo03.cpp(6) :
error C2228: left of .ceil must have class/struct/union type
Error executing cl.exe.TemplateDemo03.obj - 3 error(s), 0 warning(s) 从结果我们可以看出和上例是一样的错误。从实例中我们可以总结如下类模板如果有多个类型形参如果使用类型形参默认值则尽量放在参数列表的末尾而且默认的参数类型必须相同。如果从第一个形参设定了默认值之后的所有模板形参都要设定和第一个形参同类型的默认值。声明本人也是刚接触C以上只是我经过实例演示对原作者提出的一些质疑可能我的示例有不到之处还望大神们不吝赐教共同完善此博客给像我一样的菜鸟提供一个学习的平台 接下来验证“不能为函数模板的类型形参提供默认值” 类模板的默认模板类型形参示例5 TemplateDemo04.cpp 1 #includeiostream.h2 3 templateclass T1,class T2,class T34 T1 sum(T1 a,T2 b,T3 cint){5 return abc;6 } 7 8 void main(){9 coutsumdouble,double(1.1,2.1,3)endl;
10 } 编译错误 1 --------------------Configuration: TemplateDemo04 - Win32 Debug--------------------
2 Compiling...
3 TemplateDemo04.cpp
4 g:\c\cdaima\templatedemo04\templatedemo04.cpp(4) :
5 error C2062: type int unexpected
6 Error executing cl.exe.
7
8 TemplateDemo04.obj - 1 error(s), 0 warning(s) 更改之后的TemplateDemo.cpp 1 #includeiostream.h2 3 templateclass T1,class T2,class T34 T1 sum(T1 a,T2 b,T3 c){5 return abc;6 } 7 8 void main(){9 coutsumdouble,short,int(1.1,3,257)endl;
10 } 运行结果 261.1 原作者演示实例如下 1 类模板非类型形参示例2 //模板的声明或定义只能在全局命名空间或类范围内进行。即不能在局部范围函数内进行比如不能在main函数中声明或定义一个模板。3 //类模板的定义4 templateclass Tclass A{public:T g(T a, T b); A();}; //定义带有一个类模板类型形参T的类A5 templateclass T1,class T2class B{public:void g();}; //定义带有两个类模板类型形参T1T2的类B6 //定义类模板的默认类型形参默认类型形参不适合于函数模板。7 templateclass T1,class T2int class D{public: voidg();}; //定义带默认类型形参的类模板。这里把T2默认设置为int型。8 //templateclass T1int, class T2class E{}; //错误为T1设了默认类型形参则T1后面的所有形参都必须设置认默值。9
10 //以下为非类型形参的定义
11 //非类型形参只能是整型指针和引用像doubleString, String **这样的类型是不允许的。但是double double *对象的引用或指
12 针是正确的。
13 templateclass T1,int a class Ci{public:void g();}; //定义模板的非类型形参形参为整型
14 templateclass T1,int aclass Cip{public:void g();};
15 templateclass T1,Aint* m class Cc{public:void g();}; //定义模板的模板类型形参形参为int型的类A的对象的指针。
16 templateclass T1,double*aclass Cd{public:void g();}; //定义模板的非类型形参形参为double类型的引用。
17 class E{}; templateclass T1,E m class Ce{}; //非类型模板形参为对象的引用。
18 //以下非类型形参的声明是错误的。
19 //templateclass T1,A mclass Cc{}; //错误对象不能做为非类型形参非类型模板形参的类型只能是对象的引用或指针。
20 //templateclass T1,double aclass Cc{}; //错误非类型模板的形参不能是double类型可以是double的引用。
21 //templateclass T1,Aint mclass Cc{}; //错误非类型模板的形参不能是对象必须是对象的引用或指针。这条规则对于模板型参
22 也不例外。
23 //在类模板外部定义各种类成员的方法
24 //typeid(变量名).name()的作用是提取变量名的类型如int a则couttypeid(a).name()将输出int
25 templateclass T AT::A(){coutclass A goucaotypeid(T).name()endl;} //在类模板外部定义类的构造函数的方法
26 templateclass T T AT::g(T a,T b){coutclass A g(T a,T b)endl;} //在类模板外部定义类模板的成员
27 templateclass T1,class T2 voidBT1,T2::g(){coutclass g f()typeid(T1).name()typeid(T2).name()endl;}
28 //在类外面定义类的成员时template后面的模板形参应与要定义的类的模板形参一致
29 templateclass T1,int a voidCiT1,a::g(){coutclass Ci g()typeid(T1).name()endl;}
30 templateclass T1,int a voidCipT1,a::g(){coutclass Cip g()typeid(T1).name()endl;}
31 //在类外部定义类的成员时template后的模板形参应与要定义的类的模板形参一致
32 templateclass T1,Aint *m voidCcT1,m::g(){coutclass Cc g()typeid(T1).name()endl;}
33 templateclass T1,double* a voidCdT1,a::g(){coutclass Cd g()typeid(T1).name()endl;}
34
35 //带有默认类型形参的模板类在类的外部定义成员的方法。
36 //在类外部定义类的成员时template的形参表中默认值应省略
37 templateclass T1,class T2 voidDT1,T2::g(){coutclass D g()endl;}
38 //templateclass T1,class T2int void DT1,T2::g(){coutclass D k()endl;} //错误在类模板外部定义带有默认类型的形
39 参时在template的形参表中默认值应省略。
40 //定义一些全局变量。
41 int e2; doubleed2.2; double*peed;
42 Aint mw; Aint *pecmw; E me;
43
44 //main函数开始
45 int main()
46 { // templateclass Tvoid h(){} //错误模板的声明或定义只能在全局命名空间或类范围内进行。即不能在局部范围函数内进行。
47 //A2 m; //错误对类模板不存在实参推演问题类模板必须在尖括号中明确指出其类型。
48 //类模板调用实例
49 Aint ma; //输出class A goucao int创建int型的类模板A的对象ma。
50 Bint,int mb; mb.g(); //输出class B g() int int创建类模板B的对象mb并把类型形参T1和T2设计为int
51 //非类型形参的调用
52 //调用非类型模板形参的实参必须是一个常量表达式即他必须能在编译时计算出结果。任何局部对象局部变量局部对象的地址局部
53 变量的地址都不是一个常量表达式都不能用作非类型模板形参的实参。全局指针类型全局变量全局对象也不是一个常量表达式不能
54 用作非类型模板形参的实参。
55 //全局变量的地址或引用全局对象的地址或引用const类型变量是常量表达式可以用作非类型模板形参的实参。
56 //调用整型int型非类型形参的方法为名为Ci声明形式为templateclass T1,int a class Ci
57 Ciint,3//正确数值R是一个int型常量输出class Ci g() int
58 const int a23; Ciint,a2 mci1; mci1.g(); //正确因为a2在这里是const型的常量。输出class Ci g() int
59 //Ciint,a mci; //错误int型变量a是局部变量不是一个常量表达式。
60 //Ciint,e mci; //错误全局int型变量e也不是一个常量表达式。
61 //调用int型非类型形参的方法类名为Cip声明形式为templateclass T1,int aclass Cip
62 Cipint,e mcip; //正确对全局变量的引用或地址是常量表达式。
63 //Cipint,a mcip1; //错误局部变量的引用或地址不是常量表达式。
64 //调用double*类型的非类形形参类名为Cd声明形式为templateclass T1,double *aclass Cd
65 Cdint,ed mcd; //正确全局变量的引用或地址是常量表达式。
66 //Cdint,pe mcd1; //错误全局变量指针不是常量表达式。
67 //double dd3.3; //错误局部变量的地址不是常量表达式不能用作非类型形参的实参
68 //Cdint,e mcd; //错误非类型形参虽允许一些转换但这个转换不能实现。
69
70 //调用模板类型形参对象Aint *的方法类名为Cc声名形式为templateclass T1,Aint* m class Cc
71 Ccint,mw mcc; mcc.g(); //正确全局对象的地址或者引用是常量表达式
72 //Ccint,ma mcc; //错误局部变量的地址或引用不是常量表达式。
73 //Ccint,pec mcc2; //错误全局对象的指针不是常量表达式。
74
75 //调用非类型形参E对象的引用的方法类名为Ce。声明形式为templateclass T1,E m class Ce
76 E me1; //Ceint,me1 mce1; //错误局部对象不是常量表达式
77 Ceint,me mce; //正确全局对象的指针或引用是常量表达式。
78 //非类型形参的转换示例类名为Ci
79 //非类型形参允许从数组到指针从函数到指针的转换const修饰符的转换提升转换整值转换常规转换。
80 const short s3; Ciint,s mci4†//正确虽然short型和int不完全匹配但这里可以将short型转换为int型
