在线时间 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) - A a& ^ G3 M; g! S" R
! l! H& H- b7 g' |3 W; t/ K8 I& i
! ^6 H4 J" e6 \$ W9 Q- s 使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。
8 x- [: J8 \' A7 z/ e ! d+ U8 U* C: Z5 c Z
" `: x+ L& a" G! o, i& ], ^ [ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] 3 T5 u" \( Q1 @$ t A. P( \8 J
1 b9 \0 y9 T- N 7 p/ o! _9 l$ J8 A9 y5 Q& x
Liskov替换法则 + X3 w5 p1 m5 {$ J: Z
( h8 c+ \- S, @; U
, q6 |$ a. ?' I9 a; z 1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 7 P3 |* }# Q7 w1 @7 ?
% W1 v- l7 ?5 [4 s
7 t% b# w+ `) o8 \2 }7 E 2.例如:
7 U1 F. j: e* n1 }; \
/ {1 o! U7 \4 i3 \6 R, J5 F$ C! j 7 N. f; [, @" ^0 b7 _3 K2 l
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) 0 C# I3 O$ p# D" Y s! o0 o
* r6 f% ^1 T/ e% r' G9 T # `$ {3 o# R7 `9 t
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 . ^" p1 l) _9 D- @
; `/ ~" T7 T, W4 t$ d0 K4 k * {2 G0 T- A' Y" V$ J6 w( a2 D0 e
) y+ p5 @2 H, `# M; k8 _" e
7 R7 y% x7 K5 a
& E3 @! X% G# n7 M! G: c3 P! I 3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。
' X1 {/ m7 G8 J 1 c. z3 o: T$ ^* u
, E* q8 @3 }* c t2 c# V# _$ ?
这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。
Q7 c1 n E% }; R( f% M0 m
8 I; @* @ c, D7 r& o
/ k: n( ?7 ~' F; Y# ~0 { >>更多一些面向对象得设计法则(4)
zan