法则4:Liskov替换法则(LSP) # N }9 n% O$ u2 A. D- M 8 e$ U! C5 G+ O2 l4 N' M# Z# G- q3 J/ [- k/ m8 D0 x7 x7 w- G
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。 6 P3 A% l9 v( S5 |6 J' _3 Z1 @: P" p( ]7 u5 U- ~8 g
7 H( C$ n6 W4 z* a( z, D) U
[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] : ?6 o" Y+ ~# d4 i, M2 y$ c2 u& l$ u# w& t
4 n$ I F; Q) \+ i D+ r- bLiskov替换法则 _; d0 \$ }! s+ e7 y1 N0 N 3 ?2 r1 h9 S$ x8 o3 c9 _2 k / W$ y- z9 v" ?; [# b. |4 X$ x1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 ; G# A I A/ l2 U, Q: P" r8 J5 k9 A o
, k5 _8 c( C, Q
2.例如: 6 U9 @: y w0 w9 I" H3 b" o% S; J B" f( }. D4 x9 f
; _# y4 N) K) c: U: m7 Y
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) 7 W- k9 z- s/ Q8 n% M( O 8 s- s( L T0 m J& z1 \; h- B U2 y8 K
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 2 S4 ^/ M# ]7 Q( e o, w4 g. l
8 [: Y- Y4 O) w: \8 A! g5 V9 T) i5 I
4 H9 d( B9 G+ q* z* X: }" b' P+ r$ T( l% l0 v8 F0 C+ P
1 s5 V ~* \/ m8 P! Q. r) l 3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。' G- u5 x! d/ N8 O
$ Q9 A2 P0 m8 M( h2 D, b2 I6 q$ p- g
这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。 - F' U% Q3 ?# Z& p8 J" V6 t! e% i7 M4 k