Contracts for C++

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

摘要

文档介绍了C++中的Contracts功能，其允许程序员指定某些点（特别是函数调用和返回时）considered incorrect 的状态，并以可移植和可扩展的方式检测和减轻缺陷。Contracts帮助 diagn and fixing bugs,并提供configurable checks of program correctness,特别是在API boundaries。

AI总结

《Contracts for C++》文档的核心内容总结如下：

1. **Contracts 的定义与目的**：
Contracts 是一项功能，允许 C++ 程序员在特定点（如函数调用和返回时）指定不正确的程序状态。它通过在程序执行期间检测和缓解缺陷，帮助管理这些不正确状态。

2. **主要功能**：
- **错误检测与缓解**：Contracts 能够以可移植且可扩展的方式，检测并减轻程序缺陷，因此在编写和维护代码时非常有用。
- **正确性检查**：Contracts 提供可配置的检查机制，帮助诊断和修复跨 API 边界的错误。

3. **引用与支持**：
- **Joshua Berne** 多次提到 Contracts 的能力，强调其在程序执行过程中提供的便利性。
- **Lisa Lippincott** 补充了 Contracts 的另一个重要功能，即表达程序状态的期望并验证这些期望。
- **Timur Doumler** 强调了 Contracts 在跨 API 边界错误诊断和修复中的作用。

4. **总结**：
Contracts 是 C++ 编程中一种强大的工具，能够通过预定义的状态检查和错误处理，提升代码的正确性和可维护性。