法则4:Liskov替换法则(LSP) : J8 d. r' y; A5 A
. I) t. t2 D6 {/ T
. z( F4 v( ?& x+ _. P
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。 % u [$ H8 d& F: y. s0 ` - \' c; s6 i9 Y2 c( U3 \. Y. C ' R* B& }8 M0 f2 `3 G1 E1 A [ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] , _/ o. ^$ u" C8 W # B* E7 u6 ]; L4 b 3 o o( h; {9 C5 ?: t6 `( N7 oLiskov替换法则 / V5 `$ Z1 }$ i9 H: a# Y% E6 V
' Y8 f" U& l4 G2 {6 k4 l. T& h: [* V( M
1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 : b2 R% N4 U T+ E4 V4 M: w" I7 j $ B* s4 V+ o+ |/ A4 E 1 g* g: ]9 H% l3 H2.例如: * a& S8 r$ U0 ]1 M# A9 ?. X
% U7 @! O5 C u. [6 a8 `% |' \
) B! G* E! L8 e2 W3 C8 Q* o
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) 2 L2 E$ `+ |( }4 a% A% f
, d- Y( Y' H' O4 i1 d, w9 j) L5 E7 z# T% g
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 7 c! Z h# c5 U
0 A' _- m; U7 z# y p 0 y+ v. U# m) v: n1 s4 A这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。2 o( j( S$ k7 i9 P% H
8 t, n- ^8 O- N% C# K5 `
5 Y# C9 x7 }; U8 y. U! d >>更多一些面向对象得设计法则(4)