断言的英文是assertion，断言检查的英文是assertion checking。
断言是指定一个程序必须已经存在的状态的一个逻辑表达式，或者一组程序变量在程序执行期间的某个点上必须满足的条件。
断言检查是用户在程序中嵌入的断言的检查。
本文讲述的是：断言和断言检查的概念，以及什么是断言什么是断言检查的意思。
断言的英文是assertion，断言检查的英文是assertion checking。
断言是指定一个程序必须已经存在的状态的一个逻辑表达式，或者一组程序变量在程序执行期间的某个点上必须满足的条件。
断言检查是用户在程序中嵌入的断言的检查。
本文讲述的是：断言和断言检查的概念，以及什么是断言什么是断言检查的意思。