一些面向对象得设计法则(4)

post08070605

法则4：Liskov替换法则（LSP）　　　　

, K" c, @& \, N
使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。　　　
& @; T. m( k; T0 Q& a

　[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects 　　Of Derived(Sub) Classes Without Knowing It ] 　　　　　　　　　　　　　　　　　　

/ l  D' j2 b& w7 n7 l* b0 s
Liskov替换法则　　
2 t) J5 t  _7 b1 `" d

1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。　　　　
1 D9 D$ q. X3 ?1 [, d, i/ ~$ C$ U
) k8 P9 }# k% G9 J
2.例如：　　　　　　　　
4 j3 j: `: D  T5 w; c

方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）　　　
2 r- W+ D' r$ g3 e; S
6 _% }1 p2 K5 Y3 I
　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。　

8 V/ t3 o; L! |9 R  n$ @  [2 H
5 I- V2 t* [7 ?7 x

# W6 I9 ~- v; }) {4 D
　3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。
; s# ]; t( [0 J: p5 z

这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。

6 z2 a' }* Q! g
>>更多一些面向对象得设计法则(4)

pxwgih

楼主很棒！

fred_gavin

谢谢分享！！！