java - Java中的断言机制

Question

Assert语句包含两部分:

assert firstPart : secondPart;

我知道firstPart必须是 boolean 表达式或 boolean 变量。但我对 secondPart 感到困惑。它可以是什么？它可能只是一个字符串形式的错误消息？或者它也可以是一种方法？它应该只返回一个字符串或其他东西？

请向我澄清与assert 语句的secondPart 相关的要求、限制和细微差别。

Answer 1

稍微转述自 JavaSE Programming with Assertions技术说明，您的“第二部分”(称为 Expression2)“是具有值的任何表达式。(它不能是对声明为 void 的方法的调用。)”

“系统将 Expression2 的值传递给适当的 AssertionError 构造函数，该构造函数使用该值的字符串表示形式作为错误的详细消息。”

因此“secondPart”可以是任何具有值的表达式；该值被转换为其字符串形式，以便在断言抛出的 AssertionError 中使用。