可定制的断言宏。

泛型编程工具。

C++ 的契约式编程。所有契约式编程特性都得到了支持：子契约、类不变量、后置条件（带旧值和返回值）、前置条件、断言失败时的自定义操作（例如，终止或抛出异常）、断言的可选编译和检查等。

保证正确的整数算术

收集、存储、复制和打印回溯。

静态断言（编译时断言）。

支持简单的程序测试、完整的单元测试和程序执行监控。