斷言

网友科普

断言（assertion）是一种在程序中的一阶逻辑（如：一个结果为真或假的逻辑判断式），目的是为了表示与验证软件开发者预期的结果。当程序执行到断言的位置时，对应的断言应该为真。若断言不为真时，程序会中止执行，并给出错误信息。