Exceptions Under the Spotlight

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

文档讨论了C++异常处理的历史、实现细节以及性能表现。异常处理有两种主要实现方式：基于表格（如gcc、clang）和基于帧（如MSVC）。文档指出，基于表格的实现通常在正常路径上表现更好，而基于帧的实现则在异常处理路径上表现更优。通过基准测试发现，异常处理在ARM平台上无论是速度还是大小都表现较差。此外，文档还涉及了异常处理的实现库（如libgcc和libstd++）以及RTTI（运行时类型信息）的作用。

AI总结

### 文档总结

#### 核心观点与关键信息

1. **异常处理的实现方式**
- 异常处理主要分为两种实现方式：
- **基于表格的实现**（如 GCC 和 Clang）：适合正常路径（happy path），运行效率较高。
- **基于帧的实现**（如 MSVC）：适合错误路径（sad path），在错误处理中表现更好。
- 基于表格的实现会增加以下功能：
- 生成 RTTI（运行时类型信息）以识别异常类型。
- 定义异常处理程序。
- 每个捕获函数包含可捕获异常的列表及相关清理表。

2. **异常处理的性能问题**
- 异常处理在 ARM 平台上（单核）的速度和大小表现更差。
- 通过基准测试（Throw3 vs. Return）发现：
- ARM 平台的异常处理速度是返回码的 47 倍，大小是其 1.4 倍。
- X86 平台的异常处理速度是返回码的 435 倍，大小接近。

3. **历史背景与技术演变**
- C++ 异常处理的标准化始于 1989 年，经历了多次技术改进。
- 文档引用了多篇历史和技术报告，包括：
- 《Exception Handling for C++》（Andrew Koenig 和 Bjame Stroustrup）。
- 《Exception Handling on Itanium ABI》等技术文档。
- 提到异常处理的实现依赖于 ABI（应用程序二进制接口），且不同平台的实现差异较大。

4. **当前的技术挑战**
- 异常处理的性能开销在嵌入式系统中尤为重要。
- ARM 平台的性能问题可能对资源受限的系统造成较大影响。

5. **未来的改进方向**
- 当前正在进行的提案包括：
- **P0323R9：std::expected**（提供更高效的错误处理方式）。
- **P2053：防御性检查与输入验证**（改进错误处理的规范性）。
- 需要进一步研究和优化异常处理的性能和效率。

---

#### 逻辑梳理

- **引言**：文档并非讨论“最佳实践”，而是从历史和技术角度分析异常处理的实现与性能问题。
- **实现方式**：详细对比了基于表格和基于帧的实现，并分析了各自的优缺点。
- **性能分析**：通过基准测试展示了异常处理在不同平台上的性能差异。
- **历史与技术背景**：引用了多篇历史和技术报告，提供了异常处理发展的脉络。
- **未来方向**：提出了可能的改进提案，为未来的优化提供了方向。

---

#### 重要数据与案例

- **基准测试结果**：
| 平台 | Throw3（ms） | Return（ms） | 速度比 | Throw3（B） | Return（B） | 大小比 |
|------|--------------|--------------|--------|-------------|-------------|--------|
| X86 | 2199 | 5 | 435 | 15536 | 15316 | 1.01 |
| ARM | 59104 | 128 | 477 | 14152 | 10356 | 1.4 |

- **ARM 平台性能问题**：异常处理在 ARM 平台的速度和大小表现均显著劣于 X86 平台。

---

#### 总结

文档重点分析了 C++ 异常处理的实现方式、性能问题及历史背景，并提出了未来的改进方向。通过基准测试发现，异常处理在 ARM 平台上的性能开销较大，这可能对嵌入式系统等资源受限的场景造成影响。未来，通过优化提案（如 std::expected）和改进异常处理机制，可以进一步提升其效率和适用性。