C++ 11 发布于 Boost 1.67.0
类别: 正确性
C++ 的契约式编程。支持所有契约式编程特性：子契约、类不变量、后置条件（带有旧值和返回值）、前置条件、断言失败时的可定制操作（例如，终止或抛出）、断言的可选编译和检查等。
本次发布
依赖项
Boost.Contract
C++ 的契约式编程。支持所有契约式编程特性：子契约、类不变量（也可静态和易失）、后置条件（带有旧值和返回值）、前置条件、断言失败时的可定制操作（例如，终止或抛出）、断言的可选编译和检查、禁用断言时同时检查其他断言（以避免无限递归）等。
License
根据 Boost Software License, Version 1.0 分发。
属性
- C++11
- 共享库 / DLL，使用
BOOST_CONTRACT_DYN_LINK（静态库使用BOOST_CONTRACT_STATIC_LINK，也可以是纯头文件，但不推荐，有关更多信息，请参阅BOOST_CONTRACT_HEADER_ONLY文档）。
构建状态
| 分支 | GHA CI | Appveyor | Coverity Scan | codecov.io | 依赖 | 文档 | 测试 |
|---|---|---|---|---|---|---|---|
master |
 |
 |
 |
 |
 |
 |
|
develop |
 |
|
 |
 |
 |
 |
目录
| 名称 | 目的 |
|---|---|
build |
构建 |
doc |
文档 |
example |
示例 |
include |
头文件代码 |
元信息 |
与 Boost 集成 |
src |
源代码 |
测试 |
单元测试 |
更多信息
- 提问.
- 报告错误：请务必提及您使用的 Boost 版本、平台和编译器。一个小的可编译代码示例来重现问题总是很有帮助。
- 请将您的补丁作为拉取请求提交到 develop 分支。请注意，提交补丁即表示您同意根据 Boost Software License, Version 1.0 许可您的修改。
- 有关该库的讨论在 Boost 开发者邮件列表 上进行。发帖前请务必阅读 讨论政策，并在主题行开头添加
[contract]文本。