可定制的断言宏。

泛型编程工具。

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

保证正确的整数算术

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

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

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