断言（assertion）是一种在程序中的一阶逻辑（如：一个结果为真或假的逻辑判断式），目的是为了表示与验证软件开发者预期的结果。当程序执行到断言的位置时，对应的断言应该为真。若断言不为真时，程序会中止执行，并给出错误信息。
想要了解更多“断言（编程术语）”的信息，请点击：断言（编程术语）百科
断言（编程术语）
jacky
2024-11-09 11:54
阅读 413
