assertion (断言) 在软件开发中是一种常用的调试方式,很多开发语言中都支持这种机制。
在实现中,assertion 是在程序中的一条语句,它对一个boolean 表达式进行检查,
一个正确程序必须保证这个boolean 表达式的值为true ;
如果该值为false ,说明程序已经处于不正确的状态下,assert 将给出警告或退出。
一般来说,assertion 用于保证程序最基本、关键的正确性。
assertion 检查通常在开发和测试时开启,为提高性能,软件发布后,
assertion 检查通常是关闭的