传统上, Java 程序的接口是将相关方法按照约定组合到一起的方式. 实现接口的类必须为接口中定义的每个方法提供一个实现, 或者从父类中继承它的实现.
但是, 一旦类库的设计者需要更新接口, 向其中加入新的方法, 这种方式就会出现问题. 现实情况是, 现存的实体类往往不在接口设计者的控制范围之内, 这些实体类为了适配新的接口约定也需要进行修改.
由于 Java 8 的 API 在现存的接口上引入了非常多的新方法, 这种变化带来的问题也愈加严重, 一个例子就是前几章中使用过的 List 接口上的 sort 方法.
想象一下其他备选集合框架的维护人员会多么抓狂吧, 像 Guava 和 Apache Commons 这样的框架现在都需要修改实现了 List 接口的所有类, 为其添加 sort 方法的实现.
Java 8 为了解决这一问题引入了一种新的机制. Java 8 中的接口现在支持在声明方法的同时提供实现, 通过两种方式可以完成这种操作. 其一, Java 8 允许在接口内声明静态方法.
其二, Java 8 引入了一个新功能, 叫默认方法, 通过默认方法你可以指定接口方法的默认实现. 换句话说, 接口能提供方法的具体实现. 因此, 实现接口的类如果不显式地提供该方法的具体实现,
就会自动继承默认的实现. 这种机制可以使你平滑地进行接口的优化和演进. 实际上, 到目前为止你已经使用了多个默认方法. 两个例子就是你前面已经见过的 List 接口中的 sort , 以及 Collection 接口中的 stream .
第 1 章中 List 接口中的 sort 方法是 Java 8 中全新的方法, 它的定义如下:
- default void sort(Comparator<? super E> c){
- Collections.sort(this, c);
- }
请注意返回类型之前的新 default 修饰符. 通过它, 我们能够知道一个方法是否为默认方法. 这里 sort 方法调用了 Collections.sort 方法进行排序操作. 由于有了这个新的方法, 我们现在可以直接通过调用 sort , 对列表中的元素进行排序.
- List<Integer> numbers = Arrays.asList(3, 5, 1, 2, 6);
- numbers.sort(Comparator.naturalOrder());
不过除此之外, 这段代码中还有些其他的新东西. 我们调用了 Comparator.naturalOrder 方法. 这是 Comparator 接口的一个全新的静态方法, 它返回一个 Comparator 对象, 并按自然序列对其中的元素进行排序(即标准的字母数字方式排序).
第 4 章中的 Collection 中的 stream 方法的定义如下:
- default Stream<E> stream() {
- return StreamSupport.stream(spliterator(), false);
- }
我们在之前的几章中大量使用了该方法来处理集合, 这里 stream 方法中调用了 SteamSupport.stream 方法来返回一个流. 你注意到 stream 方法的主体是如何调用 spliterator 方法的了吗? 它也是 Collection 接口的一个默认方法.
接口和抽象类还是有一些本质的区别, 我们在这一章中会针对性地进行讨论.
简而言之, 向接口添加方法是诸多问题的罪恶之源; 一旦接口发生变化, 实现这些接口的类往往也需要更新, 提供新添方法的实现才能适配接口的变化. 如果你对接口以及它所有相关的实现有完全的控制, 这可能不是个大问题. 但是这种情况是极少的. 这就是引入默认方法的目的: 它让类可以自动地继承接口的一个默认实现.
image
1. 不断演进的 API
1.1 初始版本的 API
Resizable 接口的最初版本提供了下面这些方法:
- public interface Drawable {
- void draw();
- }
- public interface Resizable extends Drawable {
- int getWidth();
- void setWidth(int width);
- int getHeight();
- void setHeight(int height);
- void setAbsoluteSize(int width, int height);
- }
用户根据自身的需求实现了 Resizable 接口, 创建了 Ellipse 类:
- public class Ellipse implements Resizable {
- ...
- }
他实现了一个处理各种 Resizable 形状 (包括 Ellipse ) 的游戏:
- public class Square implements Resizable {
- ...
- }
- public class Triangle implements Resizable {
- ...
- }
- public class Game {
- public static void main(String[] args) {
- List<Resizable> resizableShapes =
- Arrays.asList(new Square(), new Triangle(), new Ellipse());
- Utils.paint(resizableShapes);
- }
- }
- public class Utils {
- public static void paint(List<Resizable> list) {
- list.forEach(r -> {
- r.setAbsoluteSize(42, 42);
- r.draw();
- });
- }
- }
1.2 第二版 API
库上线使用几个月之后, 你收到很多请求, 要求你更新 Resizable 的实现, 让 Square Triangle 以及其他的形状都能支持 setRelativeSize 方法. 为了满足这些新的需求, 你发布了第二版 API.
- public interface Resizable extends Drawable {
- int getWidth();
- void setWidth(int width);
- int getHeight();
- void setHeight(int height);
- void setAbsoluteSize(int width, int height);
- void setRelativeSize(int wFactor, int hFactor);
- }
对 Resizable 接口的更新导致了一系列的问题. 首先, 接口现在要求它所有的实现类添加 setRelativeSize 方法的实现. 但是用户最初实现的 Ellipse 类并未包含 setRelativeSize 方法. 向接口添加新方法是二进制兼容的, 这意味着如果不重新编译该类, 即使不实现新的方法, 现有类的实现依旧可以运行. 不过, 用户可能修改他的游戏, 在他的 Utils.paint 方法中调用 setRelativeSize 方法, 因为 paint 方法接受一个 Resizable 对象列表作为参数. 如果传递的是一个 Ellipse 对象, 程序就会抛出一个运行时错误, 因为它并未实现 setRelativeSize 方法:
Exception in thread "main" java.lang.AbstractMethodError:lambdasinaction.chap9.Ellipse.setRelativeSize(II)V
其次, 如果用户试图重新编译整个应用(包括 Ellipse 类), 他会遭遇下面的编译错误:
Error:(9, 8) java: com.lujiahao.learnjava8.chapter9.Ellipse 不是抽象的, 并且未覆盖
com.lujiahao.learnjava8.chapter9.Resizable 中的抽象方法 setRelativeSize(int,int)
这就是默认方法试图解决的问题. 它让类库的设计者放心地改进应用程序接口, 无需担忧对遗留代码的影响, 这是因为实现更新接口的类现在会自动继承一个默认的方法实现.
变更对 Java 程序的影响大体可以分成三种类型的兼容性, 分别是:
二进制级的兼容
源代码级的兼容
函数行为的兼容
2. 概述默认方法
默认方法由 default 修饰符修饰, 并像类中声明的其他方法一样包含方法体. 比如, 你可以像下面这样在集合库中定义一个名为 Sized 的接口, 在其中定义一个抽象方法 size , 以及一个默认方法 isEmpty :
- public interface Sized {
- int size();
- default boolean isEmpty() {
- return size() == 0;
- }
- }
这样任何一个实现了 Sized 接口的类都会自动继承 isEmpty 的实现. 因此, 向提供了默认实现的接口添加方法就不是源码兼容的.
默认方法在 Java 8 的 API 中已经大量地使用了. 本章已经介绍过我们前一章中大量使用的 Collection 接口的 stream 方法就是默认方法. List 接口的 sort 方法也是默认方法. 第 3 章介绍的很多函数式接口, 比如 Predicate , Function 以及 Comparator 也引入了新的默认方法, 比如 Predicate.and 或者 Function.andThen (记住, 函数式接口只包含一个抽象方法, 默认方法是种非抽象方法).
3. 默认方法的使用模式
3.1 可选方法
类实现了接口, 不过却刻意地将一些方法的实现留白. 我们以 Iterator 接口为例来说. Iterator 接口定义了 hasNext , next , 还定义了 remove 方法. Java 8 之前, 由于用户通常不会使用该方法, remove 方法常被忽略. 因此, 实现 Interator 接口的类通常会为 remove 方法放置一个空的实现, 这些都是些毫无用处的模板代码. 采用默认方法之后, 你可以为这种类型的方法提供一个默认的实现, 这样实体类就无需在自己的实现中显式地提供一个空方法. 比如, 在 Java 8 中, Iterator 接口就为 remove 方法提供了一个默认实现, 如下所示:
- public interface Iterator<E> {
- ...
- default void remove() {
- throw new UnsupportedOperationException("remove");
- }
- ...
- }
3.2 行为的多继承
默认方法让之前无法想象的事儿以一种优雅的方式得以实现, 即行为的多继承. 这是一种让类从多个来源重用代码的能力.
image
Java 的类只能继承单一的类, 但是一个类可以实现多接口. 要确认也很简单, 下面是 Java API 中对 ArrayList 类的定义:
- public class ArrayList<E> extends AbstractList<E>
- implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
- }
3.2.1 类型的多继承
这个例子中 ArrayList 继承了一个类, 实现了六个接口. 因此 ArrayList 实际是七个类型的直接子类, 分别是: AbstractList , List , RandomAccess , Cloneable , Serializable ,Iterable 和 Collection . 所以, 在某种程度上, 我们早就有了类型的多继承.
由于 Java 8 中接口方法可以包含实现, 类可以从多个接口中继承它们的行为(即实现的代码). 让我们从一个例子入手, 看看如何充分利用这种能力来为我们服务. 保持接口的精致性和正交性能帮助你在现有的代码基上最大程度地实现代码复用和行为组合.
3.2.2 利用正交方法的精简接口
假设你需要为你正在创建的游戏定义多个具有不同特质的形状. 有的形状需要调整大小, 但是不需要有旋转的功能; 有的需要能旋转和移动, 但是不需要调整大小. 这种情况下, 你怎么设计才能尽可能地重用代码?
你可以定义一个单独的 Rotatable 接口, 并提供两个抽象方法 setRotationAngle 和 getRotationAngle , 如下所示:
- public interface Rotatable {
- int getRotationAngle();
- void setRotationAngle(int angleInDegrees);
- default void rotateBy(int angleInDegrees) {
- setRotationAngle((getRotationAngle() + angleInDegrees) % 360);
- }
- }
这种方式和模板设计模式有些相似, 都是以其他方法需要实现的方法定义好框架算法.
现在, 实现了 Rotatable 的所有类都需要提供 setRotationAngle 和 getRotationAngle 的实现, 但与此同时它们也会天然地继承 rotateBy 的默认实现.
类似地, 你可以定义之前看到的两个接口 Moveable 和 Resizable . 它们都包含了默认实现. 下面是 Moveable 的代码:
- public interface Moveable {
- int getX();
- void setX(int x);
- int getY();
- void setY(int y);
- default void moveHorizontally(int distance) {
- setX(getX() + distance);
- }
- default void moveVertically(int distance) {
- setY(getY() + distance);
- }
- }
下面是 Resizable 的代码:
- public interface Resizable extends Drawable {
- int getWidth();
- void setWidth(int width);
- int getHeight();
- void setHeight(int height);
- void setAbsoluteSize(int width, int height);
- default void setRelativeSize(int wFactor, int hFactor){
- setAbsoluteSize(getWidth() / wFactor, getHeight() / hFactor);
- }
- }
3.2.3 组合接口
通过组合这些接口, 你现在可以为你的游戏创建不同的实体类. 比如, Monster 可以移动, 旋转和缩放.
- public class Monster implements Rotatable, Moveable, Resizable {
- ...
- }
Monster 类会自动继承 Rotatable , Moveable 和 Resizable 接口的默认方法. 这个例子中, Monster 继承了 rotateBy , moveHorizontally , moveVertically 和 setRelativeSize 的实现.
你现在可以直接调用不同的方法:
- Monster m = new Monster();
- m.rotateBy(180);
- m.moveVertically(10);
像你的游戏代码那样使用默认实现来定义简单的接口还有另一个好处. 假设你需要修改 moveVertically 的实现, 让它更高效地运行. 你可以在 Moveable 接口内直接修改它的实现, 所有实现该接口的类会自动继承新的代码(这里我们假设用户并未定义自己的方法实现).
通过前面的介绍, 你已经了解了默认方法多种强大的使用模式. 不过也可能还有一些疑惑: 如果一个类同时实现了两个接口, 这两个接口恰巧又提供了同样的默认方法签名, 这时会发生什么情况? 类会选择使用哪一个方法? 这些问题, 我们会在接下来的一节进行讨论.
4. 解决冲突的规则
随着默认方法在 Java 8 中引入, 有可能出现一个类继承了多个方法而它们使用的却是同样的函数签名. 这种情况下, 类会选择使用哪一个函数? 接下来的例子主要用于说明容易出问题的场景, 并不表示这些场景在实际开发过程中会经常发生.
- public interface A {
- default void hello() {
- System.out.println("Hello from A");
- }
- }
- public interface B extends A {
- default void hello() {
- System.out.println("Hello from B");
- }
- }
- public class C implements A, B {
- public static void main(String[] args) {
- // 猜猜打印的是什么?
- new C().hello();
- }
- }
此外, 你可能早就对 C++ 语言中著名的菱形继承问题有所了解, 菱形继承问题中一个类同时继承了具有相同函数签名的两个方法. 到底该选择哪一个实现呢? Java 8 也提供了解决这个问题的方案. 请接着阅读下面的内容.
4.1 解决问题的三条规则
如果一个类使用相同的函数签名从多个地方 (比如另一个类或接口) 继承了方法, 通过三条规则可以进行判断.
类中的方法优先级最高. 类或父类中声明的方法的优先级高于任何声明为默认方法的优先级.
如果无法依据第一条进行判断, 那么子接口的优先级更高: 函数签名相同时, 优先选择拥有最具体实现的默认方法的接口, 即如果 B 继承了 A , 那么 B 就比 A 更加具体.
最后, 如果还是无法判断, 继承了多个接口的类必须通过显式覆盖和调用期望的方法, 显式地选择使用哪一个默认方法的实现.
4.2 菱形继承问题
image
了解即可
5. 小结
Java 8 中的接口可以通过默认方法和静态方法提供方法的代码实现.
默认方法的开头以关键字 default 修饰, 方法体与常规的类方法相同.
向发布的接口添加抽象方法不是源码兼容的.
默认方法的出现能帮助库的设计者以后向兼容的方式演进 API.
默认方法可以用于创建可选方法和行为的多继承.
我们有办法解决由于一个类从多个接口中继承了拥有相同函数签名的方法而导致的冲突.
类或者父类中声明的方法的优先级高于任何默认方法. 如果前一条无法解决冲突, 那就选择同函数签名的方法中实现得最具体的那个接口的方法.
两个默认方法都同样具体时, 你需要在类中覆盖该方法, 显式地选择使用哪个接口中提供的默认方法.
Tips
本文同步发表在公众号, 欢迎大家关注!
来源: http://www.jianshu.com/p/33f744078748