什么时候用 assertion(断言)？

assertion(断言)在软件开发中是一种常用的调试方式，很多开发语言中都

支持这种机制。一般来说，assertion 用于保证程序最基本、关键的正确性。

assertion 检查通常在开发和测试时开启。为了提高性能，在软件发布后，

assertion 检查通常是关闭的。在实现中，断言是一个包含布尔表达式的语句，

在执行这个语句时假定该表达式为 true；如果表达式计算为 false，那么系统

会报告一个 Assertionerror。

断言用于调试目的：

assert(a > 0); // throws an Assertionerror if a <= 0

断言可以有两种形式：

assert Expression1 ;

assert Expression1 : Expression2 ;

Expression1 应该总是产生一个布尔值。