一些面向对象得设计法则(4)

post08070605

法则4：Liskov替换法则（LSP）　　　　
, I; B4 W& R' I6 d
( L6 k2 F0 @+ G' Q2 d
( s3 e6 f( H9 H3 v1 B9 d3 d# z使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。　　　
5 C0 f$ u+ S7 s; s

4 G2 z8 B5 w: w# O5 f　[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects 　　Of Derived(Sub) Classes Without Knowing It ] 　　　　　　　　　　　　　　　　　　
! }$ x2 a% T# T9 O7 x; v4 O

1 {4 F6 `$ C+ U  p" gLiskov替换法则　　

5 {' p4 L1 b$ D: T8 ]9 J
1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。　　　　
9 y+ C6 }/ a4 G- p) G! U+ {  t5 p+ @  [
$ C( B1 U( R. F6 j: Y* i' v
# E0 ]' _- w0 `& ?, {2.例如：　　　　　　　　

0 w4 l- t8 r2 P, t. \* U7 g8 y, v
方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）　　　

  K0 z) k" b' o4 J9 k! D8 E
　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。　
! J) P& ~1 ]! f+ {# f3 z* g$ S



; `+ m2 u& }& F
' a2 j6 Z6 v& M0 K　3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。
( o0 u9 A& _- N1 x- f+ y( n

这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。


* l1 ~& z  C" Y+ \( v! z: x4 {>>更多一些面向对象得设计法则(4)

pxwgih

楼主很棒！

fred_gavin

谢谢分享！！！