(转自http://www.cnblogs.com/gw811/archive/2012/10/25/2738929.html)

C++模板

  模板是C++支持参数化多态的工具,使用模板可以使用户为类或者函数声明一种一般模式,使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。

  模板是一种对类型进行参数化的工具;

  通常有两种形式:函数模板和类模板;

  函数模板针对仅参数类型不同的函数;

  类模板针对仅数据成员和成员函数类型不同的类。

  使用模板的目的就是能够让程序员编写与类型无关的代码。比如编写了一个交换两个整型int 类型的swap函数,这个函数就只能实现int 型,对double,字符这些类型无法实现,要实现这些类型的交换就要重新编写另一个swap函数。使用模板的目的就是要让这程序的实现与类型无关,比如一个swap模板函数,即可以实现int 型,又可以实现double型的交换。模板可以应用于函数和类。下面分别介绍。

  注意:模板的声明或定义只能在全局,命名空间或类范围内进行。即不能在局部范围,函数内进行,比如不能在main函数中声明或定义一个模板。

一、函数模板通式


1、函数模板的格式:

    template <class 形参名,class 形参名,......> 返回类型 函数名(参数列表)

   {

      函数体

   }

  其中template和class是关见字,class可以用typename 关见字代替,在这里typename 和class没区别,<>括号中的参数叫模板形参,模板形参和函数形参很相像,模板形参不能为空。一但声明了模板函数就可以用模板函数的形参名声明类中的成员变量和成员函数,即可以在该函数中使用内置类型的地方都可以使用模板形参名。模板形参需要调用该模板函数时提供的模板实参来初始化模板形参,一旦编译器确定了实际的模板实参类型就称他实例化了函数模板的一个实例。比如swap的模板函数形式为

      template <class T> void swap(T& a, T& b){},

当调用这样的模板函数时类型T就会被被调用时的类型所代替,比如swap(a,b)其中a和b是int 型,这时模板函数swap中的形参T就会被int 所代替,模板函数就变为swap(int &a, int &b)。而当swap(c,d)其中c和d是double类型时,模板函数会被替换为swap(double &a, double &b),这样就实现了函数的实现与类型无关的代码。

  2、注意:对于函数模板而言不存在 h(int,int) 这样的调用,不能在函数调用的参数中指定模板形参的类型,对函数模板的调用应使用实参推演来进行,即只能进行 h(2,3) 这样的调用,或者int a, b; h(a,b)。

  函数模板的示例演示将在下文中涉及!

二、类模板通式


  1、类模板的格式为:

    template<class  形参名,class 形参名,…>   class 类名

    { ... };

  类模板和函数模板都是以template开始后接模板形参列表组成,模板形参不能为空,一但声明了类模板就可以用类模板的形参名声明类中的成员变量和成员函数,即可以在类中使用内置类型的地方都可以使用模板形参名来声明。比如

    template<class T> class A{public: T a; T b; T hy(T c, T &d);};

在类A中声明了两个类型为T的成员变量a和b,还声明了一个返回类型为T带两个参数类型为T的函数hy。

  2、类模板对象的创建:比如一个模板类A,则使用类模板创建对象的方法为A<int> m;在类A后面跟上一个<>尖括号并在里面填上相应的类型,这样的话类A中凡是用到模板形参的地方都会被int 所代替。当类模板有两个模板形参时创建对象的方法为A<int, double> m;类型之间用逗号隔开。

  3、对于类模板,模板形参的类型必须在类名后的尖括号中明确指定。比如A<2> m;用这种方法把模板形参设置为int是错误的(编译错误:error C2079: 'a' uses undefined class 'A<int>'),类模板形参不存在实参推演的问题。也就是说不能把整型值2推演为int 型传递给模板形参。要把类模板形参调置为int 型必须这样指定A<int> m。

  4、在类模板外部定义成员函数的方法为:

    template<模板形参列表> 函数返回类型 类名<模板形参名>::函数名(参数列表){函数体},

比如有两个模板形参T1,T2的类A中含有一个void h()函数,则定义该函数的语法为:

    template<class T1,class T2> void A<T1,T2>::h(){}。

注意:当在类外面定义类的成员时template后面的模板形参应与要定义的类的模板形参一致。

  5、再次提醒注意:模板的声明或定义只能在全局,命名空间或类范围内进行。即不能在局部范围,函数内进行,比如不能在main函数中声明或定义一个模板。

三、模板的形参


有三种类型的模板形参:类型形参,非类型形参和模板形参。

  1、类型形参

    1.1 、类型模板形参:类型形参由关见字class或typename后接说明符构成,如template<class T> void h(T a){};其中T就是一个类型形参,类型形参的名字由用户自已确定。模板形参表示的是一个未知的类型。模板类型形参可作为类型说明符用在模板中的任何地方,与内置类型说明符或类类型说明符的使用方式完全相同,即可以用于指定返回类型,变量声明等。

    作者原版:1.2、 不能为同一个模板类型形参指定两种不同的类型,比如template<class T>void h(T a, T b){},语句调用h(2, 3.2)将出错,因为该语句给同一模板形参T指定了两种类型,第一个实参2把模板形参T指定为int,而第二个实参3.2把模板形参指定为double,两种类型的形参不一致,会出错。(针对函数模板)

    作者原版:1.2针对函数模板是正确的,但是忽略了类模板。下面将对类模板的情况进行补充。

    本人添加1.2补充版(针对于类模板)、当我们声明类对象为:A<int> a,比如template<class T>T g(T a, T b){},语句调用a.g(2, 3.2)在编译时不会出错,但会有警告,因为在声明类对象的时候已经将T转换为int类型,而第二个实参3.2把模板形参指定为double,在运行时,会对3.2进行强制类型转换为3。当我们声明类的对象为:A<double> a,此时就不会有上述的警告,因为从int到double是自动类型转换。

演示示例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.2)<<endl;
13 }

  编译结果:

1 --------------------Configuration: TemplateDemo - Win32 Debug--------------------
2 Compiling...
3 TemplateDemo.cpp
4 G:\C++\CDaima\TemplateDemo\TemplateDemo.cpp(12) : warning C4244: 'argument' : conversion from 'const double' to 'int', possible loss of data
5
6 TemplateDemo.obj - 0 error(s), 1 warning(s)

  运行结果:      5  

  我们从上面的测试示例中可以看出,并非作者原作中的那么严密!此处仅是本人跟人测试结果!请大家本着实事求是的态度,自行验证!

  2、非类型形参

    2.1 、非类型模板形参:模板的非类型形参也就是内置类型形参,如template<class T, int a> class B{};其中int a就是非类型的模板形参。

    2.2、 非类型形参在模板定义的内部是常量值,也就是说非类型形参在模板的内部是常量。

    2.3、 非类型模板的形参只能是整型,指针和引用,像double,String, String **这样的类型是不允许的。但是double &,double *,对象的引用或指针是正确的。

    2.4、 调用非类型模板形参的实参必须是一个常量表达式,即他必须能在编译时计算出结果。

    2.5 、注意:任何局部对象,局部变量,局部对象的地址,局部变量的地址都不是一个常量表达式,都不能用作非类型模板形参的实参。全局指针类型,全局变量,全局对象也不是一个常量表达式,不能用作非类型模板形参的实参。

    2.6、 全局变量的地址或引用,全局对象的地址或引用const类型变量是常量表达式,可以用作非类型模板形参的实参。

    2.7 、sizeof表达式的结果是一个常量表达式,也能用作非类型模板形参的实参。

    2.8 、当模板的形参是整型时调用该模板时的实参必须是整型的,且在编译期间是常量,比如template <class T, int a> class A{};如果有int b,这时A<int, b> m;将出错,因为b不是常量,如果const int b,这时A<int, b> m;就是正确的,因为这时b是常量。

    2.9 、非类型形参一般不应用于函数模板中,比如有函数模板template<class T, int a> void h(T b){},若使用h(2)调用会出现无法为非类型形参a推演出参数的错误,对这种模板函数可以用显示模板实参来解决,如用h<int, 3>(2)这样就把非类型形参a设置为整数3。显示模板实参在后面介绍。

    2.10、 非类型模板形参的形参和实参间所允许的转换
      1、允许从数组到指针,从函数到指针的转换。如:template <int *a> class A{}; int b[1]; A<b> m;即数组到指针的转换
      2、const修饰符的转换。如:template<const int *a> class A{}; int b; A<&b> m;   即从int *到const int *的转换。
      3、提升转换。如:template<int a> class A{}; const short b=2; A<b> m; 即从short到int 的提升转换
      4、整值转换。如:template<unsigned int a> class A{};   A<3> m; 即从int 到unsigned int的转换。
      5、常规转换。

非类型形参演示示例1:

  由用户自己亲自指定栈的大小,并实现栈的相关操作。

  TemplateDemo.h

 1 #ifndef TEMPLATE_DEMO_HXX
 2 #define TEMPLATE_DEMO_HXX
 3
 4 template<class T,int MAXSIZE> class Stack{//MAXSIZE由用户创建对象时自行设置
 5     private:
 6         T elems[MAXSIZE];    // 包含元素的数组
 7         int numElems;    // 元素的当前总个数
 8     public:
 9         Stack();    //构造函数
10         void push(T const&);    //压入元素
11         void pop();        //弹出元素
12         T top() const;    //返回栈顶元素
13         bool empty() const{     // 返回栈是否为空
14             return numElems == 0;
15         }
16         bool full() const{    // 返回栈是否已满
17             return numElems == MAXSIZE;
18         }
19 };
20
21 template <class T,int MAXSIZE>
22 Stack<T,MAXSIZE>::Stack():numElems(0){     // 初始时栈不含元素
23     // 不做任何事情
24 }
25
26 template <class T,int MAXSIZE>
27 void Stack<T, MAXSIZE>::push(T const& elem){
28     if(numElems == MAXSIZE){
29         throw std::out_of_range("Stack<>::push(): stack is full");
30     }
31     elems[numElems] = elem;   // 附加元素
32     ++numElems;               // 增加元素的个数
33 }
34
35 template<class T,int MAXSIZE>
36 void Stack<T,MAXSIZE>::pop(){
37     if (numElems <= 0) {
38         throw std::out_of_range("Stack<>::pop(): empty stack");
39     }
40     --numElems;               // 减少元素的个数
41 }
42
43 template <class T,int MAXSIZE>
44 T Stack<T,MAXSIZE>::top()const{
45     if (numElems <= 0) {
46         throw std::out_of_range("Stack<>::top(): empty stack");
47     }
48     return elems[numElems-1];  // 返回最后一个元素
49 }
50
51 #endif

  TemplateDemo.cpp

 1 #include<iostream.h>
 2 #include <iostream>
 3 #include <string>
 4 #include <cstdlib>
 5 #include "TemplateDemo.h"
 6
 7 int main(){
 8     try {
 9         Stack<int,20>  int20Stack;  // 可以存储20个int元素的栈
10         Stack<int,40>  int40Stack;  // 可以存储40个int元素的栈
11         Stack<std::string,40> stringStack; // 可存储40个string元素的栈
12
13         // 使用可存储20个int元素的栈
14         int20Stack.push(7);
15         std::cout << int20Stack.top() << std::endl;    //7
16         int20Stack.pop();
17
18         // 使用可存储40个string的栈
19         stringStack.push("hello");
20         std::cout << stringStack.top() << std::endl;    //hello
21         stringStack.pop();
22         stringStack.pop();    //Exception: Stack<>::pop<>: empty stack
23         return 0;
24     }
25     catch (std::exception const& ex) {
26         std::cerr << "Exception: " << ex.what() << std::endl;
27         return EXIT_FAILURE;  // 退出程序且有ERROR标记
28     }
29 }

  运行结果:

    

非类型形参演示示例2:

  TemplateDemo01.h

 1 #ifndef TEMPLATE_DEMO_O1
 2 #define TEMPLATE_DEMO_01
 3
 4 template<typename T> class CompareDemo{
 5     public:
 6         int compare(const T&, const T&);
 7 };
 8
 9 template<typename T>
10 int CompareDemo<T>::compare(const T& a,const T& b){
11     if((a-b)>0)
12         return 1;
13     else if((a-b)<0)
14         return -1;
15     else
16         return 0;
17 }
18
19 #endif

  TemplateDemo01.cpp

1 #include<iostream.h>
2 #include "TemplateDemo01.h"
3
4 void main(){
5     CompareDemo<int> cd;
6     cout<<cd.compare(2,3)<<endl;
7 }

  运行结果:     -1 

1 #include<iostream.h>
2 #include "TemplateDemo01.h"
3
4 void main(){
5     CompareDemo<double> cd;
6     cout<<cd.compare(3.2,3.1)<<endl;
7 }

  运行结果:      1  

  TemplateDemo01.h 改动如下:

 1 #ifndef TEMPLATE_DEMO_O1
 2 #define TEMPLATE_DEMO_01
 3
 4 template<typename T> class CompareDemo{
 5     public:
 6         int compare(T&, T&);
 7 };
 8
 9 template<typename T>
10 int CompareDemo<T>::compare(T& a,T& b){
11     if((a-b)>0)
12         return 1;
13     else if((a-b)<0)
14         return -1;
15     else
16         return 0;
17 }
18
19 #endif

  TempalteDemo01.cpp

1 #include<iostream.h>
2 #include "TemplateDemo01.h"
3
4 void main(){
5     CompareDemo<int> cd;
6     int a=2,b=3;
7     cout<<cd.compare(a,b)<<endl;
8 }

非类型形参演示示例3:

  TemplateDemo02.cpp

 1 #include<iostream.h>
 2
 3 template<typename T>
 4 const T& max(const T& a,const T& b){
 5     return a>b ? a:b;
 6 }
 7
 8 void main(){
 9     cout<<max(2.1,2.2)<<endl;//模板实参被隐式推演成double
10     cout<<max<double>(2.1,2.2)<<endl;//显示指定模板参数。
11     cout<<max<int>(2.1,2.2)<<endl;//显示指定的模板参数,会将函数函数直接转换为int。
12 }

  运行结果:

       

cout<<max<int>(2.1,2.2)<<endl;//显示指定的模板参数,会将函数函数直接转换为int。此语句会出现警告:
1 --------------------Configuration: TemplateDemo02 - Win32 Debug--------------------
2 Compiling...
3 TemplateDemo02.cpp
4 G:\C++\CDaima\TemplateDemo02\TemplateDemo02.cpp(11) :   warning C4244: 'argument' : conversion from 'const double' to 'const int', possible loss of data
5 G:\C++\CDaima\TemplateDemo02\TemplateDemo02.cpp(11) :   warning C4244: 'argument' : conversion from 'const double' to 'const int', possible loss of data
6
7 TemplateDemo02.obj - 0 error(s), 2 warning(s)

转载于:https://www.cnblogs.com/sunlightstoyou/p/10312329.html

C++ template相关推荐

  1. 微信小程序模板template

    上面是官方的讲解, 主要是方便在不同的地方调用. 下面自己说下使用, 先创建一个模板名字是自己随便取的, 在template.wxml中填写模板 最外层用template标签 设置一个name属性 & ...

  2. C++中模板template typename T

    template <typename Dtype>. 网上解释的非常多,觉得比较啰嗦,其实就是一个类型模板. 比如我们要计算两个数的加法,针对不同类型可能需要设计不同类型的函数,那么tem ...

  3. 让你爽到飞起的【懒人插件AutoScssStruct4Vue】VSCode根据template的标签目录一键生成SCSS/LESS结构,敏捷开发必备插件!!!

    Ctrl+Shift+X 搜索AutoScssStruct4Vue   如上图直接右键-autoScssStruct(你都不需要聚焦到template节点) 直接就给你妥妥的把SCSS代码写好了,如果 ...

  4. ue4商城资源 Car Configurator Template 汽车配置器模板

    ue4商城资源 Car Configurator Template 汽车配置器模板 ue4商城资源 Car Configurator Template 汽车配置器模板 Unreal Engine虚幻游 ...

  5. 使用Repeater的Template

    .NET FX提供了一个方法,就是使用Template来在程序运行时对Repeater的显示进行控制. 这里我就不多说了,可以去看MSDN中的相关资料.(嘿嘿,其实我也没搞多少 ).. 其实主要是pr ...

  6. 设计模式之模板方法模式(Template Method)摘录

    23种GOF设计模式一般分为三大类:创建型模式.结构型模式.行为模式. 创建型模式抽象了实例化过程,它们帮助一个系统独立于如何创建.组合和表示它的那些对象.一个类创建型模式使用继承改变被实例化的类,而 ...

  7. 微信小程序模块化开发 include与模板开发 template

    微信小程序开发交流qq群   173683895    承接微信小程序开发.扫码加微信. 正文: 1. include  是引用整个wxml文件,我通常会配合js,css一起使用: 使用场景,需要封装 ...

  8. template.process(root, out)的用法(shiro项目中来的九)

    假如你现在还在为自己的技术担忧,假如你现在想提升自己的工资,假如你想在职场上获得更多的话语权,假如你想顺利的度过35岁这个魔咒,假如你想体验BAT的工作环境,那么现在请我们一起开启提升技术之旅吧,详情 ...

  9. Smart template的控件能否当成普通控件来用

    我的同事问过我这个问题: 只要弄清楚Smart control的原理,就能回答这个问题. 答案是: smart control可以像普通的控件一样在xml view中被定义和使用,但是必须结合ODat ...

最新文章

  1. 图像处理 区域删除_FotoWorks XL( 图像处理软件 )中文版分享
  2. IntelliJ IDEA 添加项目后编译显示包不存在的解决方案
  3. python asyncio和celery对比_如何将Celery与asyncio结合? - python
  4. 膜拜大佬!不同层级的Android开发者的不同行为,社招面试心得
  5. 数据结构c语言版堆排序,【数据结构】堆排序(C++实现)
  6. 多线程总结之旅(9):线程同步之事件
  7. url传参的编码与解码
  8. 计算机专业自我简介50字,2021年个人简历自我评价50字
  9. 计算机管理中不显示u盘,优盘不显示,教您优盘不显示处理方法
  10. 概率论与数理统计(第二章---随机变量及其分布函数
  11. Windows10下载安装docker
  12. 提高RM-MEDA局部学习(IRM-MEDA)
  13. Java 利用hutool工具实现导出excel并合并单元格
  14. LeetCode 881. 救生艇
  15. Ubuntu 搜狗输入法 中文 无法切换 英文
  16. html5播放器播放尺寸出界了,移动端弹性滑动以及滑动出界解决方案
  17. C语言sum函数不接受一个参数,函数不接受2个参数怎么解决
  18. sql语句查询昨天,今天,最近七天,最近三十天数据
  19. random()的用法
  20. POJ 2228. Naptime

热门文章

  1. 【Socket研究】~。~ Scoket开发蛋疼笔记 Silverlight
  2. 石英晶体振荡器的结构
  3. 《OpenCV3编程入门》学习笔记6 图像处理(五)漫水填充
  4. Python 十六进制转Base64_马克的Python学习笔记#数据编码与处理 4
  5. java 1 11 111_45675678ystem111111111111
  6. 小程序客服消息推送自动回复_如何让小程序客服消息根据用户输入关键词自动回复图片?...
  7. android 自定义loading,Android自定义动画-StarLoadingView
  8. 分屏如何保持运行状态_摊铺机熨平板如何保持稳定的工作状态?
  9. 周围剃光头顶留长发型_2021年发型预测:这5位中长发男神,谁才是你心中的长发代表...
  10. 基于点云强度的3D激光雷达与相机的外参标定