Finally, field-invariant tests are only evaluated after field reads and writes, to permit lazy evaluation.

最后，字段的不变条件测试只是在读写字段之后才进行，以便允许惰性计算。

youdao

Finally, field-invariant tests are only evaluated after field reads and writes, to permit lazy evaluation.

最后，字段的不变条件测试只是在读写字段之后才进行，以便允许惰性计算。

youdao