断言（编程术语）

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

想要了解更多“断言（编程术语）”的信息，请点击：断言（编程术语）百科

标签：断言（编程术语）,断言,编程