#斯科夫

2020-8-5 18:24
我听说利斯科夫替换原则(LSP)是面向对象设计的基本原则。它是什么?它的用法有哪些例子? 一个很好的例子说明了LSP(由Bob叔叔在我最近听到的一个播客中给出的)是,有时在自然语言中听起来正确的东西在代码中并不能很好地工作。 在数学中,正方形是一个矩形。实际上,它是矩形的特色化。<#34;>是<#3......
2020-5-20 22:15
1987年,在发表关于数据抽象和层次结构的主旨演讲时,Barbara Liskov介绍了最终成为Liskov替换原则的想法。以下是对该原则的现代(且非常正式)描述: 设Φ(X)是关于类型T的对象x可证明的性质,则Φ(Y)对于类型S的对象y应该为真,其中S是T的子类型。 当我第一次读到定义时,我所理解的就是它在某种程度......