您的位置：首页 > 其它

面向对象：Liskov替换法则（LSP）

2009-09-15 21:29 309 查看

Liskov替换
法
则

（LSP）：
使用指向基
类
（超
类
）的引用的函数，必
须
能
够
在不知道具体派生
类
（子
类
）
对
象
类
型的情况下使用它
们
。

■
Liskov替换法则（LSP）是根据我所熟知的“多态”而得出的。

　
例如：

　　public void drawShape() {

　　　

// do something

　　}

　①　

方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）

　②　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。

　③
若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。

总结
：

■　

Liskov替换法则（LSP）清楚地表明了ISA关系全部都是与行为有关的。

■

为了保持LSP（并与开放－封闭法则一起），所有子类必须符合使用基类的client所期望的行为。

■

一个子类型不得具有比基类型（base
type）更多的限制，可能这对于基类型来说是合法的，但是可能会因为违背子类型的其中一个额外限制，从而违背了LSP。

■　

LSP保证一个子类总是能够被用在其基类可以出现的地方。

泛化关系：
一般与特殊的关系（ISA关系）。反映一个类
与若干个互不相容的子类之间的分
层
关系。高
层类
（基
类
或超
类
）
说
明一般的属性（公共属性），底
层类
（派生
类
或子
类
）
说
明特殊属性。

（以上部分内容来自网络文档）

内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理

标签：

相关文章推荐

新的分享

章节导航