在线时间 3 小时 最后登录 2024-1-13 注册时间 2009-9-8 听众数 3 收听数 0 能力 0 分 体力 16 点 威望 0 点 阅读权限 20 积分 5 相册 0 日志 0 记录 0 帖子 1 主题 1 精华 0 分享 0 好友 0
升级 0%
该用户从未签到
法则4:Liskov替换法则(LSP) 3 R1 q, n) i0 G1 ~
& Q; I& ^6 R% t 9 K. B; y. i8 w( r+ V: R
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。
L$ I+ j( Y( u9 ~* i * m1 l y% a, L: f' @
m7 s2 O6 n) j [ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] 0 i2 E2 R. b4 ~2 K6 t
/ X8 r) P' F6 k3 E; i6 A% U 0 _$ R5 A2 C" z7 B2 F% A
Liskov替换法则
0 x4 p' x( B( l8 U9 {
9 [# z7 K( Q- Z/ ?. T$ V
1 S' B8 x# y' ]4 V3 v# M 1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。
3 B' Y5 q r* b1 U
3 [6 Z5 D7 ^2 k" w+ Z % Y& X. {+ R* J
2.例如: 7 m8 y2 c+ {4 u( |
; m: y+ v4 C5 k: c% z$ ]9 C/ L; c # r! J7 f1 C5 x- a0 m% A! e
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) + b+ E2 H1 D& ~; i ?
$ R3 f0 @- O7 Z- E( f4 k9 U0 q1 n
& Y4 e/ ?2 m) q9 H4 J* @) W
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 ; p1 e$ ~* C& v6 x) f4 Z
* j% g0 F- P* C1 a( t
% t0 n! E( A+ S' r 8 v, @3 g! j& W& V: a# m5 f
: u" J+ i) v% T% b: R: b: L0 L
+ L1 R2 h- m4 }; `9 p r, h! c3 P$ N 3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。0 o/ Q, U- [- c' P$ b
& N8 B7 q# [2 L' e' k0 R' Z& F) L2 r
3 |( J; A% b! O. ]+ C5 m: b- j) j 这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。; E( M+ w: f' E! i) a
+ O4 v- d7 J) e, r$ }5 e
4 o7 P7 L5 q! W' e4 l3 k' @
>>更多一些面向对象得设计法则(4)
zan