前言

Java8是Oracle于2014年3月發(fā)布的一個(gè)重要版本，其API在現(xiàn)存的接口上引入了非常多的新方法。

例如，Java8的List接口新增了sort方法。在Java8之前，則每個(gè)實(shí)現(xiàn)了List接口的類必須定義sort方法的實(shí)現(xiàn)，或者從父類中繼承它的實(shí)現(xiàn)。想象一下，如果List接口的繼承體系非常龐雜，那么整個(gè)集合框架的維護(hù)量有多么大！

為此，在Java8中引入了一種新的機(jī)制：接口支持申明帶實(shí)現(xiàn)的方法。

默認(rèn)方法

前文提到了Java8中List接口新增了sort方法，其源碼如下：

public interface List<E> extends Collection<E> {
 
 // ...其他成員
  
 default void sort(Comparator<? super E> c) {
  ...
  ...
 }
}

可以看到，這個(gè)新增的sort方法有方法體，由default修飾符修飾，這就是接口的默認(rèn)方法。

很顯然，默認(rèn)方法不是static的，所以必須由接口的實(shí)現(xiàn)類的實(shí)例來調(diào)用這些默認(rèn)方法。

下面自定義一個(gè)接口，練習(xí)使用默認(rèn)方法。

public interface Sized {
 // 普通抽象方法，默認(rèn)是public abstract修飾的，沒有方法體
 int size();

 /*
  * 默認(rèn)方法，有方法體
  * 任何一個(gè)實(shí)現(xiàn)了Sized接口的類都會(huì)向動(dòng)繼承isEmpty的實(shí)現(xiàn)
  */
 default boolean isEmpty() {
  return this.size() == 0;
 }
}

其實(shí)，隨著JDK版本的不斷升級(jí)，API在不斷演進(jìn)，默認(rèn)方法在Java8的API中已經(jīng)大量地使用了，上面List接口中的sort方法就是其中一個(gè)。

和抽象類的區(qū)別

有同學(xué)可能發(fā)現(xiàn)了，Java8中加入了默認(rèn)方法的接口，這不就是以前的抽象類嗎？其實(shí)，兩者還是有區(qū)別的。

• 一個(gè)類只能繼承一個(gè)抽象類；但是一個(gè)類可以實(shí)現(xiàn)多個(gè)接口。
• 抽象類有實(shí)例變量，而接口只能有類變量

解決沖突

我們知道Java語言中一個(gè)類只能繼承一個(gè)父類，但是一個(gè)類可以實(shí)現(xiàn)多個(gè)接口。隨著默認(rèn)方法在Java8中的引入，有可能出現(xiàn)一個(gè)類繼承了多個(gè)簽名一樣的方法。這種情況下，類會(huì)選擇使用哪一個(gè)函數(shù)呢？

為解決這種多繼承關(guān)系，Java8提供了下面三條規(guī)則：

• 類中的方法優(yōu)先級(jí)最高，類或父類中聲明的方法的優(yōu)先級(jí)高于任何聲明為默認(rèn)方法的優(yōu)先級(jí)。
• 如果第一條無法判斷，那么子接口的優(yōu)先級(jí)更高：方法簽名相同時(shí)，優(yōu)先選擇擁有最具體實(shí)現(xiàn)的默認(rèn)方法的接口， 即如果B繼承了A，那么B就比A更加具體。
• 最后，如果還是無法判斷，繼承了多個(gè)接口的類必須通過顯式覆蓋和調(diào)用期望的方法， 顯式地選擇使用哪一個(gè)默認(rèn)方法的實(shí)現(xiàn)

讓我們一起看幾個(gè)例子 。

場(chǎng)景1：

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();
 }
}

如圖1，是這個(gè)場(chǎng)景的UML圖。

我們對(duì)照上面三條規(guī)則來看，類C中main()方法會(huì)輸出什么？

1. 規(guī)則(1))不滿足。
2. 因?yàn)锽繼承了A，所以B比A更具體，所以應(yīng)該選擇B的hello()方法。所以，程序會(huì)打印輸出"hello from B"。

場(chǎng)景2：

如果C像下面這樣繼承了D，會(huì)怎么樣？

public class D implements A {

}

public class C extends D implements A, B {
 public static void main(String[] args) {
  new C().hello();
 }
}

如圖2，是這個(gè)場(chǎng)景的UML圖。

同樣，我們對(duì)照著三條規(guī)則來看：

1. C雖然繼承了D，但D中未覆蓋A的默認(rèn)方法。
2. 接著，編譯器會(huì)在A和B中做選擇，由于B更具體，所以，程序會(huì)打印輸出"hello from B"。

場(chǎng)景3：

將上面的D稍作修改：

public class D implements A {
 public void hello() {
  System.out.println("hello from D");
 }
}

結(jié)果又如何？

由于依據(jù)規(guī)則(1)，父類中聲明的方法具有更高的優(yōu)先級(jí)，所以程序會(huì)打印輸出"hello from D"。

場(chǎng)景4：

假設(shè)現(xiàn)在B不在繼承A：

public interface A {
  default void hello() {
    System.out.println("hello from A");
  }
}

public interface B {
  default void hello() {
    System.out.println("hello from B");
  }
}

public class C implements A, B {
  public static void main(String[] args) {
    new C().hello();
  }
}

如圖3，是這個(gè)場(chǎng)景的UML圖。

此時(shí)，由于編譯器無法識(shí)別A還是B的實(shí)現(xiàn)更加具體，所以會(huì)拋出編譯錯(cuò)誤：”C inherits unrelated defaults for hello() from types A and B“。

像這種場(chǎng)景要解決沖突，可以在C中覆蓋hello()方法并在方法內(nèi)顯示的選擇調(diào)用A還是B的方法。

調(diào)用方式如下：

public class C extends D implements A, B {
  public void hello() {
    // 顯式地選擇調(diào)用接口B中的方法
    // 同理，要調(diào)用接口A中的方法，可以這樣：A.super.hello()
    B.super.hello();
  }

  public static void main(String[] args) {
    // 輸出 hello from B
    new C().hello();
  }
}

場(chǎng)景5：

public interface A {
  default void hello() {
    System.out.println("hello from A");
  }
}

public interface B extends A{

}

public interface C extends A{

}

public class D implements B, C {
  public void hello() {
    new D().hello();
  }
}

此時(shí)，只有一個(gè)方法申明可以選擇，所以程序會(huì)輸出"hello from A"。

總結(jié)

以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論