模板类型函数和模板类,非类型模板类(2012-02-17 16:51)
2012-02-17 16:59
169 查看
本文结合代码综合介绍一下模板类型函数,模板参数类和非类型模板参数。其中一些内容源于网络和书籍,因为来源太散就没有全部
标注出处。
1. 模板的概念。
我们已经学过重载(Overloading),对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。
例如,为求两个数的最大值,我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。
但如果在主函数中,我们分别定义了 char a,b; 那么在执行max(a,b);时 程序就会出错,因为我们没有定义char类型的重载版本。
现在,我们再重新审视上述的max()函数,它们都具有同样的功能,即求两个数的最大值,能否只写一套代码解决这个问题呢?这样
就会避免因重载函数定义不 全面而带来的调用错误。为解决上述问题C++引入模板机制,模板定义:模板就是实现代码重用机制的一
种工具,它可以实现类型参数化,即把类型定义为参数, 从而实现了真正的代码可重用性。模版可以分为两类,一个是函数模版,
另外一个是类模版。
2. 函数模板的写法
函数模板的一般形式如下:
说明: template是一个声明模板的关键字,表示声明一个模板关键字class不能省略,如果类型形参多余一个 ,每个形参前都要加
class <类型 形参表>可以包含基本数据类型可以包含类类型.
请看以下程序:
上面这段代码,既可以同时放在头文件中,又可以同时放在源文件中,但是必须声明和定义要在一起。关于其原因,可以参见
模板函数的声明和定义都放在一个文件中
3. 类模板的写法
定义一个类模板:
说明:其中,template是声明各模板的关键字,表示声明一个模板,模板参数可以是一个,也可以是多个。
例如:定义一个类模板:
//源文件,模板类的定义
//测试文件
输出显示如下:
4.非类型模版参数
非类型形参,指的是模板中的模板形参不是使用class关键字定义的,而是使用C++内置类型定义的形参,比如template<class T,
int a> class B{},其中的形参a就是非类型形参,他是使用的内置类型int声明的。
一般来说,非类型模板参数可以是常整数(包括枚举)或者指向外部链接对象的指针。
那么就是说,浮点数是不行的,指向内部链接对象的指针是不行的。
显示结果:
对于非类型模板的介绍,可以详细参见这篇blog
注意:非类型模板形参一般不能用于模板函数中,当然你也可以使用没有强制规定
标注出处。
1. 模板的概念。
我们已经学过重载(Overloading),对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。
例如,为求两个数的最大值,我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。
//函数1. int max(int x,int y); {return(x>y)?x:y ;} //函数2. float max( float x,float y){ return (x>y)? x:y ;} //函数3. double max(double x,double y) {return (c>y)? x:y ;}
但如果在主函数中,我们分别定义了 char a,b; 那么在执行max(a,b);时 程序就会出错,因为我们没有定义char类型的重载版本。
现在,我们再重新审视上述的max()函数,它们都具有同样的功能,即求两个数的最大值,能否只写一套代码解决这个问题呢?这样
就会避免因重载函数定义不 全面而带来的调用错误。为解决上述问题C++引入模板机制,模板定义:模板就是实现代码重用机制的一
种工具,它可以实现类型参数化,即把类型定义为参数, 从而实现了真正的代码可重用性。模版可以分为两类,一个是函数模版,
另外一个是类模版。
2. 函数模板的写法
函数模板的一般形式如下:
Template <class或者也可以用typename T> 返回类型 函数名(形参表) {//函数定义体 }
说明: template是一个声明模板的关键字,表示声明一个模板关键字class不能省略,如果类型形参多余一个 ,每个形参前都要加
class <类型 形参表>可以包含基本数据类型可以包含类类型.
请看以下程序:
//模版类型函数声明和定义都在一个文件中 template<class T> T GetMax(T a,T b) { return a>b?a:b; }
上面这段代码,既可以同时放在头文件中,又可以同时放在源文件中,但是必须声明和定义要在一起。关于其原因,可以参见
模板函数的声明和定义都放在一个文件中
3. 类模板的写法
定义一个类模板:
Template < class或者也可以用typename T > class 类名{ //类定义...... };
说明:其中,template是声明各模板的关键字,表示声明一个模板,模板参数可以是一个,也可以是多个。
例如:定义一个类模板:
//头文件,模板类声明 template<class T1,class T2> class CTemplate{ T1 m_x; T2 m_y; public: CTemplate(T1 a,T2 b)/*:m_x(a),m_y(b)*/; void ShowData(); };
//源文件,模板类的定义
template<class T1,class T2>CTemplate<T1,T2>::CTemplate(T1 a,T2 b):m_x(a),m_y(b)//初始化列表只能在构造函数的定义中添加 template<class T1,class T2>void CTemplate<T1,T2>::ShowData() { printf("m_x:%d,m_y:%d\n",m_x,m_y); }
//测试文件
CTemplate<int,char> *imp = new CTemplate<int,char>(1,2); imp->ShowData();
输出显示如下:
4.非类型模版参数
非类型形参,指的是模板中的模板形参不是使用class关键字定义的,而是使用C++内置类型定义的形参,比如template<class T,
int a> class B{},其中的形参a就是非类型形参,他是使用的内置类型int声明的。
一般来说,非类型模板参数可以是常整数(包括枚举)或者指向外部链接对象的指针。
那么就是说,浮点数是不行的,指向内部链接对象的指针是不行的。
//非类型模版参数 template<class T1, int COUNT> class CStroage{ public: const int vec_sz; CStroage(int a):vec_sz(COUNT) { } T1 vec[COUNT]; void Show() { printf("sizeof(vec[COUNT]):%d\n",sizeof(vec)); } };
//测试程序 CStroage<int,20> pImp(5); pImp.Show();
显示结果:
对于非类型模板的介绍,可以详细参见这篇blog
注意:非类型模板形参一般不能用于模板函数中,当然你也可以使用没有强制规定
相关文章推荐
- 模板类与类模板、函数模板与模板函数等的区别
- 模板类、类模板、函数模板、模板函数、函数指针、指针函数、数组指针、指针数组
- 01.基本数据类型、vector、三大语句、方法、函数、结构体、函数模板
- 模板类与类模板、函数模板与模板函数等的区别
- 为什么模板类与模板成员函数不能分文件写(.h与.cpp)
- 模板类与类模板、函数模板与模板函数等的区别
- 使用模板类编写通用的任意类型调试输出函数
- 模板类中的成员函数定义返回值为类中的typedef类型时候注意
- c++ 模板学习笔记:函数模板的类型识别(权哥)
- 模板类与类模板、函数模板与模板函数等的区别
- 模板类与类模板、函数模板与模板函数等的区别
- 模板类与类模板、函数模板与模板函数等的区别
- 调用模板类的模板成员函数的问题
- 模板类与类模板、函数模板与模板函数等的区别
- 体验和理解函数模板-----求最大值(默认函数类型)
- c++模板类如何定义模板成员函数
- 问模板函数、函数模板,模板类、类模板的区别的问题?
- 扫盲贴--模板函数、函数模板,模板类、类模板的区别
- 第二遍C++primer->函数模板类型实参的受限转换
- [翻译] Effective C++, 3rd Edition, Item 45: 用 member function templates(成员函数模板) 接受 "all compatible types"(“所有兼容类型”)