1. 异常安全编程的核心概念异常安全Exception Safety是编程中一个常被忽视却至关重要的概念。简单来说它指的是当程序执行过程中发生异常时代码能够保持数据一致性和资源管理的正确性。想象一下你在银行转账的场景如果从A账户扣款成功但在向B账户转账时系统崩溃没有异常安全处理的代码就会导致A账户的钱凭空消失。异常安全编程最早由David Abrahams在1996年正式提出随后被纳入C标准库的设计原则。但它的价值远不止于C几乎所有现代编程语言都需要考虑异常安全问题。在Python、Java等语言中虽然异常处理机制有所不同但异常安全的基本原则同样适用。异常安全通常分为三个级别基本保证Basic Guarantee发生异常时程序保持有效状态没有资源泄漏强保证Strong Guarantee操作要么完全成功要么保持操作前的状态不抛出保证Nothrow Guarantee操作保证不会抛出异常实际开发中最常见的错误是认为我的代码不会抛出异常。事实上内存不足、网络中断、文件IO错误等都可能在任何时候发生异常。2. 异常安全的四大核心问题2.1 资源泄漏问题资源泄漏是异常安全中最常见的问题。考虑下面这段C代码void processFile() { File* file new File(data.txt); // 处理文件内容 delete file; // 如果中间抛出异常这行不会执行 }如果处理文件内容部分抛出异常file对象将永远不会被删除导致内存泄漏。现代C中可以使用RAIIResource Acquisition Is Initialization模式解决void processFile() { std::ifstream file(data.txt); // 使用智能指针或RAII包装器 // 处理文件内容 } // 文件会在作用域结束时自动关闭2.2 数据一致性问题数据一致性是另一个关键问题。假设我们有一个账户转账函数def transfer(from_acc, to_acc, amount): from_acc.balance - amount # 先扣款 # 如果这里抛出异常 to_acc.balance amount # 收款不会执行正确的做法应该是使用事务模式def transfer(from_acc, to_acc, amount): try: from_acc.balance - amount to_acc.balance amount except: # 回滚操作 from_acc.balance amount raise2.3 异常传播问题异常传播路径上的代码必须考虑异常安全。一个常见误区是认为捕获了所有异常就安全了try { riskyOperation(); } catch (Exception e) { logger.error(Error occurred, e); } // 这里可能仍然处于不一致状态正确的做法是在catch块中恢复状态或者确保操作是原子性的。2.4 构造函数中的异常构造函数中的异常特别危险因为对象可能处于半构造状态class ResourceHolder { Resource* res1; Resource* res2; public: ResourceHolder() { res1 new Resource(); // 可能抛出异常 res2 new Resource(); // 如果这里抛出res1已分配 } };解决方案是使用成员初始化列表和智能指针class ResourceHolder { std::unique_ptrResource res1; std::unique_ptrResource res2; public: ResourceHolder() : res1(std::make_uniqueResource()), res2(std::make_uniqueResource()) {} };3. 实现异常安全的关键技术3.1 RAII模式详解RAII资源获取即初始化是异常安全的基石。其核心思想是将资源生命周期与对象生命周期绑定class FileWrapper { FILE* file; public: explicit FileWrapper(const char* filename) : file(fopen(filename, r)) { if (!file) throw std::runtime_error(File open failed); } ~FileWrapper() { if (file) fclose(file); } // 禁用拷贝以保持资源所有权明确 FileWrapper(const FileWrapper) delete; FileWrapper operator(const FileWrapper) delete; // 可以添加移动语义 FileWrapper(FileWrapper other) noexcept : file(other.file) { other.file nullptr; } };3.2 事务性操作模式对于需要原子性的操作可以使用事务模式class Transaction: def __enter__(self): self.backups {} # 备份所有相关状态 return self def __exit__(self, exc_type, exc_val, exc_tb): if exc_type is not None: # 如果发生异常 # 恢复所有状态 for obj, (attr, value) in self.backups.items(): setattr(obj, attr, value) return False # 不吞掉异常 # 使用示例 with Transaction() as t: account1.balance - 100 account2.balance 1003.3 Copy-and-Swap惯用法这是实现强异常安全保证的经典技术class String { char* data; size_t length; void swap(String other) noexcept { std::swap(data, other.data); std::swap(length, other.length); } public: String operator(const String other) { String temp(other); // 可能抛出异常但不影响this swap(temp); // 不会抛出 return *this; } };3.4 不抛出保证的实现对于关键操作可以设计不抛出异常的版本class CriticalSection { Mutex mutex; public: void enter() noexcept { // 保证不抛出 while (!mutex.try_lock()) { // 特别设计的无异常重试逻辑 } } void leave() noexcept { mutex.unlock(); } };4. 各语言中的异常安全实践4.1 C中的最佳实践现代C提供了多种工具来实现异常安全智能指针unique_ptr, shared_ptr移动语义noexcept规范RAII包装类void processData() { auto file std::make_uniqueFile(data.bin); // 自动管理资源 auto data std::vectorint(1000000); // 可能抛出bad_alloc try { parseData(*file, data); } catch (const ParseError e) { logger.log(e.what()); throw; // 重新抛出file和data会被正确清理 } }4.2 Java中的异常安全Java虽然垃圾回收自动管理内存但仍需注意使用try-with-resources管理资源注意集合操作中的并发修改异常实现AutoCloseable接口public class SafeDatabase implements AutoCloseable { private Connection conn; public SafeDatabase(String url) throws SQLException { this.conn DriverManager.getConnection(url); } public void update(String sql) throws SQLException { try (Statement stmt conn.createStatement()) { stmt.executeUpdate(sql); } // 自动关闭Statement } Override public void close() throws SQLException { if (conn ! null) { conn.close(); } } }4.3 Python中的异常安全Python的with语句是天然的异常安全工具class DatabaseConnection: def __enter__(self): self.conn connect_to_database() return self.conn def __exit__(self, exc_type, exc_val, exc_tb): self.conn.close() if exc_type is not None: logging.error(Database error, exc_info(exc_type, exc_val, exc_tb)) return False # 不吞掉异常 # 使用示例 with DatabaseConnection() as db: db.execute(UPDATE accounts SET balance balance - 100 WHERE id 1) db.execute(UPDATE accounts SET balance balance 100 WHERE id 2)4.4 多线程环境下的异常安全多线程编程中异常安全更加复杂std::mutex g_mutex; std::vectorint g_data; void safeAdd(int value) { std::lock_guardstd::mutex lock(g_mutex); // RAII锁 g_data.push_back(value); // 可能抛出异常但锁会被释放 // 或者使用更安全的方式 auto new_data g_data; // 拷贝 new_data.push_back(value); // 修改拷贝 std::swap(g_data, new_data); // 原子交换 }5. 异常安全的测试与验证5.1 单元测试中的异常注入测试异常安全需要故意触发异常import unittest from unittest.mock import patch class TestTransfer(unittest.TestCase): patch.object(Account, save, side_effectException(DB error)) def test_transfer_exception_safety(self, mock_save): acc1 Account(balance100) acc2 Account(balance50) with self.assertRaises(Exception): transfer(acc1, acc2, 30) self.assertEqual(acc1.balance, 100) # 应该回滚 self.assertEqual(acc2.balance, 50)5.2 静态分析工具使用静态分析工具检测潜在问题C: Clang-Tidy, CoverityJava: SpotBugs, Error PronePython: PyLint, Bandit5.3 模糊测试模糊测试可以发现意外的异常情况extern C int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { try { Parser parser; parser.parse(reinterpret_castconst char*(Data), Size); } catch (...) { // 确保没有资源泄漏 } return 0; }5.4 代码审查要点审查异常安全代码时关注所有资源获取点是否有对应的释放异常传播路径上的状态一致性构造函数和析构函数中的异常处理移动和拷贝操作的异常安全性6. 实际项目中的异常安全策略6.1 错误处理策略选择根据项目需求选择合适的策略快速失败Fail-fast开发阶段尽早暴露问题优雅降级Graceful degradation生产环境保持部分功能重试机制Retry对临时性错误自动恢复6.2 日志与监控完善的日志帮助诊断异常安全问题def safe_operation(): try: critical_operation() except DatabaseError as e: logging.error(Database operation failed, exc_infoTrue, extra{context: get_operation_context()}) raise OperationFailed(Please try again later) from e6.3 防御性编程技巧防御性编程增强异常安全性输入验证前置条件检查不变式维护沙盒执行public class SafeParser { public static Data parse(String input) throws SafeParseException { if (input null) { throw new SafeParseException(Input cannot be null); } try { return doParse(input); } catch (RuntimeException e) { throw new SafeParseException(Parsing failed, e); } } private static Data doParse(String input) { // 实际解析逻辑 } }6.4 性能与安全的权衡异常安全有时需要性能权衡异常处理有开销额外的状态拷贝更复杂的控制流优化建议热路径避免异常使用错误码处理预期错误保留异常用于意外情况7. 常见反模式与改进方案7.1 空catch块最危险的异常处理反模式try { processOrder(); } catch (Exception e) { // 什么都不做 }改进方案至少应该记录错误try { processOrder(); } catch (Exception e) { logger.error(Order processing failed, e); throw new OrderException(Processing failed, e); }7.2 异常吞噬部分信息被丢弃try: complex_operation() except Exception as e: raise MyError(Failed) # 原始异常信息丢失应该保留原始异常try: complex_operation() except Exception as e: raise MyError(Failed) from e7.3 资源泄漏链一个资源泄漏导致更多泄漏void process() { Connection* conn new Connection(); File* file new File(); try { useResources(conn, file); } catch (...) { delete conn; // 忘记删除file } }使用RAII包装器void process() { Connection conn; File file; try { useResources(conn, file); } catch (...) { // 自动清理 } }7.4 异常不安全的析构函数析构函数中抛出异常是危险的class Resource { public: ~Resource() { cleanup(); // 可能抛出 } };解决方案析构函数标记为noexcept吞掉异常或终止程序class Resource { public: ~Resource() noexcept { try { cleanup(); } catch (...) { std::cerr Cleanup failed\n; } } };8. 现代C中的异常安全演进8.1 移动语义的影响移动语义改进了异常安全性class Buffer { std::unique_ptrchar[] data; public: Buffer(Buffer other) noexcept default; Buffer operator(Buffer other) noexcept { swap(data, other.data); return *this; } };8.2 noexcept规范noexcept帮助编译器优化void safeSwap(Type a, Type b) noexcept { using std::swap; swap(a, b); // 基本操作通常不抛出 }8.3 契约编程C20的契约特性void process(int* ptr) [[expects: ptr ! nullptr]] [[ensures: *ptr 0]] { *ptr compute(*ptr); // 异常安全实现 }8.4 协程中的异常安全协程引入新的异常传播路径taskvoid asyncProcess() { auto resource co_await openResource(); try { co_await process(resource); } catch (...) { co_await resource.cleanup(); throw; } co_await resource.close(); }9. 异常安全设计模式9.1 策略模式应用将异常处理策略解耦interface ExceptionHandler { void handle(Exception e); } class SafeProcessor { private ExceptionHandler handler; public SafeProcessor(ExceptionHandler handler) { this.handler handler; } public void process() { try { doProcess(); } catch (Exception e) { handler.handle(e); } } }9.2 状态恢复模式设计可恢复的状态机class DocumentEditor: def __init__(self): self._state None self._backup None def edit(self, change): self._backup deepcopy(self._state) try: self._state.apply(change) except Exception as e: self._state self._backup raise9.3 熔断器模式防止异常扩散class CircuitBreaker { private int failureCount 0; private long lastFailureTime 0; public T T execute(CallableT operation) throws Exception { if (isOpen()) { throw new CircuitBreakerOpenException(); } try { T result operation.call(); reset(); return result; } catch (Exception e) { recordFailure(); throw e; } } }9.4 重试模式处理临时性异常def with_retry(operation, max_attempts3, delay1): for attempt in range(max_attempts): try: return operation() except TemporaryError as e: if attempt max_attempts - 1: raise time.sleep(delay * (attempt 1))10. 行业案例与经验分享10.1 数据库事务处理银行系统案例public class TransferService { Transactional // 声明式事务 public void transfer(Account from, Account to, BigDecimal amount) { if (from.getBalance().compareTo(amount) 0) { throw new InsufficientFundsException(); } from.debit(amount); to.credit(amount); // 如果这里抛出异常整个事务回滚 } }10.2 游戏开发中的实践游戏状态保存案例class GameState { std::vectorPlayer players; World world; public: void save(const std::string filename) { auto temp *this; // 拷贝当前状态 serialize(temp, filename .tmp); // 写入临时文件 std::rename((filename .tmp).c_str(), filename.c_str()); // 原子重命名 } };10.3 嵌入式系统考量资源受限环境int critical_function() { int result 0; disable_interrupts(); // 关键段操作 if (operation1() ! SUCCESS) { enable_interrupts(); return ERROR; } if (operation2() ! SUCCESS) { rollback_operation1(); enable_interrupts(); return ERROR; } enable_interrupts(); return SUCCESS; }10.4 分布式系统挑战分布式事务案例def distributed_transfer(service1, service2, amount): # 启动两个阶段提交 xid start_transaction() try: # 阶段1准备 if not service1.prepare(xid, -amount): raise TransferFailed(Service1 prepare failed) if not service2.prepare(xid, amount): service1.rollback(xid) raise TransferFailed(Service2 prepare failed) # 阶段2提交 service1.commit(xid) service2.commit(xid) except: # 任何失败都尝试回滚 service1.rollback(xid) service2.rollback(xid) raise在实际项目中我发现异常安全最容易被忽视的阶段是代码重构时期。曾经有一个案例一个看似无害的修改——将局部变量提升为成员变量——导致了一个隐蔽的资源泄漏问题因为原来的RAII作用域被打破了。这教会我在修改代码时不仅要考虑功能正确性还要重新评估异常安全性。 
长河君 · 2026/10/29 6:46:59 · 阅读 1.2k 异常安全编程：原理、实践与多语言实现
1. 异常安全编程的核心概念异常安全Exception Safety是编程中一个常被忽视却至关重要的概念。简单来说它指的是当程序执行过程中发生异常时代码能够保持数据一致性和资源管理的正确性。想象一下你在银行转账的场景如果从A账户扣款成功但在向B账户转账时系统崩溃没有异常安全处理的代码就会导致A账户的钱凭空消失。异常安全编程最早由David Abrahams在1996年正式提出随后被纳入C标准库的设计原则。但它的价值远不止于C几乎所有现代编程语言都需要考虑异常安全问题。在Python、Java等语言中虽然异常处理机制有所不同但异常安全的基本原则同样适用。异常安全通常分为三个级别基本保证Basic Guarantee发生异常时程序保持有效状态没有资源泄漏强保证Strong Guarantee操作要么完全成功要么保持操作前的状态不抛出保证Nothrow Guarantee操作保证不会抛出异常实际开发中最常见的错误是认为我的代码不会抛出异常。事实上内存不足、网络中断、文件IO错误等都可能在任何时候发生异常。2. 异常安全的四大核心问题2.1 资源泄漏问题资源泄漏是异常安全中最常见的问题。考虑下面这段C代码void processFile() { File* file new File(data.txt); // 处理文件内容 delete file; // 如果中间抛出异常这行不会执行 }如果处理文件内容部分抛出异常file对象将永远不会被删除导致内存泄漏。现代C中可以使用RAIIResource Acquisition Is Initialization模式解决void processFile() { std::ifstream file(data.txt); // 使用智能指针或RAII包装器 // 处理文件内容 } // 文件会在作用域结束时自动关闭2.2 数据一致性问题数据一致性是另一个关键问题。假设我们有一个账户转账函数def transfer(from_acc, to_acc, amount): from_acc.balance - amount # 先扣款 # 如果这里抛出异常 to_acc.balance amount # 收款不会执行正确的做法应该是使用事务模式def transfer(from_acc, to_acc, amount): try: from_acc.balance - amount to_acc.balance amount except: # 回滚操作 from_acc.balance amount raise2.3 异常传播问题异常传播路径上的代码必须考虑异常安全。一个常见误区是认为捕获了所有异常就安全了try { riskyOperation(); } catch (Exception e) { logger.error(Error occurred, e); } // 这里可能仍然处于不一致状态正确的做法是在catch块中恢复状态或者确保操作是原子性的。2.4 构造函数中的异常构造函数中的异常特别危险因为对象可能处于半构造状态class ResourceHolder { Resource* res1; Resource* res2; public: ResourceHolder() { res1 new Resource(); // 可能抛出异常 res2 new Resource(); // 如果这里抛出res1已分配 } };解决方案是使用成员初始化列表和智能指针class ResourceHolder { std::unique_ptrResource res1; std::unique_ptrResource res2; public: ResourceHolder() : res1(std::make_uniqueResource()), res2(std::make_uniqueResource()) {} };3. 实现异常安全的关键技术3.1 RAII模式详解RAII资源获取即初始化是异常安全的基石。其核心思想是将资源生命周期与对象生命周期绑定class FileWrapper { FILE* file; public: explicit FileWrapper(const char* filename) : file(fopen(filename, r)) { if (!file) throw std::runtime_error(File open failed); } ~FileWrapper() { if (file) fclose(file); } // 禁用拷贝以保持资源所有权明确 FileWrapper(const FileWrapper) delete; FileWrapper operator(const FileWrapper) delete; // 可以添加移动语义 FileWrapper(FileWrapper other) noexcept : file(other.file) { other.file nullptr; } };3.2 事务性操作模式对于需要原子性的操作可以使用事务模式class Transaction: def __enter__(self): self.backups {} # 备份所有相关状态 return self def __exit__(self, exc_type, exc_val, exc_tb): if exc_type is not None: # 如果发生异常 # 恢复所有状态 for obj, (attr, value) in self.backups.items(): setattr(obj, attr, value) return False # 不吞掉异常 # 使用示例 with Transaction() as t: account1.balance - 100 account2.balance 1003.3 Copy-and-Swap惯用法这是实现强异常安全保证的经典技术class String { char* data; size_t length; void swap(String other) noexcept { std::swap(data, other.data); std::swap(length, other.length); } public: String operator(const String other) { String temp(other); // 可能抛出异常但不影响this swap(temp); // 不会抛出 return *this; } };3.4 不抛出保证的实现对于关键操作可以设计不抛出异常的版本class CriticalSection { Mutex mutex; public: void enter() noexcept { // 保证不抛出 while (!mutex.try_lock()) { // 特别设计的无异常重试逻辑 } } void leave() noexcept { mutex.unlock(); } };4. 各语言中的异常安全实践4.1 C中的最佳实践现代C提供了多种工具来实现异常安全智能指针unique_ptr, shared_ptr移动语义noexcept规范RAII包装类void processData() { auto file std::make_uniqueFile(data.bin); // 自动管理资源 auto data std::vectorint(1000000); // 可能抛出bad_alloc try { parseData(*file, data); } catch (const ParseError e) { logger.log(e.what()); throw; // 重新抛出file和data会被正确清理 } }4.2 Java中的异常安全Java虽然垃圾回收自动管理内存但仍需注意使用try-with-resources管理资源注意集合操作中的并发修改异常实现AutoCloseable接口public class SafeDatabase implements AutoCloseable { private Connection conn; public SafeDatabase(String url) throws SQLException { this.conn DriverManager.getConnection(url); } public void update(String sql) throws SQLException { try (Statement stmt conn.createStatement()) { stmt.executeUpdate(sql); } // 自动关闭Statement } Override public void close() throws SQLException { if (conn ! null) { conn.close(); } } }4.3 Python中的异常安全Python的with语句是天然的异常安全工具class DatabaseConnection: def __enter__(self): self.conn connect_to_database() return self.conn def __exit__(self, exc_type, exc_val, exc_tb): self.conn.close() if exc_type is not None: logging.error(Database error, exc_info(exc_type, exc_val, exc_tb)) return False # 不吞掉异常 # 使用示例 with DatabaseConnection() as db: db.execute(UPDATE accounts SET balance balance - 100 WHERE id 1) db.execute(UPDATE accounts SET balance balance 100 WHERE id 2)4.4 多线程环境下的异常安全多线程编程中异常安全更加复杂std::mutex g_mutex; std::vectorint g_data; void safeAdd(int value) { std::lock_guardstd::mutex lock(g_mutex); // RAII锁 g_data.push_back(value); // 可能抛出异常但锁会被释放 // 或者使用更安全的方式 auto new_data g_data; // 拷贝 new_data.push_back(value); // 修改拷贝 std::swap(g_data, new_data); // 原子交换 }5. 异常安全的测试与验证5.1 单元测试中的异常注入测试异常安全需要故意触发异常import unittest from unittest.mock import patch class TestTransfer(unittest.TestCase): patch.object(Account, save, side_effectException(DB error)) def test_transfer_exception_safety(self, mock_save): acc1 Account(balance100) acc2 Account(balance50) with self.assertRaises(Exception): transfer(acc1, acc2, 30) self.assertEqual(acc1.balance, 100) # 应该回滚 self.assertEqual(acc2.balance, 50)5.2 静态分析工具使用静态分析工具检测潜在问题C: Clang-Tidy, CoverityJava: SpotBugs, Error PronePython: PyLint, Bandit5.3 模糊测试模糊测试可以发现意外的异常情况extern C int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { try { Parser parser; parser.parse(reinterpret_castconst char*(Data), Size); } catch (...) { // 确保没有资源泄漏 } return 0; }5.4 代码审查要点审查异常安全代码时关注所有资源获取点是否有对应的释放异常传播路径上的状态一致性构造函数和析构函数中的异常处理移动和拷贝操作的异常安全性6. 实际项目中的异常安全策略6.1 错误处理策略选择根据项目需求选择合适的策略快速失败Fail-fast开发阶段尽早暴露问题优雅降级Graceful degradation生产环境保持部分功能重试机制Retry对临时性错误自动恢复6.2 日志与监控完善的日志帮助诊断异常安全问题def safe_operation(): try: critical_operation() except DatabaseError as e: logging.error(Database operation failed, exc_infoTrue, extra{context: get_operation_context()}) raise OperationFailed(Please try again later) from e6.3 防御性编程技巧防御性编程增强异常安全性输入验证前置条件检查不变式维护沙盒执行public class SafeParser { public static Data parse(String input) throws SafeParseException { if (input null) { throw new SafeParseException(Input cannot be null); } try { return doParse(input); } catch (RuntimeException e) { throw new SafeParseException(Parsing failed, e); } } private static Data doParse(String input) { // 实际解析逻辑 } }6.4 性能与安全的权衡异常安全有时需要性能权衡异常处理有开销额外的状态拷贝更复杂的控制流优化建议热路径避免异常使用错误码处理预期错误保留异常用于意外情况7. 常见反模式与改进方案7.1 空catch块最危险的异常处理反模式try { processOrder(); } catch (Exception e) { // 什么都不做 }改进方案至少应该记录错误try { processOrder(); } catch (Exception e) { logger.error(Order processing failed, e); throw new OrderException(Processing failed, e); }7.2 异常吞噬部分信息被丢弃try: complex_operation() except Exception as e: raise MyError(Failed) # 原始异常信息丢失应该保留原始异常try: complex_operation() except Exception as e: raise MyError(Failed) from e7.3 资源泄漏链一个资源泄漏导致更多泄漏void process() { Connection* conn new Connection(); File* file new File(); try { useResources(conn, file); } catch (...) { delete conn; // 忘记删除file } }使用RAII包装器void process() { Connection conn; File file; try { useResources(conn, file); } catch (...) { // 自动清理 } }7.4 异常不安全的析构函数析构函数中抛出异常是危险的class Resource { public: ~Resource() { cleanup(); // 可能抛出 } };解决方案析构函数标记为noexcept吞掉异常或终止程序class Resource { public: ~Resource() noexcept { try { cleanup(); } catch (...) { std::cerr Cleanup failed\n; } } };8. 现代C中的异常安全演进8.1 移动语义的影响移动语义改进了异常安全性class Buffer { std::unique_ptrchar[] data; public: Buffer(Buffer other) noexcept default; Buffer operator(Buffer other) noexcept { swap(data, other.data); return *this; } };8.2 noexcept规范noexcept帮助编译器优化void safeSwap(Type a, Type b) noexcept { using std::swap; swap(a, b); // 基本操作通常不抛出 }8.3 契约编程C20的契约特性void process(int* ptr) [[expects: ptr ! nullptr]] [[ensures: *ptr 0]] { *ptr compute(*ptr); // 异常安全实现 }8.4 协程中的异常安全协程引入新的异常传播路径taskvoid asyncProcess() { auto resource co_await openResource(); try { co_await process(resource); } catch (...) { co_await resource.cleanup(); throw; } co_await resource.close(); }9. 异常安全设计模式9.1 策略模式应用将异常处理策略解耦interface ExceptionHandler { void handle(Exception e); } class SafeProcessor { private ExceptionHandler handler; public SafeProcessor(ExceptionHandler handler) { this.handler handler; } public void process() { try { doProcess(); } catch (Exception e) { handler.handle(e); } } }9.2 状态恢复模式设计可恢复的状态机class DocumentEditor: def __init__(self): self._state None self._backup None def edit(self, change): self._backup deepcopy(self._state) try: self._state.apply(change) except Exception as e: self._state self._backup raise9.3 熔断器模式防止异常扩散class CircuitBreaker { private int failureCount 0; private long lastFailureTime 0; public T T execute(CallableT operation) throws Exception { if (isOpen()) { throw new CircuitBreakerOpenException(); } try { T result operation.call(); reset(); return result; } catch (Exception e) { recordFailure(); throw e; } } }9.4 重试模式处理临时性异常def with_retry(operation, max_attempts3, delay1): for attempt in range(max_attempts): try: return operation() except TemporaryError as e: if attempt max_attempts - 1: raise time.sleep(delay * (attempt 1))10. 行业案例与经验分享10.1 数据库事务处理银行系统案例public class TransferService { Transactional // 声明式事务 public void transfer(Account from, Account to, BigDecimal amount) { if (from.getBalance().compareTo(amount) 0) { throw new InsufficientFundsException(); } from.debit(amount); to.credit(amount); // 如果这里抛出异常整个事务回滚 } }10.2 游戏开发中的实践游戏状态保存案例class GameState { std::vectorPlayer players; World world; public: void save(const std::string filename) { auto temp *this; // 拷贝当前状态 serialize(temp, filename .tmp); // 写入临时文件 std::rename((filename .tmp).c_str(), filename.c_str()); // 原子重命名 } };10.3 嵌入式系统考量资源受限环境int critical_function() { int result 0; disable_interrupts(); // 关键段操作 if (operation1() ! SUCCESS) { enable_interrupts(); return ERROR; } if (operation2() ! SUCCESS) { rollback_operation1(); enable_interrupts(); return ERROR; } enable_interrupts(); return SUCCESS; }10.4 分布式系统挑战分布式事务案例def distributed_transfer(service1, service2, amount): # 启动两个阶段提交 xid start_transaction() try: # 阶段1准备 if not service1.prepare(xid, -amount): raise TransferFailed(Service1 prepare failed) if not service2.prepare(xid, amount): service1.rollback(xid) raise TransferFailed(Service2 prepare failed) # 阶段2提交 service1.commit(xid) service2.commit(xid) except: # 任何失败都尝试回滚 service1.rollback(xid) service2.rollback(xid) raise在实际项目中我发现异常安全最容易被忽视的阶段是代码重构时期。曾经有一个案例一个看似无害的修改——将局部变量提升为成员变量——导致了一个隐蔽的资源泄漏问题因为原来的RAII作用域被打破了。这教会我在修改代码时不仅要考虑功能正确性还要重新评估异常安全性。