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

post08070605

法则4：Liskov替换法则（LSP）　　　　
6 U+ g+ v1 l" g1 `
5 F. W4 P* G) s* q
/ S9 I) c% G6 j2 L( }使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。　　　
4 o! g1 [7 D# T7 H8 m' g
+ D% Z2 h/ |$ `1 R1 W
1 p" N: n: h; _　[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects 　　Of Derived(Sub) Classes Without Knowing It ] 　　　　　　　　　　　　　　　　　　
# z9 p0 C8 g2 I( e9 k, P3 n
+ l: _' ?4 H+ J& v* x- g. M* w- V, y
& _) o% t& B  {$ zLiskov替换法则　　

/ y/ K) L9 I& }3 p4 d8 y; L
1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。　　　　


2.例如：　　　　　　　　
) j. ]6 T  z: }+ C4 @: R
7 {& O/ Q' l8 \9 m0 t5 y0 a
方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）　　　

# ^9 s5 L( R% y) M9 q2 \
( r! [% ?, Z4 @- x　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。　


6 }$ q* M2 U/ l, x+ E8 |3 Z3 }

+ ~# C+ O, m, z+ {5 h3 V7 e) Y
　3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。
1 y6 v3 p; {4 q# @* u. y

, v: J- @1 B. X  F9 }5 b3 r% U这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。


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

pxwgih

楼主很棒！

fred_gavin

谢谢分享！！！