Java 的契约模式设计

Question

我对这种设计模式有疑问。 前置/后置条件只适用于接口上声明的方法，还是可以直接放在普通类的方法上？ 或者更准确地说，这样做是正确的吗？ 尽管如此，我知道前/后条件只是评论，但我想知道它是否不违反 DesignByContract 结构。

Answer 1

Java 本身不支持“契约式设计”，就像大多数其他主流语言一样。 Java 接口只是一种避免多重继承的解决方案，它们只是声明一个类必须具有哪些方法来实现该接口。

您可以通过带有注释的契约来模仿设计（它们可以将自定义元数据附加到方法），但是我们将讨论用 Java 构建的框架，而不是语言的特性。

还有一些东西不能同时是语言特性和设计模式。 设计模式通常缺少语言特性。 （或者至少比按预期使用语言功能更复杂的东西。）