[转帖]为什么Java中继承是有害的一

god

<B>概述</B>
% a* s  s3 }8 E( o7 [" I" v
　　大多数好的设计者象躲避瘟疫一样来避免使用实现继承(extends 关系)。实际上80%的代码应该完全用interfaces写，而不是通过extends。“JAVA设计模式”一书详细阐述了怎样用接口继承代替实现继承。这篇文章描述设计者为什么会这么作。

　　Extends是有害的；也许对于Charles Manson这个级别的不是，但是足够糟糕的它应该在任何可能的时候被避开。“JAVA设计模式”一书花了很大的部分讨论用interface继承代替实现继承。

+ j# X  b) n% P: y! J+ T　　好的设计者在他的代码中，大部分用interface，而不是具体的基类。本文讨论为什么设计者会这样选择，并且也介绍一些基于interface的编程基础。
1 V. C/ c6 `4 O4 b" }
  Q' d. j0 Q/ o+ m<B>接口（Interface）和类（Class）</B>?

4 ]2 v$ d) @+ C" P$ o　　一次，我参加一个Java用户组的会议。在会议中，Jams Gosling（Java之父）做发起人讲话。在那令人难忘的Q&amp;A部分，有人问他：“如果你重新构造Java，你想改变什么？”。“我想抛弃classes”他回答。在笑声平息后，它解释说，真正的问题不是由于class本身，而是实现继承(extends 关系)。接口继承（implements关系）是更好的。你应该尽可能的避免实现继承。
# G2 {! H  h5 {" S% G" Z
<B>失去了灵活性</B>
- l8 U4 x/ O' T
. E; z/ y5 [1 N: d& P4 n　　为什么你应该避免实现继承呢？第一个问题是明确的使用具体类名将你固定到特定的实现，给底层的改变增加了不必要的困难。

　　在当前的敏捷编程方法中，核心是并行的设计和开发的概念。在你详细设计程序前，你开始编程。这个技术不同于传统方法的形式----传统的方式是设计应该在编码开始前完成----但是许多成功的项目已经证明你能够更快速的开发高质量代码，相对于传统的按部就班的方法。但是在并行开发的核心是主张灵活性。你不得不以某一种方式写你的代码以至于最新发现的需求能够尽可能没有痛苦的合并到已有的代码中。
, Z. I7 w; i7 \4 K8 G
　　胜于实现你也许需要的特征，你只需实现你明确需要的特征，而且适度的对变化的包容。如果你没有这种灵活，并行的开发，那简直不可能。
8 Y2 k3 r1 [# V, y+ v$ Z! {- {! n' ~: q
% t8 b3 j6 s3 r* }, c$ Z　　对于Inteface的编程是灵活结构的核心。为了说明为什么，让我们看一下当使用它们的时候，会发生什么。考虑下面的代码：

8 n8 }) R3 N6 F: k: r6 c, F& Y<CCID_NOBR>
( _  ~4 Z, N' q* q<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>

/ M0 @) y4 I' ~- K4 t0 a3 R( t<TR>
1 T- O4 z. M, l/ z9 l) ^<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>f()
{   LinkedList list = new LinkedList();
9 S/ m* u' [% G( Q. `3 q5 I    //...
    g( list );
}
1 q% m$ E4 R- p; @; Z) g1 x
g( LinkedList list )
/ o, s2 Z2 r# p+ Q% p. W{
    list.add( ... );
    g2( list )
}</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>

9 a& `; K) q( [0 Z5 P& _" S# U' X% w　　现在，假设一个对于快速查询的需求被提出，以至于这个LinkedList不能够解决。你需要用HashSet来代替它。在已有代码中，变化不能够局部化，因为你不仅仅需要修改f()也需要修改g()（它带有LinkedList参数），并且还有g()把列表传递给的任何代码。象下面这样重写代码:

<CCID_NOBR>
1 V' ?2 p$ O% M" c. [<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>
; M' t: q" E1 {$ K# p: |5 ]
% W% O% U- l" T0 n% y2 F" ~<TR>
6 v; ?, u; f* j<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>f()
* y" L) X! A& f+ b# `' G{   Collection list = new LinkedList();
    //...
( |; F- K5 {$ k7 j8 r* z5 l  n- O    g( list );
+ U2 U# c7 `& v' l# j}

g( Collection list )
{
    list.add( ... );
    g2( list )
% C$ H9 u3 v' J; h: Q7 n}</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>
4 P% a; x; X# @% T( X
　　这样修改Linked list成hash，可能只是简单的用new HashSet()代替new LinkedList()。就这样。没有其他的需要修改的地方。

　　作为另一个例子，比较下面两段代码：

<CCID_NOBR>
<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>

$ z* w3 k! P& i8 V<TR>
<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>f()
1 Z9 d/ T4 |$ T5 O; |{   Collection c = new HashSet();
    //...
% J3 D) W7 [$ S' L: Z% h    g( c );
}

. m; \% S# u/ _0 Z, |% L6 Q8 {g( Collection c )
  z+ w! o1 d/ r, I2 l: U{
8 `$ l$ y1 o+ i% [9 y5 |    for( Iterator i = c.iterator(); i.hasNext() )
        do_something_with( i.next() );
8 t( z: R8 z2 s6 a; A}</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>
4 g9 q" y7 {) p
和
2 m0 q3 |$ E' F+ h; }  P2 X
6 c5 E" n) `8 O8 F& M8 ~* f<CCID_NOBR>
, j+ b( v" H  O<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>

) N+ C( u' R9 l9 v<TR>
0 k* u6 z. |5 r2 _% E1 t& n<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>f2()
- v1 a/ O3 h7 N! W{   Collection c = new HashSet();
2 N1 g9 \" J$ E    //...
2 f6 k4 o- d- `3 {    g2( c.iterator() );
}

g2( Iterator i )
{   while( i.hasNext() )
) B# U7 O  H) q" h1 c        do_something_with( i.next() );
}</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>
% b' t: m9 Q6 u  b
& A7 J2 ]4 L* t) ]　　g2()方法现在能够遍历Collection的派生，就像你能够从Map中得到的键值对。事实上，你能够写iterator，它产生数据，代替遍历一个Collection。你能够写iterator，它从测试的框架或者文件中得到信息。这会有巨大的灵活性。

<B>耦合</B>
+ i7 o  b1 f4 _- j
8 i; i9 Y0 N7 f　　对于实现继承，一个更加关键的问题是耦合---令人烦躁的依赖，就是那种程序的一部分对于另一部分的依赖。全局变量提供经典的例子，证明为什么强耦合会引起麻烦。例如，如果你改变全局变量的类型，那么所有用到这个变量的函数也许都被影响，所以所有这些代码都要被检查，变更和重新测试。而且，所有用到这个变量的函数通过这个变量相互耦合。也就是，如果一个变量值在难以使用的时候被改变，一个函数也许就不正确的影响了另一个函数的行为。这个问题显著的隐藏于多线程的程序。

　　作为一个设计者，你应该努力最小化耦合关系。你不能一并消除耦合，因为从一个类的对象到另一个类的对象的方法调用是一个松耦合的形式。你不可能有一个程序，它没有任何的耦合。然而，你能够通过遵守OO规则，最小化一定的耦合（最重要的是，一个对象的实现应该完全隐藏于使用他的对象）。例如，一个对象的实例变量（不是常量的成员域），应该总是private。我意思是某段时期的，无例外的，不断的。（你能够偶尔有效地使用protected方法，但是protected实例变量是可憎的事）同样的原因你应该不用get/set函数---他们对于是一个域公用只是使人感到过于复杂的方式（尽管返回修饰的对象而不是基本类型值的访问函数是在某些情况下是由原因的，那种情况下，返回的对象类是一个在设计时的关键抽象）。

　　这里，我不是书生气。在我自己的工作中，我发现一个直接的相互关系在我OO方法的严格之间，快速代码开发和容易的代码实现。无论什么时候我违反中心的OO原则，如实现隐藏，我结果重写那个代码（一般因为代码是不可调试的）。我没有时间重写代码，所以我遵循那些规则。我关心的完全实用—我对干净的原因没有兴趣。

4 X/ s/ [* ~& s- I6 ^" X7 o& h<B>脆弱的基类问题</B>
/ e  q) ?6 ^+ t+ o* q% z
( I2 G3 |8 f' b7 x$ R　　现在，让我们应用耦合的概念到继承。在一个用extends的继承实现系统中，派生类是非常紧密的和基类耦合，当且这种紧密的连接是不期望的。设计者已经应用了绰号“脆弱的基类问题”去描述这个行为。基础类被认为是脆弱的是，因为你在看起来安全的情况下修改基类，但是当从派生类继承时，新的行为也许引起派生类出现功能紊乱。你不能通过简单的在隔离下检查基类的方法来分辨基类的变化是安全的；而是你也必须看（和测试）所有派生类。而且，你必须检查所有的代码，它们也用在基类和派生类对象中，因为这个代码也许被新的行为所打破。一个对于基础类的简单变化可能导致整个程序不可操作。
1 [# r1 j( {) |* [( ^& z
* F' w% ]( X" g% V, d% K　　让我们一起检查脆弱的基类和基类耦合的问题。下面的类extends了Java的ArrayList类去使它像一个stack来运转：

<CCID_NOBR>
$ Q. g8 b  M" t! Z5 d5 k* x<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>

<TR>
$ H* E6 t) e$ Q<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>class Stack extends ArrayList
{   private int stack_pointer = 0;

    public void push( Object article )
. w% g% W& r8 x  {8 Z4 n    {   add( stack_pointer++, article );
    }

% z' @4 P9 M0 E3 f% f: ^    public Object pop()
    {   return remove( --stack_pointer );
    }
+ d4 P& I# k" {+ Z
9 u% ~  p# F$ W7 {. Z    public void push_many( Object[] articles )
    {   for( int i = 0; i &lt; articles.length; ++i )
5 v5 k1 F' E' _3 `, q" L0 v            push( articles );
    }
, Y7 M" B+ l) [( v- I: h1 ^* Y}</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>

甚至一个象这样简单的类也有问题。思考当一个用户平衡继承和用ArrayList的clear()方法去弹出堆栈时：
  o- N& O9 y/ ~5 }0 f
' p# B  r/ F: h: _<CCID_NOBR>
3 @2 t& M; \: C7 K( B: z<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>

<TR>
<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>Stack a_stack = new Stack();
: Q# a; i/ Q9 l% q/ w, Ea_stack.push("1");
- W8 u3 [4 |, Y0 w* ?  w# La_stack.push("2");
1 l8 o% U& i/ [7 l! b4 a# w3 ca_stack.clear();</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>
8 u6 q0 K+ U4 g$ e5 W, w
. Q& B1 C6 ]9 s4 V( u" ]# U; B, u　　这个代码成功编译，但是因为基类不知道关于stack指针堆栈的情况,这个stack对象当前在一个未定义的状态。下一个对于push（）调用把新的项放入索引2的位置。（stack_pointer的当前值），所以stack有效地有三个元素-下边两个是垃圾。（Java的stack类正是有这个问题，不要用它）.
7 l. o+ X" T5 m
　　对这个令人讨厌的继承的方法问题的解决办法是为Stack覆盖所有的ArrayList方法，那能够修改数组的状态，所以覆盖正确的操作Stack指针或者抛出一个例外。(removeRange()方法对于抛出一个例外一个好的候选方法)。
/ ~# e# ]4 z7 f! Y# I8 \
　　这个方法有两个缺点。第一，如果你覆盖了所有的东西，这个基类应该真正的是一个interface，而不是一个class。如果你不用任何继承方法，在实现继承中就没有这一点。第二，更重要的是，你不能够让一个stack支持所有的ArrayList方法。例如，令人烦恼的removeRange()没有什么作用。唯一实现无用方法的合理的途径是使它抛出一个例外，因为它应该永远不被调用。这个方法有效的把编译错误成为运行错误。不好的方法是，如果方法只是不被定义，编译器会输出一个方法未找到的错误。如果方法存在，但是抛出一个例外，你只有在程序真正的运行时，你才能够发现调用错误。
% ?; C5 ~% Q# k7 l
　　对于这个基类问题的一个更好的解决办法是封装数据结构代替用继承。这是新的和改进的Stack的版本：

<CCID_NOBR>
$ m1 o- M1 L) g2 E3 R<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>
1 z. u% h# i/ C  V) m+ O
. X. s: N+ p- Z! W; Y<TR>
3 P6 l: K$ |4 {% q8 b<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>class Stack
, @' Q. A5 T: A4 L{
    private int stack_pointer = 0;
; Z( D8 j5 |. s" S7 l    private ArrayList the_data = new ArrayList();
   
    public void push( Object article )
{
5 f3 a, v8 g3 U' h    the_data.add( stack_poniter++, article );
}
# h9 N2 A2 q. Q) X
, m3 \0 A0 E/ B, `% y7 g- Y9 epublic Object pop()
{
    return the_data.remove( --stack_pointer );
6 S2 G+ I# j7 ]8 x}

public void push_many( Object[] articles )
{
    for（ int i = 0; i &lt; o.length; ++i ）
( j1 s, }# n, y0 Z+ S, a/ Q        push( articles );
}
5 x+ a) H6 Y) Q( |- Q}</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>
4 K) X( e% I$ Z3 x* ]5 \: y; O
/ \/ H3 A; K' C& I/ A　　到现在为止，一直都不错，但是考虑脆弱的基类问题，我们说你想要在stack创建一个变量， 用它在一段周期内跟踪最大的堆栈尺寸。一个可能的实现也许象下面这样:
0 {+ }8 I; j+ Q6 G. E" {* l' _
<CCID_NOBR>
2 r8 o& ]& r: g; w% X) W<TABLE align=center border=1 borderColorDark=#ffffff borderColorLight=black cellPadding=2 cellSpacing=0 width=540>
% P  o# w8 Q+ F7 y6 o4 N1 K
% u6 k- a6 e+ ?8 m8 o; T<TR>
<TD bgColor=#e6e6e6 class=code><RE><CCID_CODE>class Monitorable_stack extends Stack
4 h) S' Y9 N2 b2 P% Q4 O$ B{
- }9 d" J/ T+ e- T) }    private int high_water_mark = 0;
6 B1 T& ~9 R" v" c1 U/ |0 {    private int current_size;

    public void push( Object article )
: _* o: o: v& k% m4 ^/ i# |    {
' @4 y( m' d. ^" W2 h! B; x        if( ++current_size &gt; high_water_mark )
            high_water_mark = current_size;
$ k7 I* e4 ~. C; s5 u; u! P6 c        super.push( article );
$ N" A& ?  L: o  E! x2 I    }
& H4 ]- D% h9 r6 j. y  ], V3 @" a
    publish Object pop()
7 }9 \8 F( U% _( N! \    {
        --current_size;
( `3 d3 m& o# v0 f        return super.pop();
5 M8 H) R  y  [* K    }

    public int maximum_size_so_far()
  {# Y+ V2 _9 \9 r4 c3 ?( z    {
: v% U' E6 u( g) m        return high_water_mark;
    }
}</CCID_CODE></PRE></TD></TR></TABLE></CCID_NOBR>
: f: S: e3 r5 K+ U6 ^
. _. B7 g2 _, y/ D6 D3 G: D　　这个新类运行的很好，至少是一段时间。不幸的是，这个代码发掘了一个事实，push_many()通过调用push()来运行。首先，这个细节看起来不是一个坏的选择。它简化了代码，并且你能够得到push()的派生类版本，甚至当Monitorable_stack通过Stack的参考来访问的时候，以至于high_water_mark能够正确的更新。