零成本异常机制指C++在正常执行路径中不产生额外开销，仅在异常抛出时通过编译时生成的元数据表进行栈展开，实现高效异常处理。
很多人认为C++的异常处理会带来显著的性能开销，尤其是在没有抛出异常的正常执行路径中。但实际上，现代C++编译器广泛采用“零成本异常机制”（Zero-Cost Exception Handling），在不抛出异常时几乎不引入运行时开销。理解这一机制有助于正确评估异常处理的性能影响。
什么是零成本异常机制
零成本异常机制的核心思想是：在正常执行路径中不增加任何额外的性能开销，异常处理的代价只在异常被抛出时才产生。
实现方式主要依赖于编译时生成的元数据表（如DWARF或SEH信息），而不是在代码中插入大量条件跳转或状态检查。
这些元数据记录了每个函数的栈展开信息（stack unwinding info）、异常处理程序的位置、局部对象的析构信息等。当异常发生时，运行时系统通过查表来决定如何回溯调用栈并调用析构函数，而不需要在每层函数中插入额外的判断逻辑。
立即学习“C++免费学习笔记（深入）”；
正常执行路径无额外开销
在没有异常抛出的情况下，使用try/catch并不会导致性能下降，因为：
- try块内的代码不会被插入额外的跳转或状态保存指令
- 异常处理逻辑（catch）不生成运行时检查代码
- 函数调用和返回流程与无异常版本完全一致
编译器将异常处理信息存储在只读数据段中，仅在异常发生时由运行时库解析。这意味着代码体积略有增加，但执行速度不受影响。
异常抛出时的性能代价
虽然正常路径“零成本”，但一旦抛出异常，代价是显著的：
- 栈展开过程耗时：需要逐层查找匹配的catch块，期间执行局部对象的析构
- 元数据查找开销：运行时需解析异常表，确定每个函数帧的清理动作
- 控制流非局部跳转：破坏CPU预测机制，导致流水线清空
实测中，抛出并捕获一个异常可能比正常返回慢几个数量级，尤其在深度调用栈中更为明显。
与错误码方式的对比
使用返回码传递错误信息看似高效，但实际中常因频繁检查而引入分支预测失败和代码膨胀。
异常的优势在于：
- 错误处理逻辑集中，不影响主流程性能
- 能自动跨多层函数栈正确析构资源（RAII）
- 语义清晰，避免错误码被忽略的问题
因此，在“异常罕见”的前提下，异常处理整体性能可能优于冗长的错误码检查链。
基本上就这些。零成本异常机制让C++在保持高性能的同时支持强大的异常语义，关键在于合理使用——异常用于异常情况，而非控制流程。不复杂但容易忽略。
