' c, B7 o; p) Z- w9 {: _9 {: F' D" F5 u8 T! J' K0 U. ~
使用指向基类(超类)的引用的函数,必须能够在不知道具体派生类(子类)对象类型的情况下使用它们。 ) a: y3 P& H! |
) g" R5 D5 P$ o
" v5 C, U; M* R; j+ Z) `
[ Function Thar Use Referennces To Base(Super) Classes Must Be Able To Use Objects Of Derived(Sub) Classes Without Knowing It ] 5 d, M Q0 _2 N# r
: w0 X" t' M" H
8 e) P1 q- v/ T9 t& GLiskov替换法则 ' y9 }) ^% i4 u$ `$ ^# H8 v- d$ M. M7 D) C! R# e, }5 l8 U
" I1 q0 Q. e$ M* M$ o8 O1 K8 m1.显而易见,Liskov替换法则(LSP)是根据我所熟知的"多态"而得出的。 & w4 Y, D1 H1 j0 b' x$ ~7 C8 ]- a
% `1 ~4 z% `4 [
, k* Y7 l n- c( x$ s. X T2.例如: ; X1 O, ^7 p4 s1 A2 M2 d) m$ Q $ W2 ]6 f' h9 D: ^7 ^+ I E _' [8 l: j9 ?
方法drawShape应该可与Sharp超类的任何子类一起工作(或者,若Sharp为Java接口,则该方法可与任何实现了Sharp接口的类一起工作) * ?8 g2 b* a/ p2 r
: {3 E6 }# N' H% D' g5 k: [3 [2 w3 C6 o0 N4 P0 d; N( k7 O3 K; O5 f
但是当我们在实现子类时必须要谨慎对待,以确保我们不会无意中违背了LSP。 $ v$ X$ r3 l. s) C$ U! T" U* @6 j& M( C3 b) h
; i, [! `" |* H2 x9 k