断言 Assertion
关注原文地址: https://github.com/TheTutorials/Java/blob/master/basics/assertion.md
Wikipedia: https://zh.wikipedia.org/zh-cn/%E6%96%B7%E8%A8%80_(%E7%A8%8B%E5%BC%8F)
在程序设计中,断言(assertion)是一种放在程序中的一阶逻辑(如一个结果为真或是假的逻辑判断式),目的是为了标示与验证程序开发者预期的结果-当程序运行到断言的位置时,对应的断言应该为真。若断言不为真时,程序会中止运行,并给出错误消息。
Java 中使用断言
-
第一种方式
assert expression;
-
第二种方式
assert expression1 : expression2;
-
例子