法则4：Liskov替换法则（LSP） 7 E0 s0 t7 V4 Y" v9 I8 V6 Z1 i+ r" a% e
9 r% }6 W) i( { H W% e- e6 j) m
使用指向基类（超类）的引用的函数，必须能够在不知道具体派生类（子类）对象类型的情况下使用它们。 , s6 k* B" r0 b* c2 ^ 6 r4 y& y9 b! A- v4 p( K- h3 N) z- E. T' d. m7 x* c& Q6 T
[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] + U! t8 [9 J y. U
: E$ _0 D0 Z! Y& L# G. j" b5 V; Y4 X* ~. h4 V) t
Liskov替换法则 / s4 G1 W* ]8 B, y$ e; U+ P
; a" c: U5 o- W& [$ R- u 3 t* x% r$ K! [8 |7 u- _5 V1.显而易见，Liskov替换法则（LSP）是根据我所熟知的"多态"而得出的。 3 N5 W4 Z' x+ k8 D
8 Z2 |& L# M, c2 M9 f; M/ W. s4 |
, ^' c5 {6 w" F2.例如： * j' K, a# n/ W) _ $ B1 b2 q( [* }: i2 Z p, O$ t3 ^( |! b$ ?. n. F方法drawShape应该可与Sharp超类的任何子类一起工作（或者，若Sharp为Java接口，则该方法可与任何实现了Sharp接口的类一起工作） 3 f1 \, a% ]- k6 ~6 M
$ }: A0 y, O1 L& \ E$ C
9 |5 R2 Y& W) t2 a 但是当我们在实现子类时必须要谨慎对待，以确保我们不会无意中违背了LSP。 % F) e% g7 M C) k5 I+ H2 t
2 J0 ^' c) V" I- W# w
5 V, ?+ L4 c/ ~$ o
& N& ~0 ^) k: n ) I; H- ?# E0 ?+ I7 H# a' w5 B3 u+ f( v8 f8 p( \+ B ^1 }
3.若一个函数未能满足LSP，那么可能是因为它显式地引用了超类的一些或所有子类。 / L+ H* H! ~. d- L9 s- G; e' y+ M" h) V
! o3 e1 e5 L2 E- S: h
这样的函数也违背了OCP，因为当我们创建一个新的子类时，会不得不进行代码的修改。, [7 F, ^1 X0 ^
. h) C# O. w+ |# J9 w4 h- f- ?1 b
IP卡
狗仔卡
发表于 2009-9-10 22:40
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
