As we ll see, you can specify these invariants in such a way that you can automatically check to see if an implementation of the interface satisfies them.

• 就象我们将看到的那样,您可以用这种可以自动检查以查看接口实现是否满足它们的方法来指定这些不变量。