Noexcept: Enabling Testing of Contract Checks

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

摘要

文档讨论了在C++编程中使用'noexcept'来测试合同检查（contract checks）的重要性。合同检查有助于在开发早期发现错误，并确保代码的健壮性。文档强调了编写和测试这些合同检查的必要性，特别是在高可用性系统中。同时，作者提出了使用'noexcept'来验证函数是否符合其合同的注解（annotations），并讨论了如何在单元测试中验证这些注解。文档还指出，'noexcept'在某些情况下可能会导致复杂性，并提出了一个替代方案来避免其潜在问题。

AI总结

《Noexcept: Enabling Testing of Contract Checks》主要探讨了如何通过使用`noexcept`来实现对契约检查（contract checks）的测试。以下是总结的核心内容：

### 核心观点
1. **契约的重要性**
- 软件开发需要良好的契约，而良好的契约需要有效的执行机制。
- 契约检查可以在开发早期发现潜在问题，但这些检查本身也需要被测试。

2. **`noexcept`的作用**
- `noexcept`用于确保函数不会抛出异常，但它在测试契约检查时存在一些限制。
- 使用`noexcept`可以提高错误诊断能力，减少代码体积，并增强高可用性系统的稳定性。

3. **测试策略**
- **明确契约**：为函数明确写出契约，尤其是代码中无法直接检查的部分。
- **预处理检查**：尽可能在代码中检查前置条件。
- **单元测试**：对契约检查进行单元测试，确保其有效性。
- **最小化`noexcept`的使用**：只将其用于默认构造函数和类似操作，避免与狭窄的契约（narrow contracts）结合使用。

4. **最佳实践**
- 遵循Lakos规则，避免在狭窄的契约中使用`noexcept`。
- 探讨`noexcept`的替代方案，以避免其潜在的局限性。

5. **演讲者背景**
- Pablo Halpern和Timur Doumler是C++标准委员会的成员，分别专注于库演化和合同规范的研究。
- 他们强调了编写清晰代码和使用良好工具的重要性。

6. **契约检查的实现**
- 使用`[[throws_nothing]]`等注解来定义函数不会抛出异常的契约。
- 如果违反契约，行为由实现定义，可能包括允许异常传播或调用契约违约处理程序。

### 总结
本文档强调了在C++开发中，通过`noexcept`和相关技术实现对契约检查的测试的重要性。核心在于确保契约的正确性和可测试性，同时避免`noexcept`的潜在问题。通过明确的契约定义、合理的测试策略和最佳实践，开发者可以更有效地管理代码质量和可靠性。