Java 8 默认方法会破坏你的(用户的)代码

730 阅读5分钟
原文链接: www.importnew.com

Java 8的默认方法试图尝试更进一步简化Java API。不幸的是,这一最近的语言扩展带来了一系列复杂的规则,但只有少部分Java开发者意识到这一点。这篇文章告诉你为什么引入默认方法会破坏你的(用户的)代码。

起初看来,默认方法给Java虚拟机的指令集带来了很多新的特性。最终,开发库的人能够在不带来客户端代码的兼容性问题的情况下,升级API。使用默认方法,任何实现库接口的类都自动适应接口引入的默认方法。一旦用户更新了他实现的类,就能够很简单使用更有意义的方法来覆盖原有默认方法。更好的是,用户可以在覆盖方法时候,调用接口的默认实现,同时增加业务逻辑。

到现在为止,一切都是很好。但是,在创建接口的时候增加默认方法可能使得Java代码不兼容。这个从下面的例子可以很容易弄明白。我们假设一个库需要它的一个接口的作为输入:

interface SimpleInput {
  void foo();
  void bar();
}
abstract class SimpleInputAdapter implements SimpleInput {
  @Override
  public void bar() {
    // some default behavior ...
  }
}

Java 8之前,类似于上面联合使用一个接口和一个适配器类的方式,是Java程序语言中一种非常常用的设计模式。该适配器通常由库提供者提供,用于节省库的使用者的某些操作。但是,如果采用接口的方式提供,就类似允许多重继承了。

我们进一步假设一个用户使用了如下的适配器:

class MyInput extends SimpleInputAdapter {
  @Override
  public void foo() {
    // do something ...
  }
  @Override
  public void bar() {
    super.bar();
    // do something additionally ...
  }
}

通过这种实现方式,我们最终可以和库进行交互。注意我们是怎样覆盖bar方法,并为默认的实现增加额外的功能的。

如果将该库移植到Java 8,将会发生什么呢?首先,该库很大可能性会废弃适配器类,而使用默认方法提供该功能。最终,该接口的形式类似如下所示:

interface SimpleInput {
  void foo();
  default void bar() {
    // some default behavior
  }
}

使用这个新的接口,用户可以更新他的代码,采用默认方法来代替原来的适配器类。通过使用接口代替适配器类的最好的结果是,该类可以继承(extend)其它的类,而不是特定的适配器。现在我们进行实践,移植MyInput类使其使用默认方法。因为我们现在能继承其它类了,所以我们继承一个第三方的基础类。我们这里不需要关心这个基础类的作用,我们可以假设这个对我们的功能是有意义的。

class MyInput extends ThirdPartyBaseClass implements SimpleInput {
  @Override
  public void foo() {
    // do something ...
  }
  @Override
  public void bar() {
    SimpleInput.super.bar();
    // do something additionally ... 
  }
}

为了实现原始类相似的功能,我们使用Java 8的新的语法来调用指定接口的默认方法。同时,将我们方法中的一些逻辑移到基础类中去。此时,你可能拍着我的肩膀说,这是一次非常好的重构

我们相当成功的使用了该库。但是,维护人员需要增加另一个接口来提供更多的功能。该接口被 ComplexInput 接口所代替,这个接口继承自 SimpleInput 接口,并增加了新的方法。因为默认方法通常来说是可以很安全的添加的,因此,维护人员覆盖了 SimpleInput 的默认方法,提供了一个更好的默认方法。毕竟,这对于采用适配器类的方式来说是很平常的事情。

interface ComplexInput extends SimpleInput {
  void qux();
  @Override
  default void bar() {
    SimpleInput.super.bar(); 
    // so complex, we need to do more ...
  }
}

新的特性带来了非常好的效果以至于维护 ThirdPartyBaseClass 的人也决定依赖该库。为了完成这项工作,它在 ThirdPartyLibrary 中实现了 ComplexInput 接口。

但是这对 MyInput 类来说意味着什么呢?为了隐式的实现 ComplexInput 接口,可继承 ThirdPartyBaseClass 类,但是调用 SimpleInput 的默认方法突然变成非法的了。结果,用户的代码不能通过编译。现在这种调用是被禁止的,因为Java认为这种在非直接子类中调用父类的父类的方法是非法的。你只能在 ComplexInput 中去调用该默认方法,但是,这要求你显示的在MyInput中实现该接口。对于库的用户来说,这种改变不是所预期的!

更奇怪的是,Java运行时却不做这种限制。JVM的校验器是允许一个编译好的类去调用 SimpleInput::foo 方法的,即使该类是通过继承更新后的 ThirdPartyBaseClass,从而隐式的实现了ComplexClass。这种限制只存在于编译器中。

我们从这里能学到什么东西呢?简单的说,确保不要在一个接口中覆盖另一个接口的默认方法,既不要用默认方法覆盖,也不要用抽象方法覆盖。总的来说,请谨慎使用默认方法。即使它使得Java的集合接口API轻易的发生了革命性的变化,但本质上讲,这种继承层级之间的方法调用,增加系统的复杂性。而在Java 7之前,你只需要沿着线性的类层级去查找真正调用的代码。只有当你觉得非常有必要的时候才去增加这种复杂性。

原文链接: kantega 翻译: ImportNew.com - paddx
译文链接: www.importnew.com/16193.html
[ 转载请保留原文出处、译者和译文链接。]