oop - 契约式设计：我们可以用契约来表达 Stack FILO 属性吗？

Question

合同设计似乎对表达规范有限制。例如，我试图用合同来表达 Stack FILO 属性，但没有得到任何想法。有人可以帮忙吗？

我认为根本原因是前置条件/​​后置条件/不变量是没有副作用的断言。它导致了对 FILO 属性的检查，这是一种不容易甚至不可能的副作用。

Answer 1

没错，按合同设计的功能有限。它们不是灵丹妙药。因为如果是这样，那么 IT 行业将抛弃单元测试、代码审查等。

我建议您为此案例编写简单的单元测试，而不是通过实施合同（甚至可能无法实施）来解决您的问题。