C++的异常处理机制,说白了就是给程序装上一套“安全气囊”——当运行时遇到意外状况,不至于直接崩溃,而是能优雅地收场。这套机制的核心离不开三个关键字:try、catch和throw。它们组合在一起,构成了C++应对错误的标准姿势。

基本概念
- try:用来包裹那些“可能出问题”的代码块,就像画一个警戒区。
- catch:负责捕获并处理异常。可以准备多个catch块,分别处理不同类型的异常——这就像备着不同型号的灭火器。
- throw:当错误真的发生时,用throw把异常对象“扔”出去。
异常处理流程
- 抛出异常:程序遇到错误时,用
throw关键字抛出一个异常对象,相当于拉响警报。 - 捕获异常:在
try块后面紧跟的catch块负责接住这个异常。 - 处理异常:在
catch块里编写具体的处理逻辑——是记录日志、回滚操作,还是给出提示,都由你决定。
示例代码
#include
#include
int main() {
try {
// 可能抛出异常的代码
int result = 10 / 0; // 这里会抛出一个std::runtime_error异常
} catch (const std::runtime_error& e) {
// 捕获并处理std::runtime_error异常
std::cerr << "捕获到std::runtime_error异常: " << e.what() << std::endl;
} catch (const std::exception& e) {
// 捕获并处理其他std::exception派生类的异常
std::cerr << "捕获到std::exception异常: " << e.what() << std::endl;
} catch (...) {
// 捕获所有其他类型的异常
std::cerr << "捕获到未知异常" << std::endl;
}
return 0;
}
这段代码展示了典型的三层捕获结构:先精确匹配runtime_error,再兜底其他标准异常,最后用...抓所有漏网之鱼。注意,catch (...)应该放在最后,因为它会捕获一切异常,包括非标准异常。
异常类型
C++标准库提供了一套常用的异常类,它们的根都是std::exception。用好这些现成的异常类型,能让代码更容易被理解和维护:
std::runtime_error:运行时错误,比如除以零、文件打开失败。std::logic_error:逻辑错误,比如传入了无效参数。std::invalid_argument:专门表示无效参数。std::out_of_range:访问越界,比如访问vector的非法索引。std::length_error:长度错误,比如试图创建过长的字符串。std::bad_alloc:内存分配失败,这通常是new操作符抛出的。
当然,你也可以从std::exception派生自己的异常类,但大多数场景下,标准库提供的这些已经够用了。
注意事项
- 资源管理:异常发生时,如果资源(比如打开的文件、动态内存)没有被正确释放,就会造成泄漏。解决方案是RAII(Resource Acquisition Is Initialization)——把资源绑定到对象的生命周期上,利用析构函数自动释放。这几乎是C++中处理异常最优雅的方式。
- 异常安全性:编写代码时要保证即使抛出异常,程序的状态也不会变得一团糟。通常有三种安全级别:基本保证(不泄漏资源)、强保证(操作要么完全成功,要么回滚到初始状态)、不抛出保证(noexcept)。
- 不要滥用异常:异常是给“异常情况”准备的,不是用来替代普通流程控制的。比如,循环中检查一个数组索引是否越界,用if判断就足够了,没必要每次都用try-catch。过度使用异常会拖慢性能,也让代码的逻辑变得难以追踪。
合理运用C++的异常处理机制,能让程序在面临错误时更加从容,也更容易维护。记住一点:异常不是用来逃避问题的,而是用来组织应对问题的策略。