法则4:Liskov替换法则(LSP) + q1 a! C7 a& ]5 A$ X7 A% E1 I6 \6 G# K
# l+ E8 V3 X% u9 }0 Q9 O
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。 1 v9 B* t z5 C! t) | Z g$ O9 b' d# l. J) K1 ~0 S
' r3 i+ W0 W+ m3 N [ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] : K) h. |0 D. X! q1 P! O" n
) M) r% Y4 l8 Y( p: ?8 p# I " a' _% `1 }$ ~( v1 OLiskov替换法则 & v% a6 j9 ~7 K
3 O; c" L5 b. ?' A
& K: H. D+ s$ H$ I$ \2 u- X
1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 & A- I$ @" E! Y1 l0 y) |" d5 B, o% S( M
5 _; j1 h8 U. K2.例如: % f, U; P9 W7 e6 C
& G0 x7 j0 r* I1 O Y2 `( D, s- T9 A5 `! ~4 o) H6 f m
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) * B! L: c/ W" | D2 r
$ G$ q* \$ o( e3 T
1 D v( ~. d3 J& Y, Q% I& k3 e
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 ' b" e9 q( x3 l" |6 Z2 ~9 @
, ?# \( w" |, r4 ]
* G8 A5 @9 x( H- j$ x
0 L: I' n5 i2 X0 c# N- e) } % j: `' m- q. B8 A. X2 ?0 \7 w; W4 u5 t
3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。 O }. {' q/ |9 W9 a; l
L1 M9 X* i( X9 p: X# Y
( Q" E: n. I5 l E
这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。7 a5 r9 k: O3 l f# C, B( L
6 ~/ r F) g7 F4 j; Y
+ C; W# Y& ]3 {& y4 c- r9 T1 g >>更多一些面向对象得设计法则(4)