C++ Primer 有感(异常处理)(四)

时间:2020-12-23 03:41:46

查看普通函数的声明的时候,不可能知道该函数会抛出什么异常,但是在捕获异常的时候要知道一个函数会抛出什么样的异常,以便捕获异常。

异常说明:指定,如果函数抛出异常,抛出的异常将是包含在该说明中的一种,或者是从列出的异常中派生的类型。

1.定义异常说明

异常说明跟在形参表后。一个异常说明在关键字throw之后跟着一个由圆括号括住的形参列表,该列表可能为空或者多个,若为多个,则用逗号分开。例如:

void getWork() throw(runime_error);                                   //抛出一个异常

void getWork() throw();                                                       //该函数不会抛出异常

void getWork() throw(runime_error,logic_error);                //该函数抛出两个异常

如果一个函数声明没有指定异常说明,则该函数可以抛出任意类型的异常。

2.违反异常说明

在编译的时候不知道程序会抛出异常以及会抛出哪种异常,只有在运行时才能检测是否违反函数异常说明。

如果函数在运行的时候抛出了再异常说明中没有的异常,就调用标准库unexcepted函数,unexcepted默认会调用terminate函数,终止程序运行。当然如果你捕获所有异常则不会了。

3.异常说明与虚函数

基类中的虚函数的异常说明,可以与派生类中对应的虚函数的异常说明不同。但是,派生类中的虚函数声明抛出的异常应该比基类中的范围更小或者是基类声明异常的派生类。

这个限制保证当使用基类类型的指针调用派生类虚函数的时候,派生类的异常说明不会增加新的可抛出异常。以便捕获。

4.函数指针与异常说明

函数说明是函数类型的一部分。可以在函数指针的定义中提供异常说明。

下面定义一个函数指针:

int (*ip)(int ,int ) throw(runtime_error);

这样就定义了一个函数指针,它指向一个返回int类型,接受两个int类型参数,抛出runtime_error异常的函数。如果没有异常说明,则该指针可以可以指向可以抛出任意类型异常且匹配的函数。

在使用另外一个指针初始化该指针的时候,另外的指针指向的函数抛出的异常应该比ip更小或者是runtime_error类的派生类。