异常简介什么是异常第一个示例用途:报告违反规则的行为异常的替代方案标准库异常处理

问题和保证资源泄露使用

避免内存泄漏析构函数不要让异常逃脱异常保证无抛出异常保证noexcept

(C11)

抛出将控制权转移回当前函数的调用方它们可以通过try…catch块捕获/处理如果不处理异常会向上传播直到它们到达

main如果main中没有处理异常将会调用std::terminatestd::terminate

第一个示例

异常的最初动机是报告构造函数未能正确初始化对象即未能建立所需的类不变量(构造函数没有可用于错误报告的返回类型)。

#include

std::invalid_argument{denominator

must

越界容器索引/平方根为负数宽契约函数在使用其输入值之前执行前置条件检查

在性能关键的代码中如果传入的参数已经知道是有效的那么人们不想支付输入有效性检查的成本因此通常不会使用这些方法。

未能建立/保持不变量

公共成员函数无法设置有效的成员值内存不足向量vector增长失败

后置条件违规

关于输出的期望值返回值违规函数未能产生有效的返回值或损坏全局状态例子

优点1将错误处理代码与业务逻辑分离

窄契约函数在传递参数之前确保参数有效使用可以排除无效值的参数类型如今这是首选以获得更好的性能

未能建立/保留不变量

通过单独的输出参数引用或指针返回错误代码返回特殊的无效值使用特殊的词汇类型可以包含有效结果也可以什么都不包含就像C17的std::optional或Haskell的Maybe

标准库异常

}一些标准库容器提供了宽契约函数通过抛出异常来报告无效的输入值

std::vectorint

如果同样的异常类型在许多不同的地方被抛出可以避免代码重复。

对于将异常转换为错误代码很有用

void

work…close_database_connection(h);//

}使用

handle_{make_database_connection(db)}

{}~DBConnector

close_database_connection(handle_);

}//

连接关闭了!如果你需要使用一个比如来自C语言的库这个库采用独立的初始化和资源释放函数那么就编写一个RAII包装器。

通常如果无法控制引用的外部资源将包装器设为不可复制删除复制构造函数和复制赋值运算符也是有意义的。

析构函数不要让异常逃脱

成员可能包含无效值部分执行失败的操作可能会导致副作用例如输出异常可能会向外传播

基本保正

不变量被保留没有资源泄漏所有成员都将包含有效值执行失败操作的部分可能会导致一些副作用例如值可能已写入文件

强保证提交或回滚语义

内存分配容器应该提供这一保证即如果在增长过程中内存分配失败容器应保持有效和不变。

无抛出异常保证最强

保证操作成功外部看不到任何异常要么没有抛出异常要么在内部被捕获了使用

noexcept

noexcept是函数的接口的一部分甚至是自C17函数类型的一部分稍后将不抛出异常的函数更改为抛出异常的函数可能会破坏那些依赖不必处理异常的调用代码

有条件noexcept

移动构造函数复制赋值运算符、移动赋值运算符继承的构造函数用户定义的析构函数

他们需要调用