c++面向对象学习(四)函数模板与类模板

概述:        

 C++提供了函数模板(function template)。所谓函数模板,实际上是建立一个通用函数,其函数类型和形参类型不具体指定,用一个虚拟的类型来代表。这个通用函数就称为函数模板。凡是函数体相同的函数都可以用这个模板来代替,不必定义多个函数,只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型,从而实现了不同函数的功能。

 
1)C++提供两种模板机制:函数模板、类模板
2)类属 —— 类型参数化,又称参数模板
使得程序(算法)可以从逻辑功能上抽象,把被处理的对象(数据)类型作为参数传递。
总结:
模板把函数或类要处理的数据类型参数化,表现为参数的多态性,称为类属。

模板用于表达逻辑结构相同,但具体数据元素类型不同的数据对象的通用行为。

一、函数模板 
1. 通用表达式(定义函数模板):

template<class T1, class T2>返回类型 函数名(参数列表){函数体}
//这里的模板参数列表类型class也可以用typename来表示
二、类模板 
1.定义通用表达式
template<class T1, class T2> class 类名{};

为什么要有类模板

类模板用于实现类所需数据的类型参数化 

类模板在表示如数组、表、图等数据结构显得特别重要,这些数据结构的表示和算法不受所包含的元素类型的影响

为什么要有函数模板

写n个函数,交换char类型、int类型、double类型变量的值。

char max(const char &a,const char &b,const char &c)
{
	char temp = (a > b) ? a : b;
	return (temp > c) ? temp : c;	
}
int  max(const int &a,const int &b,const int &c)
{
	int temp = (a > b) ? a : b;
	return (temp > c) ? temp : c;	
} 
double max(const double &a,const double &b,const double &c)
{
	double temp = (a > b) ? a : b;
	return (temp > c) ? temp : c;	
}  

以上三种是不同的数据类型求三个中最大的数。要写三个函数体,很明显有点麻烦,代码冗余大。

采用函数模板只需要一个函数体就可以解决。

template<typename T>
T max(const T &a,const T &b,const T &c)
{
	T temp = (a > b) ? a : b;
	return (temp > c) ? temp : c;	
} 

函数模板和普通函数的区别

函数模板不允许自动类型转化

普通函数能够进行自动类型转换

函数模板和普通函数的调用规则

  1 函数模板可以像普通函数一样被重载
  2 C++编译器优先考虑普通函数
  3 如果函数模板可以产生一个更好的匹配,那么选择模板

  4 可以通过空模板实参列表的语法限定编译器只通过模板匹配

函数模板的机制

编译器并不是把函数模板处理成能够处理任意类的函数
编译器从函数模板通过具体类型产生不同的函数
编译器会对函数模板进行两次编译

在声明的地方对模板代码本身进行编译;在调用的地方对参数替换后的代码进行编译。

类模板的相关声明

归纳以上的介绍,可以这样声明和使用类模板:
1) 先写出一个实际的类。由于其语义明确,含义清楚,一般不会出错。
2) 将此类中准备改变的类型名(如int要改变为float或char)改用一个自己指定的虚拟类型名(如上例中的numtype)。
3) 在类声明前面加入一行,格式为:
    template <ttypename 虚拟类型参数>
如:
    template <typename numtype> //注意本行末尾无分号
    class Compare
    {…}; //类体
4) 用类模板定义对象时用以下形式:
    类模板名<实际类型名> 对象名;
    类模板名<实际类型名> 对象名(实参表列);
如:
    Compare<int> cmp;
    Compare<int> cmp(3,7);
5) 如果在类模板外定义成员函数,应写成类模板形式:
   template <typename 虚拟类型参数>
   函数类型 类模板名<虚拟类型参数>::成员函数名(函数形参表列) {…}
关于类模板的几点说明
1) 类模板的类型参数可以有一个或多个,每个类型前面都必须加typename,如:
    template <typename T1,typename T2>
    class someclass
    {…};
在定义对象时分别代入实际的类型名,如:
    someclass<int,double> obj;
2) 和使用类一样,使用类模板时要注意其作用域,只能在其有效作用域内用它定义对象。

3) 模板可以有层次,一个类模板可以作为基类,派生出派生模板类。

小结

模板是C++类型参数化的多态工具。C++提供函数模板和类模板。
 模板定义以模板说明开始。类属参数必须在模板定义中至少出现一次。
 同一个类属参数可以用于多个模板。
 类属参数可用于函数的参数类型、返回类型和声明函数中的变量。
 模板由编译器根据实际数据类型实例化,生成可执行代码。实例化的函数模板称为模板函数;实例化的类模板称为模板类。
 函数模板可以用多种方式重载。
 类模板可以在类层次中使用 。

阅读更多
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页