法则4:Liskov替换法则(LSP) # L x J1 v8 ^- `7 _- O
5 [3 g. [; @# j0 `
6 j0 O0 u0 B4 d
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。 ' T2 d h! t" A* Q" F" P1 B& {: H4 _
" S: }9 k7 [, {. S2 l$ q- k5 l7 {1 H6 C# T
[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] ) K5 D5 X- c7 e6 Q' ?- z! L7 W4 o # Y: b9 I) a6 G0 l; d 1 p3 z0 n9 `5 X- \0 q3 |Liskov替换法则 5 f' o% n$ v. [$ B- G/ k
, ]" u) i. }/ Z N( g7 l% H, e0 Q( S) P# N% r
1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 , I( y" T6 ^6 D$ B
+ R2 q1 i, \# @" t9 e
- ^1 Z2 m) `9 x
2.例如: 1 {/ L$ Q" S% |1 d2 `! p7 @7 j- |* E
( `3 z; q( W- A& N' b/ k& v7 d# r# x
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) ; _9 P, @; E& ?# ? ~0 c7 k: Y0 m( f) I2 B/ X
( R9 Z {: t2 V" f/ d0 e 但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 6 |3 R( c5 b' C; ~
. P- t" d7 p% w! R, P ( m* L1 D' y: J& o' s" n- F 6 u; j2 Z; p/ }- h