Contracts for C++
4.44 MB
181 页
0 评论
语言 | 格式 | 评分 |
---|---|---|
英语 | .pdf | 3 |
摘要 | ||
文档介绍了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++ 编程中一种强大的工具,能够通过预定义的状态检查和错误处理,提升代码的正确性和可维护性。 |
P1
P2
P3
P4
P5
P6
P7
P8
P9
P10
P11
P12
下载文档到本地,方便使用
- 可预览页数已用完,剩余
169 页请下载阅读 -
文档评分