法则4:Liskov替换法则(LSP) + S1 k) W5 k1 n6 r- E3 m G a! P# v* Q c- V1 R1 ]1 f( K
! J. U6 u" v7 q. i6 G5 Z' a使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。 5 K! B* y& A+ h, M. K( W % v: J) M) T' n$ s1 u / J+ H3 J! @# Y$ U" P$ h: S, i7 Q [ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] 3 d# Z D, w, J6 I. T o $ ~4 I3 z+ n- D T & P9 _% I5 l9 x! ]/ qLiskov替换法则 ( o! l& M2 c& y! L/ b2 c7 o4 ?5 q, p % ?7 s2 w9 _$ h) o u5 j# B( G! [8 @! k3 Z6 h
1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 / B: v, r6 e5 }! R: O6 V& G" r0 t% A- T
( g; h! S7 I; m+ S / b7 R, |. @. p3 q2.例如: 4 L. K/ X) [- K' r) s
1 u4 S! M6 Y2 d: T
m- d) J5 |3 Y/ J! R; c: \方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) ! x* z7 c/ P. g( f5 m) s& p, ~! c I& o( M1 Q3 T' [
3 H9 \5 n6 O3 O7 C' w
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 9 \9 X1 t5 `9 N/ Y7 U
( \6 Z6 ~' `% @: }# `# K5 |- d
# D3 f0 h9 c Z$ R ( q) q' z1 r. p& P. A7 ?$ E6 Z: {1 e! x1 }
, E8 A& N- i/ D5 t/ j
3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。 9 i2 p$ M+ T0 ^1 ?6 m8 v* j/ c) J
" Q& J' S' M9 R1 I% z
这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。 2 f6 e$ m8 t+ M5 E9 k' j" u3 O7 H& J
) [4 x2 e/ f/ j% ~! P >>更多一些面向对象得设计法则(4)