正确性和测试
- concept check - 泛型编程的工具,来自 Jeremy Siek.
- static_assert - 静态断言(编译期断言), 来自 John Maddock.
- test - 支持简单的程序测试、全单元测试,以及程序执行监控,来自 Gennadiy Rozental