第7章 模板.ppt

第7章模板
模板的概念
函数模板
类模板
标准模板库STL*
应用实例*
模板的概念
类型的严格性与灵活性
解决冲突的途径
模板的概念
类型的严格性与灵活性
在函数重载中,参与运算的所有对象的类型在编译时即可确定下来,并且编译程序将进行严格的类型检查。
函数重载提高了程序的可靠性,但也带来了一些负作用,例如:
类型的严格性与灵活性
以下两个函数
int max(int a,int b)
{ return a>b? a:b; }
和
float max(float a,float b)
{ return a>b? a:b; }
函数重载迫使程序员为逻辑结构相同而具体数据类型不同的对象编写模式—致的代码,而无法抽取其中的共性,不利于程序的扩充和维护。
类型的严格性与灵活性
int max(int a,int b)
{ return a>b? a:b; }
float max(float a,float b)
{ return a>b? a:b; }
解决类型的严格性与灵活性冲突最理想的方法是:
直接将数据类型作为类的参数,就好像函数可以将数据作为参数一样,这种机制称为类属。
解决冲突的途径
模板的概念
模板是一种参数化多态性的工具,可以为逻辑功能相同而类型不同的程序提供一种代码共享的机制。
在C++中,模板分为函数模板和类模板。
一个模板并非一个实实在在的函数或类,仅仅是一个函数或类的描述,模板运算对象的类型不是实际的数据类型,而是一种参数化的类型,即类属类型。
模板的概念
模板的类属参数由调用它的实际参数的具体数据类型替换,由编译器生成一段真正可以运行的代码。这个过程称为实例化。
通过参数实例化构造出的函数或类,称为模板函数和模板类,它们之间的关系如下图所示:
模板的概念
模板
(函数模板或类模板)
模板函数
模板类
对象
函数模板
函数模板的定义
函数模板的实例化
函数模板的重载