按合同设计：我们可以用合同表达Stack FILO财产吗？

Question

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

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

Answer 1

这是事实，按合同设计的功能有限。他们不是灵丹妙药。因为如果他们那么IT行业就会抛弃单元测试，代码审查等。

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