pdf文档 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 页请下载阅读 -
文档评分
请文明评论,理性发言.