🔥个人主页：flos chen❄️个人专栏：《系统分析师》 《C/C++》《Qt》 《Linux》 《SQL》《深度学习》🌟边学习，边记录，一起学习进步！文章目录前言1. 异常的底层机制1.1 两种异常处理模型1.2 异常表的结构1.3 .eh_frame 的内容1.4 LSDA（Language Specific Data Area）1.5 抛出异常时的完整流程1.6 汇编视角：正常路径 vs 异常路径2. "零开销"的准确含义2.1 零在哪？2.2 零的代价：转移到了哪里？2.3 二进制体积的量化2.4 实际项目的异常表占比3. 抛出路径的完整成本3.1 单次抛出的时间分解3.2 与替代方案的对比3.3 基准测试：抛出频率的影响3.4 典型输出（GCC 13, -O2, Ryzen 7 5800X）3.5 关键结论4. 异常对编译器优化的隐性影响4.1 内联阻碍4.2 寄存器分配压力4.3 循环优化限制4.4 noexcept 的优化效果5. std::expected5.1 设计理念5.2 基本用法5.3 链式操作（Monad 风格）5.4 内存布局5.5 与异常的语义对比6. 性能对比6.1 正常路径（无错误）6.2 错误路径6.3 混合路径（不同错误率）6.4 吞吐量曲线7. 嵌入式场景的特殊考量7.1 为什么嵌入式通常禁用异常7.2 典型的嵌入式编译选项7.3 禁用异常后的替代方案7.4 嵌入式性能对比8. 高频路径的替代方案8.1 什么是"高频路径"8.2 方案对比8.3 高频路径的最佳模式8.4 避免在循环中抛出9. C++23 及未来演进9.1 std::expected 的标准化历程9.2 编译器支持状态（2024）9.3 C++26 展望9.4 与 std::error_code 的互操作9.5 与异常的共存策略10. 选型决策框架10.1 决策流程图10.2 使用规则10.3 性能检查清单10.4 代码模板总结核心认知"零开销"的完整解读一句话总结参考资料前言“C++ 异常是零开销的。”这句话出自 Bjarne Stroustrup，被无数教材引用。但如果你追问"零在哪？"，得到的回答往往是沉默。真相是：不抛出时：异常确实"零开销"——没有运行时检查，没有分支判断但这个"零"是有代价的：它转移到了二进制体积、编译期复杂度、以及对编译器优化的隐性限制抛出时：代价极其高昂——栈展开、异常表查找、析构链调用，可达微秒级在高频路径上：即使不抛出，异常的存在也可能阻止编译器内联和优化C++23 引入的std::expected提供了一种完全不同的错误处理范式：将错误作为值传递，没有隐藏的表、没有栈展开、没有编译器优化障碍。本文将从异常表机制的底层实现出发，逐层拆解"零开销"的真实含义，量化抛出路径的成本，并给出std::expected在高频路径和嵌入式场景中的完整替代方案。适用读者：理解 C++ 异常基本语法，希望深入掌握其底层机制和性能影响，并评估std::expected适