C++面向对象程序设计学习笔记（7）

模板与异常处理

模板的概念

模板是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型作为参数。
模板分为函数模板和类模板，它们分别允许用户构造模板类和模板函数

函数模板与模板函数

函数模板实际上建立一个通用函数，其函数返回类型和形参类型不具体指定，用一个虚拟的类型来代表，这个通用函数就称为函数模板。
在调用函数时系统会根据实参的类型（模板实参）来取代模板中的虚拟类型从而实现了不同函数的功能。
声明格式如下

template<typename 类型参数>
返回类型 函数名 (模板形参表)
{
	函数体
}
或
template<class 类型参数>
返回类型 函数名 (模板形参表)
{
	函数体
}

其中,template是一个声明模板的关键字，它表示声明一个模板。
类型参数实际上是一个虚拟的类型名，现在并未指定它的具体类型，但是用函数模板时，必须进行实例化。
类型参数前需要加一个关键字typename或class,其作用相同，都是表示其后的参数是一个虚拟的类型名。

例 max函数模板化

template<typename T>
T mymax(T a,T b)
{
    if(a>b) return a;
    return b;
}
或
template<class T>
T mymax(T a,T b)
{
    if(a>b) return a;
    return b;
}

在使用函数模板时，关键字typename 或 class 后的类型参数必须实例化，即用实际的数据类型替代它
将函数模板中的类型参数实例化的参数称为模板实参

注意:
1.在函数模板中允许使用多个类型参数，但template定义部分的每个类型参数前必须有关键字typename(或class)
2.在template语句与函数模板定义语句之间不允许有别的语句
3.函数模板可以重载
4.函数模板与同名的非模板函数可以重载，调用顺序是先寻找一个参数完全匹配的非模板函数，再实例化函数模板

类模板与模板类

所谓类模板实际上是建立一个通用类，其数据成员、成员函数的返回类型和形参类型不具体指定，用一个虚拟的类型代表
基本格式如下

template<typename 类型参数>
class 类名
{
	类成员声明
};
或
template<class T>
class 类名
{
	类成员声明
};

其中,template是一个声明模板的关键字，它表示声明一个模板。
类型参数实际上是一个虚拟的类型名，现在并未指定它的具体类型，但是用类模板时，必须进行实例化。
类型参数前需要加一个关键字typename或class,其作用相同，都是表示其后的参数是一个虚拟的类型名。

在用类模板定义对象时，采用以下形式

类模板名<实际类型名>对象名[(实参表列)];

类模板中的成员函数可以在类模板体外定义，此时，若成员函数中有类型参数存在，则要符合以下条件
1.需要在成员函数定义之前进行模板声明
2.在成语函数名前缀上"类名<类型参数>::"

一般形式如下:

template<typename 类型参数>
函数类型 类名 <类型参数> :: 成员函数名(形参表)
{

}

注意：
1.在每个类模板定义之前，都需要在前面加上模板声明，类模板在使用时，必须在类模板名字后面缀上<类型参数>
2.类模板可以有多个参数

异常处理

程序常见错误分为两大类：编译时的错误和运行时的错误。
程序在运行时的错误统称为异常，对异常的处理称为异常处理

方法

C++处理异常的方法是，若在执行函数时出现异常，则传递给上一级函数进行处理，逐级上传，若最后无法处理，则结束程序
C++处理异常的机制是由检查、抛出和捕获三部分组成，分别由三个语句组成try、throw、catch

异常抛出

异常抛出使用catch语句
格式为throw 表达式

若某段程序出现异常，则可使用throw语句抛出异常给调用者，并由该异常相对应的catch语句捕获
throw 语句的表达式表示抛出的异常类型，异常类型由表达式的类型表示
例

int Div(int x,int y)
{
	if(y==0) throw y;
	return x/y;
}
//当y=0时，抛出int型异常

异常的检查和捕获

异常的检查和捕获使用try和catch语句
格式为

try
{
	被检查的复合语句
}
catch (异常类型声明1)
{
	进行异常处理的复合语句1
}
......
catch (异常类型声明n)
{
	进行异常处理的复合语句n
}

try 后的复合语句时被检查语句，也是容易引起异常的语句，这些语句称为代码的保护段。如果预料某段程序代码可能发生异常，则将其放在try后，若出现异常则其中的throw语句会抛出这个异常

catch用来捕获throw抛出的异常,catch子句后的复合语句是异常处理程序，异常类型声明部分指明了catch子句处理的异常类型，通过cathc捕获的异常类型来执行相应的异常处理程序

注意
1.被检测的语句或程序段必须放在try块中,否则不起作用
2.try和catch中必须有用花括号括起来的复合语句,即使花括号中只有一个语句也不能省略花括号
3.一个try语句可对应多个catch,但整个语句块中只能有一个try
4.若一个catch子句中没有指定异常信息的类型，而是使用了三点删节号"..."，则表示可接受任意异常信息
5.在某些情况下,throw语句可以不包括表达式，此时它将再次抛出正在处理的异常信息至上一级
6.一个异常若没有被捕获，系统将调用系统函数terminate，尤其调用abort终止程序