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

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

design-by-contract code-contracts oop

Dagang Wei · 技术社区 · 15 年前

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

1 回复 | 直到 15 年前

Lavir the Whiolet 15 年前

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

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

推荐文章

Nwerx_user · 在C#中,如何在不使用static关键字的情况下使用类外的方法?

1 年前

r5ne · 有没有一种方法可以在不调用描述符__set__方法的情况下设置实例变量?

1 年前

simply lemon · python上链表的添加方法

1 年前

HiroIshida · C++多重继承:实现具有重叠虚函数的接口[重复]

1 年前

Anonymous · 为什么在这个例子中self和类名的用法不同?

1 年前

Brenden Baio · 在Java中,将对象作为参数传递给方法的最佳方式是什么?[关闭]

2 年前

P N Singh · 在CPP Oops中调用对象而不创建它

2 年前

Muthuraj · 如何创建一个通用工厂来创建某种类型的实例[重复]

2 年前

Andy Votava · 从父类定义调用学生方法

2 年前

oggiman · 如何在catch[closed]中为SQL更新表编写一个具有重试功能的面向对象的方法

2 年前