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

post08070605

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

7 a) m0 C! I1 M  E
使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。　　　


　[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects 　　Of Derived(Sub) Classes Without Knowing It ] 　　　　　　　　　　　　　　　　　　
& }7 K. V- f- d" t, W. m: g2 p9 ^

+ B9 K+ D+ L$ I! M4 ULiskov替换法则　　
- l3 X+ o) B& n0 q8 A5 t7 d
9 a9 V8 z: X, `* Z) j; Q1 r! [
1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。　　　　

/ Y3 E, q- I* @9 t5 }$ V
: k8 k7 B' G! [) M7 Y2.例如：　　　　　　　　
* i% w8 W( f0 H6 z1 m7 c3 f2 ~
# K* q- c7 g) D, K
$ v# `7 Q% \- v' j$ S1 j方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）　　　

; D% K; d7 F) A' R! g& w2 i
　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。　
9 ^, h* W/ t! Y: u
2 ~' p- u1 m- x- r" o6 a& q/ h
& e. |4 J3 c7 v4 Q


. H7 N9 [5 _: v　3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。
2 F( k& A6 W1 M9 n
  E" {$ n1 i  Z
# ]: w# X5 N7 g; v0 p/ z- C. T( H这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。

2 u* K4 {6 _) X4 V
/ T: a% }+ m1 I! F- \$ [>>更多一些面向对象得设计法则(4)

pxwgih

楼主很棒！

fred_gavin

谢谢分享！！！