代码之家 › 专栏 › 技术社区 › Dagang Wei

合同设计:我们能用合同来表达Stack FILO的特性吗?

design-by-contract code-contracts oop

1

Dagang Wei · 技术社区 · 15 年前

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

1 回复 | 直到 15 年前

1

2

Lavir the Whiolet 15 年前

没错,契约式设计的功能有限。它们不是万能的。因为如果是这样的话,IT行业就会抛弃单元测试、代码评审等。

我建议您为这个案例编写简单的单元测试,而不是通过实现一个契约(甚至可能是不可实现的)来绞尽脑汁。