异常

概念

• 异常是一种处理错误的方式，当函数发现自己无法处理的错误就可以抛异常，让函数的直接或间接的调用者处理这个错误
• thow：当问题出现时，程序会抛异常，通过thow关键字完成
• catch：捕获异常，可以有多个catch进行捕获
• try：try块中放置可能抛异常的代码，后面通常跟着一个或多个catch块

异常的抛出和捕获

异常的抛出和匹配原则

• 异常是通过抛出对象而引发的，该类对象的类型决定了应激活哪个catch的处理代码
• 被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个
• 抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的对象是一个临时对象，所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch后销毁，类似函数的传值返回
• catch(...)可以捕获任意类型的异常，问题是不知道异常错误是什么
• 实际中抛出和捕获的匹配原则并不是类型完全匹配，可以抛出派生类对象，使用基类捕获

函数调用链中异常栈展开匹配原则

• 检查throw是否在try块内部，再查找栈匹配的catch语句
• 如果有匹配的catch，则调到catch的地方进行处理，处理完成后沿着catch子句后面继续执行
• 如果没有匹配的catch则退出当前栈，继续在调用函数的栈中查找匹配的catch
• 如果到达main函数的栈，依旧没有匹配的，则终止程序
• 实际中我们最后都加一个catch(...)捕获任意类型的异常
• 上面沿着调用链查找匹配的过程称为栈展开

异常的重新抛出

单个的catch不能完全处理一个异常，catch可以重新抛出异常传递给更上层的函数进行处理

异常规范

• 函数后接thow(类型)表示这个函数可能抛的所有异常类型
• 函数后接thow()表示函数不抛异常
• 若无异常接口声明，则此函数可以抛任何类型的异常

异常安全

• 不要在构造函数中抛异常，否则可能导致对象不完整或没有完全初始化
• 不要在析构函数中抛异常，否则可能导致资源泄漏
• C++中抛异常经常会导致资源泄漏问题，C++经常使用RAII解决资源泄漏问题

异常体系

自定义异常体系

自定义一套继承的规范体系，抛出派生类对象，捕获基类对象即可

C++标准库异常体系

C++提供了一系列的标准异常，它们是以父子类层次结果组织起来的

以上层次结构中异常的说明

实际中可以去继承exception类实现自己的异常类，但我们一般自定义异常继承体系，因为C++异常标准可的设计不好用

异常的优点

• 相比错误妈的方式可以清晰准确的展示出错误信息，甚至可以包含堆栈调用的信息，帮助我们更好定位bug
• 错误码体系在函数调用链中，如果更深层的函数返回了错误，那么需要层层返回错误才能拿到错误信息，但是异常体系中，如果函数调用出错，抛出的异常会直接跳到catch捕获的地方直接处理
• 部分函数使用异常更好处理，例：T& operator函数pos越界无法通过返回值表示错误
• 很多第三方库包含异常，很多测试框架都使用异常

异常的缺点

• 异常会导致程序执行流的乱跳，并且非常混乱，导致调试及分析程序时比较困难
• C++标准库的异常体系定义的不好，导致大家个自定义各自的异常体系，非常混乱
• C++无垃圾回收机制，异常可能会导致内存泄漏、死锁等安全问题，需要使用RAII处理资源管理，学习成本较高
• 异常尽量规范使用
• 异常会有一些性能的开销