该用户从未签到
|
abstract class和interface是java语言中对于抽象类定义进行支持的两种机制,正是由于这两种机制的存在,才赋予了Java强大的面向对象能力。abstract class和interface之间在对于抽象类定义的支持方面具有很大的相似性,甚至可以相互替换,因此很多开发者在进行抽象类定义时对于abstract class和interface的选择显得比较随意。其实,两者之间还是有很大区别的,对于它们的选择甚至反映出对于问题领域本质的理解、对于设计意图的理解是否正确、合理。我认为正确运用好抽象类和接口,可以优化软件结构的设计,对软件的扩展、维护带来很大的便利。本文将对它们之间的区别进行一番剖析,试图给开发者提供一个在二者之间进行选择的依据。) R6 k8 s5 Q9 U/ U2 b! u0 e
" x$ p5 k4 H. M( n
首先来理解一下抽象类。在面向对象的概念中,我们知道所有的对象都是通过类来描绘的,如果一个类中没有包含足够的信息来描绘一个具体的对象,这样的类就是抽象类。抽象类往往用来表征我们在对问题领域进行分析、设计中得出的抽象概念,是对一系列看上去不同,但是本质上相同的具体概念的抽象。比如我们xpads 项目中的交易类就可以理解为一个抽象类,即期交易、远期交易、掉期交易等都是继承交易类的具体类。即期交易、远期交易、掉期交易这些具体概念是实际存在的,而交易这个概念在问题领域中是不存在的,可以理解为一个抽象概念。正是因为抽象概念在实际问题领域中没有东西与它对应,所以用以表征抽象概念的抽象类是不能被实例化的。
0 k$ r. q$ Q$ ?* h$ B/ e
& l' W* V' F% T) Z接下来理解一下接口,接口是面向对象设计中的一组规范,是一组方法的集合体(也可以定义一些常量),在一些软件设计模式中提倡的面向接口编程,其实就是屏蔽实现类的内部处理,增强模块的安全性、灵活性,达到软件设计的高内聚、松耦合。& ?7 T4 ^* G# l7 e
6 n- c0 j; k, \! c
下面从三个方面进行比较:
% w! S: n# W- G8 m$ R. U2 _( E* N% `. h$ d
一、从语法定义层面看abstract class和interface $ m! H d6 a4 B2 [( F2 u
7 p. r9 O4 G# B( {8 d使用abstract class的方式定义Deal抽象类的方式如下:
+ o L! X' ^$ g4 Z" q- K9 x* r/ J
2 p, z# Z5 s6 ~8 Gabstract class FxDeal {
5 v' f0 G. q! W
: W3 F2 {/ _* c4 ` private long dealsId; //交易流水号( [3 f7 f. j9 I
, o8 p2 U4 U; I, N
private long blockNumber;//套流水号
% m$ B) A: _( o& P) ^ T
: G- f3 \( M) `+ j8 W. ~% {# f# @ Rprivate String appls;//产品类别$ W! H: W1 ^4 S* d" l- A7 b
6 N2 I. [$ W' ?2 X- W+ ~2 E0 l4 T# Q3 dprivate String inputChannel;//录入渠道
# q, k' S# b6 E' |: C' b- l" Y! G/ i$ u/ @, J
private String typeOfDeal;//交易类型: z4 F! \4 f, V" [4 @( U
) {% r0 @$ O4 u7 k, B# B, w
private String flagOfDeal;// 特殊交易标识2 | d, g$ L4 o) c
7 M) W# @# K5 b9 D* A
private String bankId;//业务发生行
9 S* P% E# m3 K* B% O. m% S- [0 y# N% e# Y4 X Y# y
private String customerId; //客户号
* U; ?% ]2 H7 J/ K# D5 b$ V1 D2 K& ^" f2 \4 F; R! ^# s' C4 N
private String customerName;//客户名称
9 n9 Z7 [- o' Z1 d) q8 Z: H( T) L) a; T4 q
private int customerType;//客户类型% a! f4 N: L# q6 h) O& {! g) Q
& B8 P. v. {8 s4 ~) ^4 S
private double amount1;
) u# e/ [- ]4 ]/ K, D s
, u0 f8 O: T9 }' U& E; eprivate double amount2;
+ @( U6 k7 O- P+ C- p$ \& N! z' T3 V) M
abstract void method1();1 \9 k5 s6 V+ B# N2 n& c
7 Y2 I6 c" R! B* _# vabstract void method2();
9 p4 r" E& r1 h6 U7 ^3 G% F H6 D( k' o, M% Y
…
0 G+ r2 O- J$ S0 |$ V2 C+ V; A* j1 I8 Y2 \, m( j
}- {, J) M( p4 @) k" u5 ?1 b
" M! `- U, a. K! I& a: K7 g
使用interface的方式定义Deal抽象类的方式如下:
1 x# n8 j! @4 x, U' T @ interface FxDeal {& L O6 p9 T9 m/ w0 l1 p0 ~
void method1();& { A; x6 i0 F, b: ~/ u# _! k# o) J: [
void method2();
7 I1 P+ m% N9 f; t! k …
% m: E2 A$ n# S* j: H }
% i. e6 C: y2 {* e# `( i) b# w0 S( c* g, ~( M2 n
在abstract class方式中,Deal可以有自己的数据成员,也可以有非abstarct的成员方法,而在interface方式的实现中,Deal只能够有静态的不能被修改的数据成员(也就是必须是static final的,不过在interface中一般不定义数据成员),所有的成员方法都是abstract的。从某种意义上说,interface是一种特殊形式的abstract class。. \0 B3 v4 ?2 Y. G1 g8 c0 I, i% G0 B
2 e& o1 x) m8 f. l$ J4 y0 Z二、从编程层面看abstract class和interface! B' }* ?! c/ @7 y: a! _
6 w0 V" G/ T$ W首先,abstract class在Java语言中表示的是一种继承关系,一个类只能使用一次继承关系。但是,一个类却可以实现多个interface。
* x3 h) }3 K. E4 G6 n2 f9 N2 D1 O# i/ g, A/ e, }" S6 R! r0 A
其次,在abstract class的定义中,我们可以赋予方法的默认行为。但是在interface的定义中,方法却不能拥有默认行为,为了绕过这个限制,必须使用委托,但是这会增加一些复杂性,有时会造成很大的麻烦。
3 d( z# v7 g$ r. S) y
" d: y& n2 J* m/ }) _在抽象类中不定义默认行为存在一个比较严重的问题,那就是可能会造成维护上的麻烦。因为如果后来想修改类(一般通过abstract class或者interface来表示)以适应新的情况(比如,添加新的方法或者给已用的方法中添加新的参数)时,就会非常的麻烦,可能要花费很多的时间(对于派生类很多的情况,尤为如此)。但是如果它是通过abstract class来实现的,那么可能就只需要修改定义在abstract class中的默认行为就可以了。' W) ^& i4 g. U1 U0 s+ z
, f3 @0 a/ K! A+ u
另一个问题是:如果不是采用抽象类中的默认行为,就会导致同样的方法实现出现在该抽象类(或接口)的每一个派生类(或实现类)中,违反了“one rule,one place”原则,造成代码重复,同样不利于以后的维护。因此,我认为在abstract class和interface间进行选择时还是需要谨慎的,搞不好的话,是会给程序埋下一些隐患的。
( U2 N, @3 H1 S" Y0 j( w. ~
2 R7 q* v4 a z Z8 ?, h三、从设计理念层面看abstract class和interface* w- c: U' J; @6 q, d
/ @& d* X' Y: j' ?
abstract class在Java语言中体现的是一种继承关系,父类和派生类之间必须存在“is a”关系,即父类和派生类在概念本质上应该是相同的。对于interface 来说则不然,并不要求interface的实现者和interface定义在概念本质上是一致的,仅仅是实现了interface定义的契约而已。为了使论述便于理解,下面将通过一个简单的实例进行说明。
8 F! W% s; L" J
6 u& i3 b& D% x3 V: m 考虑这样一个例子,假设在我们的问题领域中有一个关于Door的抽象概念,该Door具有执行两个动作open和close,此时我们可以通过abstract class或者interface来定义一个表示该抽象概念的类型,定义方式分别如下所示:" N V2 ^5 E) i- T: b
- ~% G* ]$ s {9 ?! Z
使用abstract class方式定义Door:, j5 c G; F# s* u" l, ]1 s
- o4 H9 y0 R$ j" @
abstract class Door {
6 t) ]9 X: \- G4 z
3 K3 d y, L6 t( k2 U4 U7 S, {/ ~! j abstract void open();4 x: ?$ W5 r- D) b: V, y+ t
j$ l) n( W% @) i
abstract void close();
/ L) H" N! |( V3 _9 t1 k/ B7 Z2 }0 l$ T+ ]- L) a! c8 S
}
/ @4 u$ p6 Q+ J& L. y
0 }, I- K7 d4 B 使用interface方式定义Door:
0 T- \ b2 R) N; v& ^$ D. ^# O
1 S2 p- ]! s: W, H interface Door {
W& E" \5 a8 \; i
5 Q& V6 r& p$ k# s/ U2 J- Z void open();
W- b0 W7 V* l# D9 e# e$ t2 w1 l) A. C. U) O7 X4 o$ L
void close();
3 d# O! g$ Y4 V: k% a9 q2 ]- E- [! w9 ^3 \) v
}1 S) j3 H3 _7 X
* g8 [% ], D. D, K2 h3 H6 w* J
其他具体的Door类型可以extends使用abstract class方式定义的Door或者implements使用interface方式定义的Door。看起来好像使用abstract class和interface没有大的区别。
# T! J( f: f. J* E& R* Q; U( D1 Q1 ~
0 j5 O6 Y! T0 ~; l- F 如果现在要求Door还要具有报警的功能。我们该如何设计针对该例子的类结构呢(在本例中,主要是为了展示abstract class和interface反映在设计理念上的区别,其他方面无关的问题都做了简化或者忽略),下面将罗列出可能的解决方案,并从设计理念层面对这些不同的方案进行分析。' x, c, F" I0 Q
1 ?# J' ~* O1 m 解决方案一:
0 y/ Y/ I; a7 B$ x- s
7 d; D7 F" [# q) v 简单的在Door的定义中增加一个alarm方法,如下:1 c7 q% W7 q/ K! `, e3 E( {6 d
: K& w+ k0 m8 }/ w2 j* r) P! q! E
abstract class Door {
1 m/ _# V1 K6 A6 W3 x, s' m& _3 r. j% ` k+ L# T# f
abstract void open();6 X% p4 O5 }3 B
L; H- M. f2 d5 a abstract void close();( V8 |5 w! u% @. c
, [, F0 O- `( B, W
abstract void alarm();
5 ~7 G# [. d6 w. Q4 G. u: x4 c7 l/ z, V$ W' }
}
" d! q8 P) W b. F+ c
: L4 Y8 s5 i4 i* B1 H 或者
* X* l: a$ N2 ?% g! C: a
, K3 \8 p$ \# }- o% h; f interface Door {
* m/ F, B8 s- [- R6 i7 U$ M4 j& y) x
void open();$ {1 O: Z& O6 W( } ^& C
8 W7 ]0 Q# e+ N void close();" Z' }" t, E( p1 q. Q' Q ?3 c* F
9 P6 _) B4 x' m9 J% U* W: g; x5 E) N
void alarm();* d) y' }9 f+ D" M
; ^% a; U @4 J$ O: m7 D
}
: i7 p* K& ` U# P* x) z$ U. T. w/ y. m+ J* U
那么具有报警功能的AlarmDoor的定义方式如下:
$ I3 Q2 C) Z6 U. b2 Y! j
: J+ P _1 k4 g class AlarmDoor extends Door {% [6 }- T! K! P2 \: S- [
: v! D# z, \& k/ w4 l- F void open() { … }
; K3 a5 z+ V8 P* j) e
9 Y- r: w5 m% d% {6 U% t void close() { … }& S) ~: c7 N$ o$ X% z, i" p9 Y G
$ n8 h, d% n5 A3 d/ H% S- U
void alarm() { … }
3 n" p& |3 k3 \4 g! @# V: h
* O* n a! k' b4 C/ n1 t6 |3 u }! c w; ?* i2 I. g
1 Y4 `% I2 n4 l 或者
# V. U5 \, e* c8 ?& Z+ f
7 x: l2 c" {3 D class AlarmDoor implements Door {
3 u( D; m- V3 J
* }8 v3 o6 t2 H. N& }, w7 L: s void open() { … }
5 m# o2 x/ U) j' D! H
( @6 ?3 U: O- O void close() { … }
) O0 ?' f5 P% _2 x2 [ M8 Z1 H1 ?, s: N, M! x+ X3 R$ [
void alarm() { … }) c: H) U- @' I
9 n* E$ [9 l8 `- G
}
4 N* c# p6 o4 k$ w9 S& |% X5 x& v# `% |- I Z) I j
这种方法违反了面向对象设计中的一个核心原则ISP(Interface Segregation Priciple),在Door的定义中把Door概念本身固有的行为方法和另外一个概念“报警器“的行为方法混在了一起。这样引起的一个问题是那些仅仅依赖于Door这个概念的模块会因为“报警器“这个概念的改变(比如:修改alarm方法的参数)而改变。0 D- V6 o7 `$ g# W" r7 `
6 h: E+ G3 b# z% n8 u# c
解决方案二:
: w1 j1 m( y6 t' X9 R% }* N" {$ X) R/ ~
既然open、close和alarm属于两个不同的概念,根据ISP原则应该把它们分别定义在代表这两个概念的抽象类中。定义方式有:这两个概念都使用abstract class方式定义;两个概念都使用interface方式定义;一个概念使用abstract class方式定义,另一个概念使用interface方式定义。
' e3 q+ \: a- y; C4 ? v0 G
: I( ~2 j7 x+ Z/ k" h( x- ~( Q 显然,由于Java语言不支持多重继承,所以两个概念都使用abstract class方式定义是不可行的。后面两种方式都是可行的,但是对于它们的选择却反映出对于问题领域中的概念本质的理解、对于设计意图的反映是否正确、合理。
+ v* c. v3 s a' R8 G如果两个概念都使用interface方式来定义,那么就反映出两个问题:1、我们可能没有理解清楚问题领域,AlarmDoor在概念本质上到底是Door还是报警器?2、如果我们对于问题领域的理解没有问题,比如:我们通过对于问题领域的分析发现AlarmDoor在概念本质上和Door是一致的,那么我们在实现时就没有能够正确的揭示我们的设计意图,因为在这两个概念的定义上(均使用interface方式定义)反映不出上述含义。6 ~. o& W" S8 c8 _8 s
& l0 L( Q" V+ V0 J" N
如果我们对于问题领域的理解是:AlarmDoor在概念本质上是Door,同时它有具有报警的功能。我们该如何来设计、实现来明确的反映出我们的意思呢?前面已经说过,abstract class在Java语言中表示一种继承关系,而继承关系在本质上是“is a”关系。所以对于Door这个概念,我们应该使用abstarct class方式来定义。另外,AlarmDoor又具有报警功能,说明它又能够完成报警概念中定义的行为,所以报警概念可以通过interface方式定义。如下所示:
; r* k: k" R( t# C7 x/ ?
6 U. E6 m: V# u- M, K" C; | abstract class Door {
- g a0 _+ D9 b( V' p: T. J& ~# u5 j/ x; X( P3 j( v, R5 E" y: B+ N8 N
abstract void open();1 {- k {4 x* p% Z7 Z; S
+ b6 o& j( w7 ?6 m
abstract void close();5 D' V" a( e# v: _
& [- |1 y0 @- w& J+ k [
}6 d9 d4 Z% R1 S+ n5 Z
5 J. E0 x q$ j1 S& a% ^
interface Alarm {
2 g. H1 n4 [8 o/ Z( g) G1 C
& ]( Q+ n5 P7 c7 r" Z void alarm();( C F0 r8 S {2 H. i
W8 M1 y7 w$ S) I }2 _" e R/ s3 D) ^4 y1 n
z! P$ w8 r: }5 c6 M( w! k0 Q
class AlarmDoor extends Door implements Alarm {7 A. a' M% C" K0 a4 z) [+ |
! N/ i- e/ n5 I9 z. a/ q
void open() { … }
) |% g) |0 S3 V% J: S& P0 x$ i$ c" }7 r+ m1 q, w2 |1 ]9 B
void close() { … }! m. C4 [! h( p
1 w, q5 _2 R) c! U void alarm() { … }' {: U" G1 W2 v5 ]; ~4 j
+ m$ i) R# p6 m7 R3 c7 s }) L3 y* q5 K" ?$ |1 k; W7 |
0 o$ I) y4 |; s2 S6 c5 m) O; Q
这种实现方式基本上能够明确的反映出我们对于问题领域的理解,正确的揭示我们的设计意图。其实abstract class表示的是“is a”关系,interface表示的是“like a”关系,大家在选择时可以作为一个依据,当然这是建立在对问题领域的理解上的,比如:如果我们认为AlarmDoor在概念本质上是报警器,同时又具有Door的功能,那么上述的定义方式就要反过来了。% H/ h3 R+ I5 c; Z! s
其实在某些时候,这两个特殊的类的使用是可以互为替换的,但是在较大规模的系统工程设计时,如果不能正确运用好它的话,可能会破坏程序的结构,增强模块间的耦合度,给程序的维护与升级带来较大的不便,希望大家能够细细体会。
5 @. I$ i* E9 j& l+ ?: [1 k! S' Q2 W& l1 b* {" Y
/ F+ M/ l( Z& [- g; G
|
|