异常处理是 C 中分离错误检测与处理的核心机制也是大型项目健壮性的基石。本文从 C 语言错误码的痛点讲起逐步深入 throw/try/catch 语法、栈展开、匹配规则、自定义异常体系、异常重抛、RAII 资源管理、noexcept 规范以及标准库异常继承树助你一次掌握异常处理的全部精髓。《C 异常处理throw/try/catch 栈展开 RAII 标准库》1. 为什么需要异常—— 对比 C 语言错误码1.1 C 语言错误码的三大硬伤1.2 C 异常带来的革命性改进2. 异常基础语法 —— throw、try、catch2.1 三剑客2.2 最简单完整的示例除零异常3. 栈展开 —— 异常跨层传递的幕后英雄3.1 什么是栈展开3.2 图解栈展开过程3.3 代码验证栈展开与析构4. catch 匹配规则 —— 不止是类型相同4.1 基础匹配原则4.2 允许的少数隐式转换重要4.3 匹配示例5. 自定义异常体系 —— 工程化的多态捕获5.1 设计自定义异常基类与派生类6. 异常重新抛出 —— 重试与责任分层6.1 典型场景网络重试7. 异常安全与资源泄漏 —— RAII 是终极答案7.1 异常安全的威胁7.2 危险示例7.3 方案一捕获后释放再重抛7.4 方案二RAII资源获取即初始化—— 工程首选7.5 析构函数中的异常 —— 绝对禁止逃离8. 异常规范 —— noexcept 的前世今生8.1 C98 的 throw() 已过时8.2 C11 的 noexcept8.3 noexcept 运算符9. C 标准库异常体系全解9.1 继承树总览9.2 通用捕获模式10. 最佳实践与高频易错点汇总10.1 工程开发守则10.2 高频易错点清单10.3 何时使用异常 vs 错误码最后)1. 为什么需要异常—— 对比 C 语言错误码1.1 C 语言错误码的三大硬伤在 C 语言中我们习惯用返回值如-1、NULL、errno来表示错误。这种模式存在明显缺陷信息贫瘠错误码通常只是一个数字需要额外文档才能知道含义难以携带上下文信息。被动检查调用者必须手动if判断返回值极易遗漏错误被悄悄忽略。传递冗余每一层函数都要显式检查并向上返回代码充斥大量重复的if (ret 0) return ret;。1.2 C 异常带来的革命性改进异常机制将“错误检测”和“错误处理”彻底解耦抛出对象可以抛出任意类型的对象携带错误描述、错误码、甚至现场数据如 SQL 语句、URL。强制关注不捕获异常程序会调用std::terminate()终止迫使开发者重视错误。自动传播异常会沿着调用链自动向上层传播中间层无需任何处理代码除非需要介入。栈展开保证在传播过程中所有局部对象自动析构资源释放有保障配合 RAII。对比维度C 语言错误码C 异常错误载体整型编号任意类型对象信息丰富处理方式手动检查返回值自动匹配catch块忽略风险高容易忘记检查低不捕获则终止跨层传递每层都要写判断自动沿调用链传播资源清理手动在每层完成栈展开自动析构局部对象代码可读性充斥 if 判断主逻辑清晰错误处理分离核心本质错误码是主动查询错误异常是被动接收错误。2. 异常基础语法 —— throw、try、catch2.1 三剑客try监控块用来包裹可能抛出异常的代码。throw抛出异常对象后续代码不再执行控制权立刻转移。catch(类型)捕获对应类型的异常对象处理错误。2.2 最简单完整的示例除零异常#includeiostream#includestringusingnamespacestd;doublesafeDivide(inta,intb){if(b0){// 抛出 string 对象携带明确错误信息throwstring(除法错误除数不能为 0);}returnstatic_castdouble(a)/b;}intmain(){intx,y;while(cinxy){try{doubleresultsafeDivide(x,y);cout结果resultendl;}catch(conststringerrMsg){// 用 const 避免拷贝cerr捕获异常errMsgendl;}}return0;}关键解析throw string(...)抛出一个临时对象编译器会生成一份拷贝因为原始对象是局部变量离开作用域即销毁。catch使用const不仅避免拷贝开销还能保持多态性后面会讲。如果throw的类型与所有catch都不匹配异常会继续向外传播若最终未被捕获则程序终止。⚠️ 易错点 1throw后面的代码永远不会执行程序直接跳转到匹配的catch。3. 栈展开 —— 异常跨层传递的幕后英雄3.1 什么是栈展开当throw执行后程序会沿着调用链反向查找匹配的catch处理器。在查找过程中每退出一个函数该函数栈上的所有局部对象都会被析构栈展开直到找到合适的catch或者到达main仍未匹配而终止。3.2 图解栈展开过程假设调用链main() → func3() → func2() → func1()在func1中抛出异常catch写在main中。3.3 代码验证栈展开与析构#includeiostreamusingnamespacestd;structTest{intid;Test(inti):id(i){cout构造 idendl;}~Test(){cout析构 idendl;}};voidf1(){Testt1(1);throwruntime_error(来自 f1 的错误);}voidf2(){Testt2(2);f1();}intmain(){try{f2();}catch(constexceptione){cout捕获: e.what()endl;}return0;}输出构造 2 构造 1 析构 1 析构 2 捕获: 来自 f1 的错误可以看到即使异常穿透了f2f2中的局部对象t2也正常析构了。这正是栈展开带来的安全保障。4. catch 匹配规则 —— 不止是类型相同4.1 基础匹配原则精确匹配优先编译器会选择类型完全匹配的catch且若有多个选择代码顺序靠前的那个。不允许普通算术转换如int不能匹配doublechar不能匹配int。4.2 允许的少数隐式转换重要以下四种转换被允许也是工程中常用的非常量 → 常量throw string()可被catch(const string)捕获。数组/函数 → 指针throw errorconst char[6]可被catch(const char*)捕获。派生类 → 基类派生类异常对象可被基类引用或指针捕获多态捕获取决于此。catch(...)万能捕获可匹配任何类型但必须放在最后否则会拦截所有异常。4.3 匹配示例try{throw42;// int 类型}catch(constinte){// 匹配非常量→常量coutint caughtendl;}catch(double){// 不匹配不会做算术转换coutdoubleendl;}5. 自定义异常体系 —— 工程化的多态捕获大型项目通常会按模块定义不同的异常类全部继承自一个公共基类并在顶层只捕获基类引用通过虚函数获取详细信息。这样既能统一处理又能保留各个异常的特殊信息。5.1 设计自定义异常基类与派生类#includeiostream#includestring#includectime#includethreadusingnamespacestd;// ---------- 基础异常类 ----------classBaseException{protected:string _errMsg;int_errCode;public:BaseException(conststringmsg,intcode):_errMsg(msg),_errCode(code){}virtualstringwhat()const{return[错误码 to_string(_errCode)] _errMsg;}intgetCode()const{return_errCode;}virtual~BaseException(){}};// ---------- SQL 异常 ----------classSqlException:publicBaseException{private:string _sql;public:SqlException(conststringmsg,intcode,conststringsql):BaseException(msg,code),_sql(sql){}virtualstringwhat()constoverride{return[SQL异常] BaseException::what() | SQL: _sql;}};// ---------- HTTP 异常 ----------classHttpException:publicBaseException{private:string _method;public:HttpException(conststringmsg,intcode,conststringmethod):BaseException(msg,code),_method(method){}virtualstringwhat()constoverride{return[HTTP异常] BaseException::what() | Method: _method;}};// ---------- 模拟服务 ----------voidsqlService(){if(rand()%30){throwSqlException(权限不足,403,SELECT * FROM users);}coutSQL 执行成功endl;}voidhttpService(){if(rand()%20){throwHttpException(资源不存在,404,GET);}sqlService();coutHTTP 请求成功endl;}// ---------- main ----------intmain(){srand(static_castunsigned(time(nullptr)));while(true){this_thread::sleep_for(chrono::seconds(1));try{httpService();}catch(constBaseExceptione){// 只捕获基类引用多态cerre.what()endlendl;}catch(...){// 兜底cerr未知异常endlendl;}}return0;}代码亮点BaseException定义了virtual what()派生类重写实现多态输出。顶层只需一个catch(const BaseException)就能捕获所有模块的异常扩展新模块时无需修改顶层代码。每个派生类可以携带自己的额外字段如_sql、_method通过重写what()将其融入错误信息。⚠️ 关键点必须使用引用捕获const BaseException如果按值捕获会发生切片派生类的额外信息全部丢失。6. 异常重新抛出 —— 重试与责任分层有时在捕获异常后当前函数只能处理部分情况例如网络波动可以重试其他情况或者重试失败后需要将异常继续向上传递。这时使用throw;无参形式即可重新抛出当前捕获的异常对象。6.1 典型场景网络重试#includeiostream#includestring#includectimeusingnamespacestd;// 模拟网络异常继承自 BaseException为简略只写简要结构structNetException:publicBaseException{NetException(conststringmsg,intcode):BaseException(msg,code){}};// 底层发送随机失败voidrawSend(conststringcontent){intrrand()%5;if(r0)throwNetException(网络不稳定,102);if(r1)throwNetException(对方不是好友,103);cout发送成功: contentendl;}// 中层重试3次只处理网络不稳定(102)其他异常直接上抛voidsendWithRetry(conststringcontent){for(inti0;i4;i){try{rawSend(content);return;}catch(constNetExceptione){if(e.getCode()102i3){cout第 i1 次重试...endl;continue;}// 其他错误或重试耗尽 → 重新抛出throw;// 关键无参 throw保留原始异常}}}intmain(){srand(time(nullptr));string msg;while(cinmsg){try{sendWithRetry(msg);}catch(constBaseExceptione){cout最终捕获: e.what()endlendl;}}return0;}要点throw;会原样抛出当前捕获的异常对象不丢失类型和信息。分层清晰底层只管抛出中层做可恢复的重试顶层负责记录最终错误。7. 异常安全与资源泄漏 —— RAII 是终极答案7.1 异常安全的威胁栈展开只会自动析构栈上的对象但new分配的堆内存、文件句柄、锁等资源不会自动释放。如果在new之后、delete之前抛出异常释放代码就被跳过造成资源泄漏。7.2 危险示例voidleakDemo(){int*arrnewint[100];// ... 一些操作可能抛出异常if(/* 条件 */)throwruntime_error(出错了);delete[]arr;// 如果抛异常这行永远不会执行}7.3 方案一捕获后释放再重抛voidsafeManual(){int*arrnewint[100];try{// ... 可能抛异常的操作if(/* 条件 */)throwruntime_error(出错了);delete[]arr;}catch(...){delete[]arr;// 释放资源throw;// 继续向上传播}}缺点是每个资源都要写一遍代码冗余。7.4 方案二RAII资源获取即初始化—— 工程首选将资源封装在栈对象中利用析构函数自动释放资源。栈展开时会自动调用析构无需手动干预。#includememoryvoidsafeRAII(){unique_ptrint[]arr(newint[100]);// ... 可能抛异常的操作if(/* 条件 */)throwruntime_error(出错了);// 无需 deletearr 析构时会自动释放}原则任何需要手动释放的资源动态内存、文件、锁都应该用 RAII 容器如unique_ptr、shared_ptr、fstream、lock_guard管理。7.5 析构函数中的异常 —— 绝对禁止逃离C 规定如果析构函数在栈展开过程中抛出异常程序会直接调用std::terminate()崩溃。因此析构函数内部必须捕获所有异常绝不向外抛出。classFileHandler{FILE*fp;public:FileHandler(constchar*path){fpfopen(path,r);}~FileHandler(){try{if(fp)fclose(fp);}catch(...){// 记录日志但绝不重新抛出}}};Effective C 条款 08别让异常逃离析构函数。8. 异常规范 —— noexcept 的前世今生8.1 C98 的 throw() 已过时旧标准使用throw()或throw(type1, type2)来声明函数是否会抛出异常但编译器并不严格检查且语法繁琐实践中很少使用C11 已将其废弃。8.2 C11 的 noexceptnoexcept明确表示函数不会抛出任何异常。doublefoo(inta,intb)noexcept;// 承诺不抛异常编译器不会在编译时强制检查如果noexcept函数内部实际抛出了异常程序会直接调用std::terminate()终止不会进入任何catch。使用noexcept可以给编译器更多优化机会尤其是移动语义标准库容器会优先使用noexcept的移动构造函数。8.3 noexcept 运算符可以在编译期检测一个表达式是否会抛出异常返回bool。intmain(){coutnoexcept(foo(1,2))endl;// 如果 foo 声明为 noexcept输出 1inti0;coutnoexcept(i)endl;// 自增不会抛异常 → 1}9. C 标准库异常体系全解9.1 继承树总览9.2 通用捕获模式所有标准异常都继承自std::exception因此我们可以只捕获基类再通过what()获取信息。#includeiostream#includestdexcept#includevectorusingnamespacestd;intmain(){try{vectorintv(10);v.at(20);// 抛出 out_of_range派生自 logic_error}catch(constexceptione){cout标准异常: e.what()endl;}catch(...){cout未知异常endl;}return0;}建议自定义异常类最好继承自std::exception这样也能被上述通用捕获覆盖。10. 最佳实践与高频易错点汇总10.1 工程开发守则按引用捕获catch (const ExceptionType e)避免切片保留多态。自定义异常继承std::exception并重写what()。RAII 管理所有资源内存用智能指针文件用fstream锁用lock_guard。析构函数绝不向外抛异常内部try-catch消化。合理使用noexcept尤其是移动构造函数和交换函数能提升性能。顶层统一捕获main中捕获std::exception和...作为最后防线。重抛使用throw;保留原始异常对象。异常只用于“意外情况”不要用异常控制正常流程如循环结束条件。10.2 高频易错点清单易错点后果正确做法catch (Exception e)按值捕获派生类对象切片丢失信息使用catch (const Exception e)catch(...)放在前面拦截所有异常后续 catch 无效必须放在最后在noexcept函数中抛出异常程序直接terminate确保noexcept函数真的不会抛throw抛局部对象未拷贝引用悬空但编译器会生成拷贝无需担心编译器已处理析构函数中抛异常栈展开时双重异常导致崩溃析构内捕获所有异常并消化忘记处理异常程序终止顶层设置catch(...)兜底使用错误码与异常混用逻辑混乱项目统一选择一种错误处理方式10.3 何时使用异常 vs 错误码推荐异常大型服务端、框架库、构造失败、无法忽略的错误。推荐错误码嵌入式、实时系统、性能敏感的内循环、可预期的失败如查找失败。最后异常处理是 C 中强大但容易误用的特性。理解其核心机制栈展开、匹配规则、RAII是正确使用的前提。本文从基础语法到工程实战涵盖了异常处理的方方面面希望帮你建立起完整的知识体系并在实际项目中写出既安全又清晰的异常处理代码。如果本文对你有帮助欢迎点赞、收藏、转发也欢迎在评论区交流讨论
《C++ 异常处理：throw/try/catch + 栈展开 + RAII + 标准库》
异常处理是 C 中分离错误检测与处理的核心机制也是大型项目健壮性的基石。本文从 C 语言错误码的痛点讲起逐步深入 throw/try/catch 语法、栈展开、匹配规则、自定义异常体系、异常重抛、RAII 资源管理、noexcept 规范以及标准库异常继承树助你一次掌握异常处理的全部精髓。《C 异常处理throw/try/catch 栈展开 RAII 标准库》1. 为什么需要异常—— 对比 C 语言错误码1.1 C 语言错误码的三大硬伤1.2 C 异常带来的革命性改进2. 异常基础语法 —— throw、try、catch2.1 三剑客2.2 最简单完整的示例除零异常3. 栈展开 —— 异常跨层传递的幕后英雄3.1 什么是栈展开3.2 图解栈展开过程3.3 代码验证栈展开与析构4. catch 匹配规则 —— 不止是类型相同4.1 基础匹配原则4.2 允许的少数隐式转换重要4.3 匹配示例5. 自定义异常体系 —— 工程化的多态捕获5.1 设计自定义异常基类与派生类6. 异常重新抛出 —— 重试与责任分层6.1 典型场景网络重试7. 异常安全与资源泄漏 —— RAII 是终极答案7.1 异常安全的威胁7.2 危险示例7.3 方案一捕获后释放再重抛7.4 方案二RAII资源获取即初始化—— 工程首选7.5 析构函数中的异常 —— 绝对禁止逃离8. 异常规范 —— noexcept 的前世今生8.1 C98 的 throw() 已过时8.2 C11 的 noexcept8.3 noexcept 运算符9. C 标准库异常体系全解9.1 继承树总览9.2 通用捕获模式10. 最佳实践与高频易错点汇总10.1 工程开发守则10.2 高频易错点清单10.3 何时使用异常 vs 错误码最后)1. 为什么需要异常—— 对比 C 语言错误码1.1 C 语言错误码的三大硬伤在 C 语言中我们习惯用返回值如-1、NULL、errno来表示错误。这种模式存在明显缺陷信息贫瘠错误码通常只是一个数字需要额外文档才能知道含义难以携带上下文信息。被动检查调用者必须手动if判断返回值极易遗漏错误被悄悄忽略。传递冗余每一层函数都要显式检查并向上返回代码充斥大量重复的if (ret 0) return ret;。1.2 C 异常带来的革命性改进异常机制将“错误检测”和“错误处理”彻底解耦抛出对象可以抛出任意类型的对象携带错误描述、错误码、甚至现场数据如 SQL 语句、URL。强制关注不捕获异常程序会调用std::terminate()终止迫使开发者重视错误。自动传播异常会沿着调用链自动向上层传播中间层无需任何处理代码除非需要介入。栈展开保证在传播过程中所有局部对象自动析构资源释放有保障配合 RAII。对比维度C 语言错误码C 异常错误载体整型编号任意类型对象信息丰富处理方式手动检查返回值自动匹配catch块忽略风险高容易忘记检查低不捕获则终止跨层传递每层都要写判断自动沿调用链传播资源清理手动在每层完成栈展开自动析构局部对象代码可读性充斥 if 判断主逻辑清晰错误处理分离核心本质错误码是主动查询错误异常是被动接收错误。2. 异常基础语法 —— throw、try、catch2.1 三剑客try监控块用来包裹可能抛出异常的代码。throw抛出异常对象后续代码不再执行控制权立刻转移。catch(类型)捕获对应类型的异常对象处理错误。2.2 最简单完整的示例除零异常#includeiostream#includestringusingnamespacestd;doublesafeDivide(inta,intb){if(b0){// 抛出 string 对象携带明确错误信息throwstring(除法错误除数不能为 0);}returnstatic_castdouble(a)/b;}intmain(){intx,y;while(cinxy){try{doubleresultsafeDivide(x,y);cout结果resultendl;}catch(conststringerrMsg){// 用 const 避免拷贝cerr捕获异常errMsgendl;}}return0;}关键解析throw string(...)抛出一个临时对象编译器会生成一份拷贝因为原始对象是局部变量离开作用域即销毁。catch使用const不仅避免拷贝开销还能保持多态性后面会讲。如果throw的类型与所有catch都不匹配异常会继续向外传播若最终未被捕获则程序终止。⚠️ 易错点 1throw后面的代码永远不会执行程序直接跳转到匹配的catch。3. 栈展开 —— 异常跨层传递的幕后英雄3.1 什么是栈展开当throw执行后程序会沿着调用链反向查找匹配的catch处理器。在查找过程中每退出一个函数该函数栈上的所有局部对象都会被析构栈展开直到找到合适的catch或者到达main仍未匹配而终止。3.2 图解栈展开过程假设调用链main() → func3() → func2() → func1()在func1中抛出异常catch写在main中。3.3 代码验证栈展开与析构#includeiostreamusingnamespacestd;structTest{intid;Test(inti):id(i){cout构造 idendl;}~Test(){cout析构 idendl;}};voidf1(){Testt1(1);throwruntime_error(来自 f1 的错误);}voidf2(){Testt2(2);f1();}intmain(){try{f2();}catch(constexceptione){cout捕获: e.what()endl;}return0;}输出构造 2 构造 1 析构 1 析构 2 捕获: 来自 f1 的错误可以看到即使异常穿透了f2f2中的局部对象t2也正常析构了。这正是栈展开带来的安全保障。4. catch 匹配规则 —— 不止是类型相同4.1 基础匹配原则精确匹配优先编译器会选择类型完全匹配的catch且若有多个选择代码顺序靠前的那个。不允许普通算术转换如int不能匹配doublechar不能匹配int。4.2 允许的少数隐式转换重要以下四种转换被允许也是工程中常用的非常量 → 常量throw string()可被catch(const string)捕获。数组/函数 → 指针throw errorconst char[6]可被catch(const char*)捕获。派生类 → 基类派生类异常对象可被基类引用或指针捕获多态捕获取决于此。catch(...)万能捕获可匹配任何类型但必须放在最后否则会拦截所有异常。4.3 匹配示例try{throw42;// int 类型}catch(constinte){// 匹配非常量→常量coutint caughtendl;}catch(double){// 不匹配不会做算术转换coutdoubleendl;}5. 自定义异常体系 —— 工程化的多态捕获大型项目通常会按模块定义不同的异常类全部继承自一个公共基类并在顶层只捕获基类引用通过虚函数获取详细信息。这样既能统一处理又能保留各个异常的特殊信息。5.1 设计自定义异常基类与派生类#includeiostream#includestring#includectime#includethreadusingnamespacestd;// ---------- 基础异常类 ----------classBaseException{protected:string _errMsg;int_errCode;public:BaseException(conststringmsg,intcode):_errMsg(msg),_errCode(code){}virtualstringwhat()const{return[错误码 to_string(_errCode)] _errMsg;}intgetCode()const{return_errCode;}virtual~BaseException(){}};// ---------- SQL 异常 ----------classSqlException:publicBaseException{private:string _sql;public:SqlException(conststringmsg,intcode,conststringsql):BaseException(msg,code),_sql(sql){}virtualstringwhat()constoverride{return[SQL异常] BaseException::what() | SQL: _sql;}};// ---------- HTTP 异常 ----------classHttpException:publicBaseException{private:string _method;public:HttpException(conststringmsg,intcode,conststringmethod):BaseException(msg,code),_method(method){}virtualstringwhat()constoverride{return[HTTP异常] BaseException::what() | Method: _method;}};// ---------- 模拟服务 ----------voidsqlService(){if(rand()%30){throwSqlException(权限不足,403,SELECT * FROM users);}coutSQL 执行成功endl;}voidhttpService(){if(rand()%20){throwHttpException(资源不存在,404,GET);}sqlService();coutHTTP 请求成功endl;}// ---------- main ----------intmain(){srand(static_castunsigned(time(nullptr)));while(true){this_thread::sleep_for(chrono::seconds(1));try{httpService();}catch(constBaseExceptione){// 只捕获基类引用多态cerre.what()endlendl;}catch(...){// 兜底cerr未知异常endlendl;}}return0;}代码亮点BaseException定义了virtual what()派生类重写实现多态输出。顶层只需一个catch(const BaseException)就能捕获所有模块的异常扩展新模块时无需修改顶层代码。每个派生类可以携带自己的额外字段如_sql、_method通过重写what()将其融入错误信息。⚠️ 关键点必须使用引用捕获const BaseException如果按值捕获会发生切片派生类的额外信息全部丢失。6. 异常重新抛出 —— 重试与责任分层有时在捕获异常后当前函数只能处理部分情况例如网络波动可以重试其他情况或者重试失败后需要将异常继续向上传递。这时使用throw;无参形式即可重新抛出当前捕获的异常对象。6.1 典型场景网络重试#includeiostream#includestring#includectimeusingnamespacestd;// 模拟网络异常继承自 BaseException为简略只写简要结构structNetException:publicBaseException{NetException(conststringmsg,intcode):BaseException(msg,code){}};// 底层发送随机失败voidrawSend(conststringcontent){intrrand()%5;if(r0)throwNetException(网络不稳定,102);if(r1)throwNetException(对方不是好友,103);cout发送成功: contentendl;}// 中层重试3次只处理网络不稳定(102)其他异常直接上抛voidsendWithRetry(conststringcontent){for(inti0;i4;i){try{rawSend(content);return;}catch(constNetExceptione){if(e.getCode()102i3){cout第 i1 次重试...endl;continue;}// 其他错误或重试耗尽 → 重新抛出throw;// 关键无参 throw保留原始异常}}}intmain(){srand(time(nullptr));string msg;while(cinmsg){try{sendWithRetry(msg);}catch(constBaseExceptione){cout最终捕获: e.what()endlendl;}}return0;}要点throw;会原样抛出当前捕获的异常对象不丢失类型和信息。分层清晰底层只管抛出中层做可恢复的重试顶层负责记录最终错误。7. 异常安全与资源泄漏 —— RAII 是终极答案7.1 异常安全的威胁栈展开只会自动析构栈上的对象但new分配的堆内存、文件句柄、锁等资源不会自动释放。如果在new之后、delete之前抛出异常释放代码就被跳过造成资源泄漏。7.2 危险示例voidleakDemo(){int*arrnewint[100];// ... 一些操作可能抛出异常if(/* 条件 */)throwruntime_error(出错了);delete[]arr;// 如果抛异常这行永远不会执行}7.3 方案一捕获后释放再重抛voidsafeManual(){int*arrnewint[100];try{// ... 可能抛异常的操作if(/* 条件 */)throwruntime_error(出错了);delete[]arr;}catch(...){delete[]arr;// 释放资源throw;// 继续向上传播}}缺点是每个资源都要写一遍代码冗余。7.4 方案二RAII资源获取即初始化—— 工程首选将资源封装在栈对象中利用析构函数自动释放资源。栈展开时会自动调用析构无需手动干预。#includememoryvoidsafeRAII(){unique_ptrint[]arr(newint[100]);// ... 可能抛异常的操作if(/* 条件 */)throwruntime_error(出错了);// 无需 deletearr 析构时会自动释放}原则任何需要手动释放的资源动态内存、文件、锁都应该用 RAII 容器如unique_ptr、shared_ptr、fstream、lock_guard管理。7.5 析构函数中的异常 —— 绝对禁止逃离C 规定如果析构函数在栈展开过程中抛出异常程序会直接调用std::terminate()崩溃。因此析构函数内部必须捕获所有异常绝不向外抛出。classFileHandler{FILE*fp;public:FileHandler(constchar*path){fpfopen(path,r);}~FileHandler(){try{if(fp)fclose(fp);}catch(...){// 记录日志但绝不重新抛出}}};Effective C 条款 08别让异常逃离析构函数。8. 异常规范 —— noexcept 的前世今生8.1 C98 的 throw() 已过时旧标准使用throw()或throw(type1, type2)来声明函数是否会抛出异常但编译器并不严格检查且语法繁琐实践中很少使用C11 已将其废弃。8.2 C11 的 noexceptnoexcept明确表示函数不会抛出任何异常。doublefoo(inta,intb)noexcept;// 承诺不抛异常编译器不会在编译时强制检查如果noexcept函数内部实际抛出了异常程序会直接调用std::terminate()终止不会进入任何catch。使用noexcept可以给编译器更多优化机会尤其是移动语义标准库容器会优先使用noexcept的移动构造函数。8.3 noexcept 运算符可以在编译期检测一个表达式是否会抛出异常返回bool。intmain(){coutnoexcept(foo(1,2))endl;// 如果 foo 声明为 noexcept输出 1inti0;coutnoexcept(i)endl;// 自增不会抛异常 → 1}9. C 标准库异常体系全解9.1 继承树总览9.2 通用捕获模式所有标准异常都继承自std::exception因此我们可以只捕获基类再通过what()获取信息。#includeiostream#includestdexcept#includevectorusingnamespacestd;intmain(){try{vectorintv(10);v.at(20);// 抛出 out_of_range派生自 logic_error}catch(constexceptione){cout标准异常: e.what()endl;}catch(...){cout未知异常endl;}return0;}建议自定义异常类最好继承自std::exception这样也能被上述通用捕获覆盖。10. 最佳实践与高频易错点汇总10.1 工程开发守则按引用捕获catch (const ExceptionType e)避免切片保留多态。自定义异常继承std::exception并重写what()。RAII 管理所有资源内存用智能指针文件用fstream锁用lock_guard。析构函数绝不向外抛异常内部try-catch消化。合理使用noexcept尤其是移动构造函数和交换函数能提升性能。顶层统一捕获main中捕获std::exception和...作为最后防线。重抛使用throw;保留原始异常对象。异常只用于“意外情况”不要用异常控制正常流程如循环结束条件。10.2 高频易错点清单易错点后果正确做法catch (Exception e)按值捕获派生类对象切片丢失信息使用catch (const Exception e)catch(...)放在前面拦截所有异常后续 catch 无效必须放在最后在noexcept函数中抛出异常程序直接terminate确保noexcept函数真的不会抛throw抛局部对象未拷贝引用悬空但编译器会生成拷贝无需担心编译器已处理析构函数中抛异常栈展开时双重异常导致崩溃析构内捕获所有异常并消化忘记处理异常程序终止顶层设置catch(...)兜底使用错误码与异常混用逻辑混乱项目统一选择一种错误处理方式10.3 何时使用异常 vs 错误码推荐异常大型服务端、框架库、构造失败、无法忽略的错误。推荐错误码嵌入式、实时系统、性能敏感的内循环、可预期的失败如查找失败。最后异常处理是 C 中强大但容易误用的特性。理解其核心机制栈展开、匹配规则、RAII是正确使用的前提。本文从基础语法到工程实战涵盖了异常处理的方方面面希望帮你建立起完整的知识体系并在实际项目中写出既安全又清晰的异常处理代码。如果本文对你有帮助欢迎点赞、收藏、转发也欢迎在评论区交流讨论
