Java 8新特性探究（六）泛型的目標類型推斷

簡單理解泛型

泛型是Java SE 1.5的新特性，泛型的本質是參數化類型，也就是說所操做的數據類型被指定爲一個參數。通俗點將就是「類型的變量」。這種類型變量能夠用在類、接口和方法的建立中。

理解Java泛型最簡單的方法是把它當作一種便捷語法，能節省你某些Java類型轉換(casting)上的操做：

List<Apple> box = new ArrayList<Apple>();box.add(new Apple());Apple apple =box.get(0);

上面的代碼自身已表達的很清楚：box是一個裝有Apple對象的List。get方法返回一個Apple對象實例，這個過程不須要進行類型轉換。沒有泛型，上面的代碼須要寫成這樣：

Apple apple = (Apple)box.get(0);

泛型的尷尬

泛型的最大優勢是提供了程序的類型安全同時能夠向後兼容，但也有尷尬的地方，就是每次定義時都要寫明泛型的類型，這樣顯示指定不只感受有些冗長，最主要是不少程序員不熟悉泛型，所以不少時候不可以給出正確的類型參數，如今經過編譯器自動推斷泛型的參數類型，可以減小這樣的狀況，並提升代碼可讀性。

java7的泛型類型推斷改進

在之前的版本中使用泛型類型，須要在聲明並賦值的時候，兩側都加上泛型類型。例如：

Map<String, String> myMap = new HashMap<String, String>();

你可能以爲:老子在聲明變量的的時候已經指明瞭參數類型，爲毛還要在初始化對象時再指定？幸虧，在Java SE 7中，這種方式得以改進，如今你可使用以下語句進行聲明並賦值：

Map<String, String> myMap = new HashMap<>(); //注意後面的"<>"

在這條語句中，編譯器會根據變量聲明時的泛型類型自動推斷出實例化HashMap時的泛型類型。再次提醒必定要注意new HashMap後面的「<>」，只有加上這個「<>」才表示是自動類型推斷，不然就是非泛型類型的HashMap，而且在使用編譯器編譯源代碼時會給出一個警告提示。

可是：Java SE 7在建立泛型實例時的類型推斷是有限制的：只有構造器的參數化類型在上下文中被顯著的聲明瞭，纔可使用類型推斷，不然不行。例如：下面的例子在java 7沒法正確編譯（但如今在java8裏面能夠編譯，由於根據方法參數來自動推斷泛型的類型）：

List<String> list = new ArrayList<>();
list.add("A");// 因爲addAll指望得到Collection<? extends String>類型的參數，所以下面的語句沒法經過
list.addAll(new ArrayList<>());

Java8的泛型類型推斷改進

java8裏面泛型的目標類型推斷主要2個：

1.支持經過方法上下文推斷泛型目標類型

2.支持在方法調用鏈路當中，泛型類型推斷傳遞到最後一個方法

讓咱們看看官網的例子

class List<E> {
   static <Z> List<Z> nil() { ... };
   static <Z> List<Z> cons(Z head, List<Z> tail) { ... };
   E head() { ... }
}

   根據JEP101的特性，咱們在調用上面方法的時候能夠這樣寫

//經過方法賦值的目標參數來自動推斷泛型的類型
List<String> l = List.nil();
//而不是顯示的指定類型
//List<String> l = List.<String>nil();
//經過前面方法參數類型推斷泛型的類型
List.cons(42, List.nil());
//而不是顯示的指定類型
//List.cons(42, List.<Integer>nil());

總結

以上是JEP101的特性內容了，Java做爲靜態語言的表明者，能夠說類型系統至關豐富。致使類型間互相轉換的問題困擾着每一個java程序員，經過編譯器自動推斷類型的東西能夠稍微緩解一下類型轉換太複雜的問題。 雖說是小進步，但對於咱們每天寫代碼的程序員，確定能帶來巨大的做用，至少心情更愉悅了~~說不定在java 9裏面，咱們會獲得一個通用的類型var，像js或者scala的一些動態語言那樣^_^