C++ Primer 5th笔记（chap 18 大型程序工具）捕获异常

Posted 2021-11-23 thefist11

1. catch 子句 (catch clause) 中的异常声明（exception declaration)

声明的类型决定了处理代码所能捕获的异常类型。

这个类型必须是完全类型， 它可以是左值引用， 但不能是右值引用

1.1 catch 的参数类型可以是引用类型或非引用类型

如果 catch 的参数是基类类型， 则我们可以使用其派生类类型的异常对象对其进行初始化。 此时， 如果 catch 的参数是非引用类型， 则异常对象将被切掉一部分

异常声明的静态类型将决定 catch 语句所能执行的操作。如果 catch 的参数是基类类型， 则 catch 无法使用派生类特有的任何成员。

1.2 查找匹配的处理代码

在搜寻 catch 语句的过程中， 我们最终找到的 catch 未必是异常的最佳匹配。 相反，挑选出来的应该是第一个与异常匹配的 catch 语句。 因此， 越是专门的 catch 越应该置于整个 catch 列表的前端

绝大多数类型转换都不被允许， 除了一些极细小的差别之外：

• 允许从非常量向常量的类型转换， 也就是说， 一条非常量对象的 throw 语句可以匹配一个接受常量引用的 catch 语句。
• 允许从派生类向基类的类型转换。
• 数组被转换成指向数组（ 元素） 类型的指针， 函数被转换成指向该函数类型的指针

1.3 重新抛出

一条 catch 语句通过重新抛出 (rethrowing) 的操作将异常传递给另外一个 catch 语句。 这里的重新抛出
仍然是一条 throw 语句， 只不过不包含任何表达式：
throw;

{
    // 使用引用类型的异常声明
    catch (my_error &eObj) {
        eObj.status = errCodes::severeErr;     //修改异常对象
        throw;//重新抛出
    } catch (other_error_eObj) {
        // 非引用类型
        eObj.status = errCodes::badErr;//只是修改了对象的局部副本

        throw;//异常对象的status没有修改
    }
}

1.4 .捕获所有异常 (catch-all)

使用省略号作为异常声明，如 catch (… )

catch(…);一条语句可以和任意类型的异常对象匹配。

它经常和重新抛出语句一起使用，其中catch执行完当前局部能够完成的工作之后，重新抛出异常。

{
    void manip () {
        try {
            // 这里的操作将引发并抛出一个异常
        } 
        catch (...) {
            // 处理异常的某一些操作
            throw;
        }
    }

    // catch(...)既可以单独出现
    // 也可以和其他的catch一起出现
    // 如果和其他的catch一起出现
    // 则它必须放在最后的位置
    // 否则放在捕获所有异常的catch语句之后的catch语句永远不会被执行
}