C++ 模板详解（二）
C++模板
四、类模板的默认模板类型形参
1、可以为类模板的类型形参提供默认值，但不能为函数模板的类型形参提供默认值。函数模板和类模板都可以为模板的非类型形参提供默认值。
2、类模板的类型形参默认值形式为：template<class T1, class T2=int> class A{};为第二个模板类型形参T2提供int型的默认值。
3、类模板类型形参默认值和函数的默认参数一样，如果有多个类型形参则从第一个形参设定了默认值之后的所有模板形参都要设定默认值，比如template<class T1=int, class T2>class A{};就是错误的，因为T1给出了默认值，而T2没有设定。
4、在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型。比如template<class T1, class T2=int> class A{public: void h();}; 定义方法为template<class T1,class T2> void A<T1,T2>::h(){}。
定义类模板类型形参：
演示实例1：
TemplateDemo.h
1 #ifndef TEMPLATE_DEMO_HXX
2 #define TEMPLATE_DEMO_HXX
3
4 template<class T> class A{
5 public:
6 T g(T a,T b);
7 A();
8 };
9
10 #endif
TemplateDemo.cpp
1 #include<iostream.h>
2 #include "TemplateDemo.h"
3
4 template<class T> A<T>::A(){}
5
6 template<class T> T A<T>::g(T a,T b){
7 return a+b;
8 }
9
10 void main(){
11 A<int> a;
12 cout<<a.g(2,3)<<endl;
13 }
运行结果： 5
类模板的默认模板类型形参示例1：
TemplateDemo03.h
1 #ifndef TEMPLATE_DEMO_03
2 #define TEMPLATE_DEMO_03
3 //定义带默认类型形参的类模板。这里把T2默认设置为int型。
4 template<class T1,class T2=int> class CeilDemo{
5 public:
6 int ceil(T1,T2);
7 };
8 //在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型。
9 template<class T1,class T2>
10 int CeilDemo<T1,T2>::ceil(T1 a,T2 b){
11 return a>>b;
12 }
13
14 #endif
TemplateDemo03.cpp
1 #include<iostream.h>
2 #include "TemplateDemo03.h"
3
4 void main(){
5 CeilDemo<int> cd;
6 cout<<cd.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)
原作者：类模板类型形参默认值和函数的默认参数一样，如果有多个类型形参则从第一个形参设定了默认值之后的所有模板形参都要设定默认值，比如template<class T1=int, class T2>class A{};就是错误的，因为T1给出了默认值，而T2没有设定。
实例测试如下：
类模板的默认模板类型形参示例2：
TemplateDemo03.h
1 #ifndef TEMPLATE_DEMO_03
2 #define TEMPLATE_DEMO_03
3
4 template<class T1=int,class T2,class T3> class CeilDemo{
5 public:
6 int ceil(T1,T2,T3);
7 };
8
9 template<class T1,class T2,class T3>
10 int CeilDemo<T1,T2,T3>::ceil(T1 a,T2 b,T3 c){
11 return a+b+c;
12 }
13
14 #endif
TemplateDemo03.cpp
1 #include<iostream.h>
2 #include "TemplateDemo03.h"
3
4 void main(){
5 CeilDemo<int,int> cd;
6 cout<<cd.ceil(2,3,4)<<endl;
7 }
运行结果： 9
上例中我们看到，虽然多个类型形参则从第一个形参T1设定了默认值为int类型，但后面的两个并没有设定默认值。我们在声明对象的时候指明了T2和T3的类型都为int类型，编译、运行没有任何警告和错误。但并不能否定原作者是错的，这只是一个特例，看下面的示例：
类模板的默认模板类型形参示例3：
TemplateDemo03.h
1 #ifndef TEMPLATE_DEMO_03
2 #define TEMPLATE_DEMO_03
3
4 template<class T1=int,class T2,class T3> class CeilDemo{
5 public:
6 double ceil(T1,T2,T3);
7 };
8
9 template<class T1,class T2,class T3>
10 double CeilDemo<T1,T2,T3>::ceil(T1 a,T2 b,T3 c){
11 return a+b+c;
12 }
13
14 #endif
TemplateDemo03.cpp
1 #include<iostream.h>
2 #include "TemplateDemo03.h"
3
4 void main(){
5 CeilDemo<double,double> cd;
6 cout<<cd.ceil(2,3.1,4.1)<<endl;
7 }
编译错误：
1 --------------------Configuration: TemplateDemo03 - Win32 Debug-------------------- 2 Compiling... 3 TemplateDemo03.cpp 4 g:\c++\cdaima\templatedemo03\templatedemo03.h(12) : 5 error C2244: 'CeilDemo<T1,T2,T3>::ceil' : unable to resolve function overload 6 g:\c++\cdaima\templatedemo03\templatedemo03.cpp(6) : 7 error C2065: 'cd' : undeclared identifier 8 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_03
2 #define TEMPLATE_DEMO_03
3
4 template<class T1=int,class T2=double,class T3=double> class CeilDemo{
5 public:
6 double ceil(T1,T2,T3);
7 };
8
9 template<class T1,class T2,class T3>
10 double CeilDemo<T1,T2,T3>::ceil(T1 a,T2 b,T3 c){
11 return a+b+c;
12 }
13
14 #endif
TemplateDemo03.cpp
1 #include<iostream.h>
2 #include "TemplateDemo03.h"
3
4 void main(){
5 CeilDemo<int,double,double> cd;
6 cout<<cd.ceil(2,3.1,4.1)<<endl;
7 }
编译错误：
--------------------Configuration: TemplateDemo03 - Win32 Debug-------------------- Compiling... TemplateDemo03.cpp g:\c++\cdaima\templatedemo03\templatedemo03.h(12) : error C2244: 'CeilDemo<T1,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 #include<iostream.h>
2
3 template<class T1,class T2,class T3>
4 T1 sum(T1 a,T2 b,T3 c=int){
5 return a+b+c;
6 }
7
8 void main(){
9 cout<<sum<double,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 #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 }
运行结果： 261.1
原作者演示实例如下：
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()"<<endl;} //错误，在类模板外部定义带有默认类型的形
39 参时，在template的形参表中默认值应省略。
40 //定义一些全局变量。
41 int e=2; doubleed=2.2; double*pe=&ed;
42 A<int> mw; A<int> *pec=&mw; E me;
43
44 //main函数开始
45 int main()
46 { // template<class T>void h(){} //错误，模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行。
47 //A<2> m; //错误，对类模板不存在实参推演问题，类模板必须在尖括号中明确指出其类型。
48 //类模板调用实例
49 A<int> ma; //输出"class A goucao int"创建int型的类模板A的对象ma。
50 B<int,int> mb; mb.g(); //输出"class B g() int int"创建类模板B的对象mb，并把类型形参T1和T2设计为int
51 //非类型形参的调用
52 //调用非类型模板形参的实参必须是一个常量表达式，即他必须能在编译时计算出结果。任何局部对象，局部变量，局部对象的地址，局部
53 变量的地址都不是一个常量表达式，都不能用作非类型模板形参的实参。全局指针类型，全局变量，全局对象也不是一个常量表达式，不能
54 用作非类型模板形参的实参。
55 //全局变量的地址或引用，全局对象的地址或引用const类型变量是常量表达式，可以用作非类型模板形参的实参。
56 //调用整型int型非类型形参的方法为名为Ci，声明形式为template<class T1,int a> class Ci
57 Ci<int,3>//正确，数值R是一个int型常量，输出"class Ci g() int"
58 const int a2=3; Ci<int,a2> mci1; mci1.g(); //正确，因为a2在这里是const型的常量。输出"class Ci g() int"
59 //Ci<int,a> mci; //错误，int型变量a是局部变量，不是一个常量表达式。
60 //Ci<int,e> mci; //错误，全局int型变量e也不是一个常量表达式。
61 //调用int&型非类型形参的方法类名为Cip，声明形式为template<class T1,int &a>class Cip
62 Cip<int,e> mcip; //正确，对全局变量的引用或地址是常量表达式。
63 //Cip<int,a> mcip1; //错误，局部变量的引用或地址不是常量表达式。
64 //调用double*类型的非类形形参类名为Cd，声明形式为template<class T1,double *a>class Cd
65 Cd<int,&ed> mcd; //正确，全局变量的引用或地址是常量表达式。
66 //Cd<int,pe> mcd1; //错误，全局变量指针不是常量表达式。
67 //double dd=3.3; //错误，局部变量的地址不是常量表达式，不能用作非类型形参的实参
68 //Cd<int,&e> mcd; //错误，非类型形参虽允许一些转换，但这个转换不能实现。
69
70 //调用模板类型形参对象A<int> *的方法类名为Cc，声名形式为template<class T1,A<int>* m> class Cc
71 Cc<int,&mw> mcc; mcc.g(); //正确，全局对象的地址或者引用是常量表达式
72 //Cc<int,&ma> mcc; //错误，局部变量的地址或引用不是常量表达式。
73 //Cc<int,pec> mcc2; //错误，全局对象的指针不是常量表达式。
74
75 //调用非类型形参E&对象的引用的方法类名为Ce。声明形式为template<class T1,E &m> class Ce
76 E me1; //Ce<int,me1> mce1; //错误，局部对象不是常量表达式
77 Ce<int,me> mce; //正确，全局对象的指针或引用是常量表达式。
78 //非类型形参的转换示例，类名为Ci
79 //非类型形参允许从数组到指针，从函数到指针的转换，const修饰符的转换，提升转换，整值转换，常规转换。
80 const short s=3; Ci<int,s> mci4†//正确，虽然short型和int不完全匹配，但这里可以将short型转换为int型
C++ 模板详解（二）相关推荐
- android组件模板,提高效率必备神器 ---- Android Studio模板详解
原标题:提高效率必备神器 ---- Android Studio模板详解 Android Studio模板大家应该很熟悉,你新建一个project或者module的时候,AS会帮你提供几个选项供你选择 ...
- 安卓 linux init.rc,[原创]Android init.rc文件解析过程详解(二)
Android init.rc文件解析过程详解(二) 3.parse_new_section代码如下: void parse_new_section(struct parse_state *state ...
- 26.C++- 泛型编程之类模板(详解)
在上章25.C++- 泛型编程之函数模板(详解) 学习了后,本章继续来学习类模板 类模板介绍 和函数模板一样,将泛型思想应用于类. 编译器对类模板处理方式和函数模板相同,都是进行2次编译 类模板通 ...
- [转]文件IO详解(二)---文件描述符(fd)和inode号的关系
原文:https://www.cnblogs.com/frank-yxs/p/5925563.html 文件IO详解(二)---文件描述符(fd)和inode号的关系 ---------------- ...
- PopUpWindow使用详解(二)——进阶及答疑
相关文章: 1.<PopUpWindow使用详解(一)--基本使用> 2.<PopUpWindow使用详解(二)--进阶及答疑> 上篇为大家基本讲述了有关PopupWindow ...
- Android init.rc文件解析过程详解(二)
Android init.rc文件解析过程详解(二) 3.parse_new_section代码如下: void parse_new_section(struct parse_state *state ...
- linux 进程间通信 dbus-glib【实例】详解二（下） 消息和消息总线（ListActivatableNames和服务器的自动启动）（附代码）
linux 进程间通信 dbus-glib[实例]详解一(附代码)(d-feet工具使用) linux 进程间通信 dbus-glib[实例]详解二(上) 消息和消息总线(附代码) linux 进程间 ...
- linux 进程间通信 dbus-glib【实例】详解二（上） 消息和消息总线（附代码）
linux 进程间通信 dbus-glib[实例]详解一(附代码)(d-feet工具使用) linux 进程间通信 dbus-glib[实例]详解二(上) 消息和消息总线(附代码) linux 进程间 ...
- Android Gradle 自定义Task详解二：进阶
转载请标明出处:http://blog.csdn.net/zhaoyanjun6/article/details/78523958 本文出自[赵彦军的博客] 系列目录 Android Gradle使用 ...
- Android Loader 异步加载详解二：探寻Loader内部机制
Android Loader 异步加载详解二:探寻Loader内部机制 转载请标明出处:http://blog.csdn.net/zhaoyanjun6/article/details/7025991 ...
最新文章
- 万维网与HTTP协议
- boost::owner_hash相关的测试程序
- 华为手机如何调时间显示_华为手机照片如何出现时间地点天气，教你30秒，一学就会...
- python2.7输入函数_Python2.7的用户输入函数有问题，无法让这些输入与程序一起工作...
- 12 哈希表相关类——Live555源码阅读(一)基本组件类
- gdb x命令_gdb基本命令
- shell_之_find(查找)
- 代码中findOne方法找不到
- 使用CUDA遇到的坑
- scala上界_Scala方差，上界和下界
- js中事件处理程序的内存优化
- ValueError: No JSON object could be decoded?此种异常的解决方案之一
- Excel 2010的新功能简介
- QWT基础教程之barchart
- androidx86编译踩坑
- SSM流浪狗领养系统
- Android Xposed 框架
- Kubernetes 1.25 发布！博云带你玩转新特性
- 小孩手工_儿童折纸大全_近150篇儿童手工折纸图解教程,小孩折纸必备 - 聚巧网...
- Spring之Bean的自动装配
热门文章
- java中 hashmap中小数,java基础知识--HashMap中对 h(length-1)的理解
- 华为 connect大会2020_英诺森ProcessGo机器人亮相2019华为CONNECT大会
- java监控任务进度_Java Swing组件实现进度监视功能示例
- 《mongodb权威指南》学习
- 【Linux】23.ubuntu定时执行脚本/etc/crontab 和 定时任务不执行的解决办法
- velocity模板 If / ElseIf / Else语法
- jQuery学习笔记--JqGrid相关操作 方法列表 备忘 重点讲解(超重要)
- 从零开始学习jQuery (三) 管理jQuery包装集
- Java并发编程（3）：线程挂起、恢复与终止的正确方法（含代码）
- 机器学习经典书籍小结