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

post08070605

法则4：Liskov替换法则（LSP）　　　　

7 M. E; b2 h. v* f
* P6 `5 e; n% m) e5 q使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。　　　


1 U# Y3 y; l6 |+ E　[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects 　　Of Derived(Sub) Classes Without Knowing It ] 　　　　　　　　　　　　　　　　　　
$ d+ @$ {; ^, F+ F+ ]) R
2 i2 v" w4 ~8 x2 q6 D* J3 ]
7 U; z' D/ C( Y  oLiskov替换法则　　


& p9 Z, x8 @  X1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。　　　　


! H' D: e- l* F- a& h4 B5 C2.例如：　　　　　　　　
: N/ T7 h2 \4 X2 v) }

9 r' a' B- E+ d+ [1 w方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作）　　　
, s! e; Y, z% ?% R6 \& i2 I8 m0 X
* p) h; G% Q) g; o# `
8 O. w% t3 c2 ~& x- ~　但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。　
- f1 ~& n3 B% G9 `- r: W
3 e* z6 P) G6 K- _

) k' j6 y+ v6 x$ e

　3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。

- A7 p& @! g+ O  x
这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。


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

pxwgih

楼主很棒！

fred_gavin

谢谢分享！！！