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

post08070605

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


* m) u4 F! }1 Q1 X% t# Q9 ]使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。　　　
+ W! k9 c) Y+ n& T% Q# \+ \% l

0 z4 V' E4 ~# a2 r- S　[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects 　　Of Derived(Sub) Classes Without Knowing It ] 　　　　　　　　　　　　　　　　　　
4 f, I* m2 }0 g4 n% J% Y
5 O- T9 h5 T8 H1 `+ H- G3 e' G/ `
9 y2 h% s8 N; }& t- JLiskov替换法则　　

, c" ]# f6 @# r; K- s0 K! B/ N. Z
1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。　　　　


9 @; Y8 \4 h$ R* X! q2.例如：　　　　　　　　
" I0 r. o: d! ?1 t% v1 T7 ^
! n0 i* y% w( \/ R7 {
5 [- K2 c% N5 Z" [* C; U4 f# v- P- R方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）　　　
; G2 |) y3 _2 E& E( N

3 O# q" Q/ o. Z　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。　


+ Z3 A/ X* C# r8 K2 w
* ~% k# X# b, t. e  q" G

* _7 a: B3 R' X　3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。
* G" F3 a% W8 F- n' B

# h$ o2 w5 o% [* s这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。

: B- c4 J( c" q5 g$ n# s8 E
>>更多一些面向对象得设计法则(4)

pxwgih

楼主很棒！

fred_gavin

谢谢分享！！！