方法和构造函数也可以有不变条件测试。

Methods and constructors can also have invariant tests.

youdao

例如，字段的默认不变条件要求字段不能为空。

For example, the default invariant condition for a field requires the field to be non-null.

youdao

最后，不变条件测试断言永远不变的条件。

Finally, invariant tests assert conditions that never change.

youdao