Java8默认方法会破坏用户的代码吗

起初看来，默认方法给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。这种限制只存在于编译器中。