断言

断言（Assertion）是一种程序调试机制，用于在代码中插入检查点，验证程序运行时的某个条件是否成立。通常用于开发阶段，若条件为假则触发错误并终止执行，帮助开发者尽早发现逻辑错误。核心特点包括：仅在调试模式下启用，生产环境可通过编译选项关闭；支持自定义错误信息；常用于前置条件、后置条件与不变量的检查。断言的概念源于形式化验证，20世纪80年代被引入C语言的assert宏，后在Java、Python、Go等语言中得到广泛支持。