异常传播机制使C++程序中抛出的异常沿调用栈向上传递，直至被匹配的catch块捕获，期间通过栈展开自动调用局部对象析构函数，确保RAII资源安全，若未被捕获则调用std::terminate()终止程序。
当C++程序中抛出一个异常，它不会立即终止程序，而是沿着函数调用栈向上传播，直到被合适的异常处理块（catch）捕获。这个过程称为异常传播机制，它允许错误在深层函数中被抛出，而在更外层的调用层级中被处理，从而实现关注点分离和错误集中管理。
异常如何跨函数传播
当某个函数内部使用 throw 抛出异常时，该函数的执行立即停止，程序控制权交由C++运行时系统。系统会开始栈展开（stack unwinding）过程，逐层退出当前调用栈中的函数，同时检查每个函数是否有匹配的 catch 块。
如果当前函数没有 try-catch 或者没有匹配的 catch，异常会继续向上传递给调用者。这个过程持续进行，直到找到能处理该异常类型的 catch 块，或者到达 main 函数之外导致程序终止。
throw 表达式触发异常抛出 调用栈从抛出处开始逐层回退 每个退出的函数中，局部对象按构造逆序被析构（RAII保障资源安全） 若遇到匹配的 catch 块，异常被捕获，程序继续执行 若未被捕获，调用 std::terminate()
异常匹配与类型兼容性
异常传播过程中，catch 块的匹配遵循类型兼容规则。可以捕获派生类异常的基类 catch 块，但顺序很重要——更具体的异常类型应放在前面。
立即学习“C++免费学习笔记（深入）”；
例如，抛出一个 std::runtime_error 对象，可以被 catch(const std::exception&) 捕获，因为 runtime_error 继承自 exception。但反过来不行。
建议始终通过const 引用捕获异常，避免对象切片和不必要的拷贝：
try { mightThrow();} catch (const std::invalid_argument& e) { // 处理特定异常} catch (const std::exception& e) { // 处理其他标准异常}
栈展开与资源管理
在异常传播过程中，C++保证栈展开时自动调用局部对象的析构函数。这是RAII（资源获取即初始化）原则的核心支持机制。
比如，一个函数中使用了 std::lock_guard 或 std::unique_ptr，在异常抛出时，这些对象会被正确析构，锁会被释放，内存会被回收，避免资源泄漏。
因此，依赖局部对象的析构来释放资源是编写异常安全代码的关键实践。
未捕获异常的后果
如果异常一直未被任何 catch 块处理，最终传播到 main 函数之外，系统将调用 std::terminate()，默认行为是终止程序。可以通过 std::set_terminate() 注册自定义终止处理函数，用于日志记录或清理操作，但无法恢复程序正常执行。
基本上就这些。异常传播是C++错误处理的重要机制，合理使用能提升代码健壮性，但需注意性能开销和正确管理资源。
以上就是C++异常传播机制 跨函数调用栈传递的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1473169.html
微信扫一扫 
支付宝扫一扫 
