- 在线时间
- 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) 2 }" L1 L1 B2 t$ P, R
4 e) q: f, T, p5 }* u' |+ _% n X9 ~6 g/ F0 d$ Z3 r
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。
6 K2 H4 U- t/ d# [* m* r; ?" n8 r* i. m/ x0 y
, o; b; b, N Q1 t4 m# V% v. A
[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] 8 b! c5 Y7 K) Z+ N1 L
& n3 ^: R" z$ D& P, z
1 ^' l S: _7 a0 I
Liskov替换法则
' M* l* w' p0 J; O! F! i% S# P
# H" t5 B$ T. T+ h* @% Z( G# o9 |! ]/ D7 q" b1 {; |* b. ]
1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。
& J5 G) t4 a# D9 [6 \- `9 k9 \1 g- D$ F5 Z6 k/ H. j2 G
7 ^8 V- W* Z1 J) N2.例如: 5 J6 e6 R" ]* C2 i5 i6 ?
9 \& h. s: f, V4 ^' |" H# C
% N h" r9 L5 V1 ]+ X2 j1 w
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作)
8 ^5 n5 q" w3 P9 A: A+ D X! y; b
# i+ ?& S- T4 j 但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 ' v* C5 n2 h( ^) `; \5 {! z
8 V! X3 F- ^* U9 a1 F! C6 }+ L/ U
0 ^- I. ?/ `( Z- ?( i
" ~' @0 K1 x; y& r8 C/ i: L1 m
! d, t+ R9 H9 \5 L3 _
+ f' r+ P% p. Y/ m5 V2 z; H8 q 3.若一个函数未能满足LSP,那么可能是因为它显式地引用了超类的一些或所有子类。
# J# l8 `$ S4 B2 A5 F
2 [, U% p% q" T$ I7 a
v5 @8 c: i1 W) Y3 v这样的函数也违背了OCP,因为当我们创建一个新的子类时,会不得不进行代码的修改。7 i9 J( L% L; v
+ i9 p# W4 s' y( ^
6 ]5 v3 \$ s: s$ L( J+ i1 o3 l0 y>>更多一些面向对象得设计法则(4) |
zan
|