法则4:Liskov替换法则(LSP) 9 u6 _: e. b I- j/ l6 C/ ?/ R3 m6 T7 Z; A2 W8 P
8 T2 T- b1 m C' b4 u3 B% R( W使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。 3 @9 l! [; |" e* G+ e0 N , l4 c/ f7 |3 Z+ m7 |+ }: n6 [% G% W/ ?) S. C i
[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] ( [# N. V [2 u5 I* {3 `
5 ^, q3 J- _- d0 T9 L' J R5 R( M/ K& `6 O
Liskov替换法则 $ i/ H- X2 g1 @/ K p
1 u2 D2 _9 t0 l5 L* B1 f, s; _, B8 \! w1 q6 Z) h# r
1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 / f6 i3 Z) L& u8 T0 c
" r* P& U Y, l S" W+ E, G6 H. _
9 m4 M" c( s* k& e2.例如: 4 u+ A. f1 ~% E
* S) |% f; V. |* {0 ?2 [1 K+ g i5 i% }' L" w
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) G5 b% y! D7 b( c. p" D8 v! j7 ?3 E! z3 J, Q1 l
& D/ V! f2 y( `6 B0 W1 E% F 但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 ; Y) |. I9 X* j, L
/ a. W& ?2 ?7 S2 s1 B+ \ , Y* [, g: e0 k/ a: s# N ' a( y2 N, j( B8 d
9 G1 _, r' Q* E
6 n8 l( h8 w8 E4 Q( m8 w& B
3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。 8 ]' `9 R) \+ d0 U0 S/ x - Z t' u$ q, K2 G% I( O8 {8 Q' K8 n4 ]0 o
这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。 0 _. L1 s, E$ Y+ q5 } / B- ~, |7 M" ^- S. }1 m' f- i7 I3 t& u+ S* M( ^( c >>更多一些面向对象得设计法则(4)