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

post08070605

法则4：Liskov替换法则（LSP）　　　　
+ C5 o5 N5 p0 z2 O
* c5 ^; I) ?" ~( w) H' r
% u- q9 d2 r8 B6 v使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。　　　


+ v( {. `; N6 A3 d- b* l9 X　[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects 　　Of Derived(Sub) Classes Without Knowing It ] 　　　　　　　　　　　　　　　　　　
% X3 k2 D& k2 `, G5 w* V

7 E# v1 I& }- s) a: i" Y% [) VLiskov替换法则　　
3 |7 i9 l& S$ X/ C
; {# W9 P5 M; h- `2 Q* Z; S9 k  a
5 U$ O' R1 L  e$ o0 F7 u1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。　　　　


$ V0 Q, L. s! i6 L6 ?; R( e: X2 B2.例如：　　　　　　　　

9 B4 }8 [% G$ @1 U8 q: f" w, `
方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）　　　
1 o0 C( n* V; _$ p/ ~
( M, W+ N. t2 {% _  i7 G0 C- f
2 Y8 e" `2 b! Z9 O　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。　
) X5 w! {- e2 b2 i* R1 O- b
; d/ ]2 O7 y7 C. z

  |( R) j1 n. I) h# Q5 R0 {0 Q5 H

　3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。
. G0 k0 a) X; @( T& Q# [
, r. U) ^, T3 A8 Y3 R- w. |) s4 H
9 N- Z( I* e2 _! H0 ^这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。


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

pxwgih

楼主很棒！

fred_gavin

谢谢分享！！！