当C++程序抛出异常时，一场精心编排的舞蹈开始上演。栈展开（stack unwinding）机制依次销毁局部对象，直到找到匹配的catch块。这个过程对程序的正确性至关重要——RAII资源依赖于栈展开来释放。理解栈展开的细节，对于编写异常安全代码和调试崩溃问题必不可少。
参考：https://dffne.cn/category/yellow-tea.html
栈展开的过程：当异常被抛出时，运行时从抛出点开始向上遍历调用栈。在每个栈帧中，它找到所有局部对象的析构函数并依次调用（按构造的逆序）。当遇到一个try块时，检查是否有匹配的catch子句。如果有，控制权转移到catch块，继续执行；如果没有，继续向上展开到上一个调用者。
栈展开与性能：许多开发者担心异常的性能开销。确实，抛出异常并展开栈比简单的返回错误码要昂贵得多。但对于大多数程序来说，异常应该是“例外”情况——不经常发生。因此，抛异常的成本可以接受。真正的性能考虑是异常处理代码的存在对正常路径的影响：即使没有抛出异常，编译器也需要为每个局部对象生成展开信息，这增加了二进制大小，并限制某些优化（如寄存器分配）。这是为什么某些性能敏感项目禁用异常的原因。
展开中的析构函数：析构函数在栈展开过程中被调用，它们绝对不能抛出异常。如果析构函数抛出异常，而另一个异常已经在传播中，std::terminate会立即被调用，程序终止。因此，析构函数应该被标记为noexcept，并且所有操作都应该保证不抛出异常。如果析构操作可能失败（如关闭网络连接时发生错误），应该提供单独的close函数让用户显式处理错误，而析构函数要么忽略错误（不推荐），要么记录日志，要么断言。
异常安全保证的级别：基本保证（操作后对象处于有效状态，无资源泄漏）、强保证（操作要么完全成功，要么完全回滚，不改变状态）、以及不抛出保证（操作永不失败）。栈展开是实现强保证的关键——如果某个操作在中间步骤抛出异常，之前的修改可以通过析构函数回滚。
参考：https://dffne.cn/category/white-tea.html
栈展开与调试：当程序因未捕获的异常而崩溃时，调试变得困难。传统的调试器在异常发生时可能停在抛出点，也可能停在std::terminate，取决于设置。GDB可以使用catch throw在抛出时中断，LLDB类似。在Windows上，Visual Studio的“异常设置”窗口允许配置在抛出特定异常时中断。
栈展开的局限性：栈展开只能销毁栈上的对象。堆上分配的对象（通过new）不会自动释放，除非被智能指针管理。这就是为什么std::unique_ptr和std::shared_ptr在异常安全代码中不可或缺。同样，栈展开不会回滚对全局变量、文件系统、数据库等外部状态的修改，需要手动实现事务机制。
自定义栈展开行为：C++标准提供了std::uncaught_exceptions()（C++17之前的std::uncaught_exception()）来检测当前是否正在栈展开。这允许对象在析构时采取不同行为——例如，在正常销毁时提交日志，在异常销毁时放弃日志。但这一功能容易误用，因为uncaught_exceptions返回的是“未捕获异常的数量”，不是“是否正在展开”。
异常与构造函数的交互：构造函数抛出异常意味着对象从未完全构造。析构函数不会被调用，因为对象从未“活”过来。这意味着构造函数的成员初始化列表中的资源需要谨慎管理——如果资源在初始化列表中获取，且后续初始化抛出异常，之前获取的资源不会被自动释放。解决方案是使用RAII包装器（如智能指针）管理每个资源，或使用函数try块。
函数try块是一种特殊语法，允许捕获构造函数或析构函数中的异常。在构造函数中，函数try块可以捕获成员初始化列表中的异常，但catch块必须重新抛出或抛出另一个异常（因为构造函数失败）。函数try块很少使用，因为RAII通常提供了更好的解决方案。
参考：https://dffne.cn/category/puerh-tea.html
异常与动态库的边界：跨动态库边界的异常传播是危险的。如果动态库A抛出一个异常类型，而动态库B捕获它，两个库必须使用相同的编译器、相同的编译选项、相同的C++运行时。否则，异常类型可能不匹配，或内存布局不一致，导致崩溃。这就是为什么许多库接口（尤其是C接口）禁止异常跨越边界，而要求所有错误通过错误码返回。
零开销异常：某些实现（如LLVM的libc++abi和ARM的C++ ABI）试图实现“零开销”异常处理，即正常路径没有性能损失，但异常路径有成本。这通过将异常处理信息存储在单独的表（.gcc_except_table）中实现，正常执行完全不触及这些表。当异常发生时，运行时查询这些表来决定如何展开。这种设计使C++可以在嵌入式系统中使用异常，只要不经常抛出。
没有栈展开的情况：std::terminate被调用时（未捕获的异常、noexcept违规、析构函数抛出异常等），不保证执行栈展开。某些实现会在终止前展开，但标准不要求。因此，不要依赖std::terminate来执行关键的清理操作。
在实际开发中，异常与栈展开是C++错误处理的核心。但许多项目选择禁用异常，转而使用错误码或std::expected。这种选择通常是正确的——对于某些领域（游戏、嵌入式、实时系统），可预测的性能比异常的便利性更重要。理解栈展开，不是为了在所有地方使用异常，而是为了做出明智的设计决策。
参考：https://dffne.cn/category/puerh-tea.html
