Essential C++学习记录&笔记整理43（抛出异常、捕获异常）

向右看齐 2023-02-15 10:07 23阅读 0赞

到了第七章，异常处理，最后一章，内容比较少，坚持看完，坚持记笔记，奥力给！

### 目录 ###

*  抛出异常
 *   *  介绍异常及其处理
     *  异常对象和异常类及异常类的用法
 *  捕获异常
 *   *  catch子句

# 抛出异常 #

## 介绍异常及其处理 ##

*  异常处理机制两个主要成分：①异常的坚定与发出，②异常的处理方式
 *  异常产生及处理都可能发生在函数上
 *  异常出现之后，程序的执行便被暂停。同时**异常处理机制搜索程序中有能力处理这一异常的地点。**
 *  异常处理完毕，程序**继续在异常处理点**接着执行
 *  C++**通过throw表达式产生异常**。举个例子：

inline void Triangular_iterator::
    check_integrity()
    {
        
    	if(_index>=Triangular::max_elems)
    	{
        
    		throw iterator_overflow(_index,Triangular::_max_elems);
    		if(_index>=Triangular::elems.size())
    		{
        
    			Triangular::gen_elemts(_index+1);
    		}
    	}
    }

如果`_index>=Triangular::max_elems`,`iterator_overflow`的异常对象便会被抛出（**此即抛出异常**），这条语句的下面的if不会被执行。

## 异常对象和异常类及异常类的用法 ##

*  **异常是某种对象。最简单的异常对象是整数或字符串。**  
    如：

throw 42;
    throw "panic:no buffer!";

*  大部分情况下被抛出的异常都属于特定的**异常类**（这些类可能形成一个继承体系）。看一个例子——iterator\_overflow异常类的定义：

class iterator_overflow{
        
    public:
    	iterator_overflow(int index,int max):_index(index),_max(max){
        }
    	//异常类的类构造函数
    	int index(){
        return _index;}
    	int max(){
        return _max;}
    	void what_happened(ostream &os=cerr)//提供默认参数值，
    	//即把输出绑定在cerr上
    	{
        
    		os<<"Internal error:current index "<<_index
    		  <<" exceeds maximum bound: "<<_max;
    	}
    private:
    	int _index;
    	int _max;
    };

**这个类存储必要数据**（比如下标值\_index和数组最大长度值\_max）**用以表示异常的性质。**

*  `throw iterator_overflow(_index,Triangular::_max_elems);`调用iterator\_overflow类类主体内定义的构造函数。
 *  也可以明确指出被抛出的异常类类对象名称：

if(_index>=Triangular::max_elems)
    {
        
    	iterator_overflow ex(_index,Triangular::_max_elems);
    	throw ex;
    }

# 捕获异常 #

## catch子句 ##

*  **catch子句捕获被抛出的异常（类）（类）对象**，catch子句可以是一条，或者一连串。
 *  catch子句由三部分组成：**关键字catch、()内东西从一个类型或对象、\{\}内的一组语句（用以处理异常）**，举个例子：

extern void log_message(const char*);
    extern string err_messages[];
    extern ostream log_file;
    //这些函数定义于其他代码文件里
    bool some_function()
    {
        
    	bool status = true;
    	catch(int errno)
    	{
        
    		log_message(err_messages[errno];
    		status = false;
    	}
    	catch(const char *str)
    	{
        
    		log_message(str);
    		status = false;
    	}
    	catch(iterator_overfloww &iof)
    	//接收被抛出的异常对象（无论该对象有无对象名，比如那个
    	//throw iterator_overflow(_index,Triangular::_max_elems);和
    	//iterator_overflow ex(_index,Triangular::_max_elems);
    	//throw ex;）
    	{
        
    		iof.what_happened(log_file);
    		//what_happened定义在抛出异常那个模块里。
    		status = false;
    	}
    	return status;
    }

上面三个catch子句分别处理这些抛出的异常对象（对应处理）

throw 42;
    throw "panic:no buffer!";
    throw iterator_overflow(_index,Triangular::_max_elems);

异常对象的类型会被逐一地和每个catch子句比对。**一旦比对类型符合，执行符合的catch子句的内容**，举个例子（关于完整的异常处理过程）：

> 抛出iterator\_overflow异常类类对象时，上面三个catch子句会被依次比对，其中第三个catch子句所声明的异常类型和被抛出的异常对象相符，第三个catch子句的内容会被执行。iof是iterator\_overflow异常类的catch子句的形参类对象，执行第三个catch子句的内容，调用iterator\_overflow异常类中的成员函数what\_happened()，调用完毕，把status赋值为false。至此，catch子句执行完毕，异常处理完毕。  
> 抛出常量字符串（“panic:no buffer!”），上面三个catch子句会被依次比对，其中第二个catch子句所声明的异常类型和被抛出的异常对象相符，log\_message()函数被调用，以异常对象str（catch子句的形参）为log\_message()函数的参数。然后status被设置为false。至此，catch子句执行完毕，异常处理完毕。然后跳过第三个catch子句！！！

*  当某一catch子句执行完毕，跳过比对不匹配的catch字句之后，正常程序在return status这一行接着执行。
 *  如果无法完成异常的完整处理，在记录信息之外，需要重新抛出异常，让其他catch子句来协助处理异常。如：

catch(iterator_overflow &iof)
    {
        
    	log_message(iof.what_happened());
    	//重新抛出异常，让另一个catch子句来接手协助处理异常。
    	throw;
    }

重新抛出异常，就写一个`throw;`即可。这个`throw;`**只可以出现在catch子句中。**`throw;`将之前被捕获的异常再次抛出，另一个catch子句来接手协助处理异常。

*  **如果想要捕获任何类型的异常**，只需在异常声明部分指定省略号(…)（注意，英文省略号！）即可，如：

//捕获任何类型的异常
    catch(...)
    {
        
    	log_message("exception of unknown type");
    	//处理异常，然后退出catch子句
    }