异常沿调用栈向上传播直至被捕获。当throw执行时,异常对象创建并终止当前函数,若无匹配catch则逐层回溯,如funcC抛出异常未在funcB、funcA捕获,最终由main函数中catch处理。

当C++程序运行过程中发生异常,异常会沿着函数调用栈向上传播,直到被合适的catch块捕获。理解这一机制的关键在于掌握异常如何在栈展开(stack unwinding)过程中与函数调用关系交互。
异常抛出与传播路径
当执行到throw语句时,系统开始查找匹配的异常处理块。异常对象被创建,并立即终止当前函数的执行流程。如果当前函数内部没有try-catch块捕获该异常,或catch块不匹配,异常就会向调用它的上层函数传播。
例如:
void funcC() {throw std::runtime_error("error in C");
}
void funcB() {
funcC();
}
void funcA() {
funcB();
}
int main() {
try {
funcA();
} catch (const std::exception& e) {
std::cout }
return 0;
}
异常从funcC抛出,经过funcB和funcA,最终在main中被捕获。每一层未捕获异常的函数都会被退出。
立即学习“C++免费学习笔记(深入)”;
栈展开过程详解
异常传播触发栈展开,系统从当前函数开始,逐层销毁栈帧中的局部对象,调用其析构函数。这一过程确保了资源的正确释放,是RAII(资源获取即初始化)机制得以有效工作的基础。
- 每个函数栈帧中的局部对象按构造的逆序被析构
- 即使函数中存在未处理的异常,自动存储期对象仍会被清理
- 若析构函数中抛出异常且未被捕获,将导致std::terminate被调用
这意味着析构函数应避免抛出异常,或确保内部处理完全。
异常匹配与调用栈关系
异常处理的匹配机制基于类型兼容性。catch块按声明顺序尝试匹配,支持精确类型、基类引用或指针、以及省略号(...)通配。
调用栈深度影响异常能否被捕获:
- 异常只能被同一调用路径上的try块捕获
- 跨线程异常无法传播,需特殊机制处理
- 动态链接库边界可能影响异常传播,依赖编译器和平台支持
异常安全与函数调用设计
编写异常安全的代码需考虑调用栈中各层的职责:
- 底层函数可抛出异常以报告错误
- 中间层函数可选择捕获、转换或继续传播异常
- 顶层函数(如main)应设置兜底catch块,防止程序意外终止
使用noexcept说明符可明确函数是否抛出异常,帮助编译器优化并提升程序可预测性。
基本上就这些。异常传播依赖调用栈结构,栈展开保证资源清理,合理设计异常处理层级能提升程序健壮性。不复杂但容易忽略细节。










