c++ 异常处理

c++

抛出异常 -- throw

当执行一个throw时，跟在throw后面的语句将不再执行，相反，程序的控制权从throw 转移到与之相匹配的catch模块。

控制权从一处转移到另一处，这有两个重要的含义：

• 沿着调用链的函数可能会提早退出
• 一旦程序开始执行异常处理代码，则沿着调用链创建的对象将被销毁。

throw runtime_error("message")

捕捉异常 -- try

try{
    // program
} catch (exception_name){
    handle_expresssio
} catch  (exception_name){
    handle_expresssio
}

定义新的异常

class exception : public exception{
    const char * what () const throw (){
        return "C++ Exception";
    }
}

• what() 是异常类提供的一个公共方法，它已被所有子异常类重载

栈展开过程

当抛出一个异常后，程序暂停当前函数的执行过程并立即开始寻找与异常匹配的catch子句。当throw出现在一个try语句块时，检查与该try关联的catch子句。

• 如果找到匹配的catch，就采用该catch处理异常。
• 如果没有找到匹配的catch且该catch嵌套在其余try中，则继续检查与外层try匹配的catch子句。
• 如果还是找不到匹配的catch，则退出当前的函数，在调用当前函数的外层函数中继续寻找。
• 如果抛出异常的函数的调用语句在一个try语句块中，则检查与该快关联的catch子句。如果找到，就用该catch处理。
• 否则，检查外层try...catch 块。
• 如果仍然没有找到匹配的catch，则退出该函数，继续在该函数的外层函数中查找。

栈展开过程沿着嵌套函数的调用链不断查找，直到找到了与异常匹配的catch子句或退出主函数为止。

异常退出

当函数抛出异常后，其会寻找catch语句，如果没有找到匹配的catch，程序就会转到名为terminate 的标准库函数，一般情况下，执行该函数会导致程序非正常退出。

栈展开过程中对象被自动销毁

标准异常

c++ 标准库中定义了一组异常类，分别在4个头文件中：

• exception: 定义最通用的异常类 exception。它只报告异常的发生，不提供任何额外信息
• stdexcept: 定义常见的异常类
• new： 定义了bad_alloc 异常
• type_info: 定义了bad_cast异常