computer-science - 这个语句可以被视为类不变量吗？

Question

这是一个高度笼统的想法，但让我们在此示例中使用 C#。

鉴于此

• 我有一个一次性类Foo，即，它实现了IDisposable。
• Foo 有一个 bool 标志 disposed 在 Dispose 被调用之前它是 false ，之后它是 正确。
• Foo 的所有公共(public)方法在被调用时如果 disposed 为 true 将抛出 ObjectDisposedException。

这条语句是否

Any method of Foo, except Dispose, will throw an ObjectDisposedException when called on an instance of Foo that has been disposed.

描述Foo的不变量？

Answer 1

没有。

这是一组对类的所有方法通用的规则。不变量不是方法的规则。

按契约(Contract)设计包括定义契约(Contract)的以下部分:

• 方法前提条件
• 方法后置条件
• 类不变

您所描述的是方法后置条件。它们属于每个函数的契约(这当然是类契约的一部分)，但不属于类不变量。