遍歷Java 8功能列表 ， 廣義目標類型推斷使我震驚，因為它是一個特別有趣，鮮為人知的瑰寶。 看起來Java語言設計人員將減輕過去使用泛型（Java 5-7）時遇到的某些痛苦。 讓我們看看他們的例子：

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

給定以上示例，JEP 101功能聲稱能夠編寫以下代碼會很好：

// This: List.cons(42, List.nil()); String s = List.nil().head();// ... instead of this: List.cons(42, List.<Integer>nil()); String s = List.<String>nil().head();

我自己是一名流利的API設計人員 ，我很高興看到這樣的改進正在路線圖上，尤其是后者。 這些變化有什么激動人心的？ 讓我更詳細地評論一下：

// In addition to inferring generic types from // assignments List<String> l = List.nil();// ... it would be nice for the compiler to be able // to infer types from method argument types List.cons(42, List.nil());// ... or from "subsequent" method calls String s = List.nil().head();

因此，在方法被鏈接的最后一個示例中，類型推斷將被延遲，直到整個賦值表達式都已求值。 從賦值的左側，編譯器可以推斷<Z>綁定到head()調用上的String 。 然后可以再次使用此信息來推斷<Z>在nil()調用中再次綁定到String 。

對我來說，這聽起來像是很麻煩的事，因為需要延遲nil()調用的AST評估，直到評估“依賴”子AST為止。 這是一個好主意嗎？

是的，這太棒了！

……你可能會想。 因為可以使用更加流暢的樣式來設計流暢的API，例如jOOQ或Streams API，所以將類型推斷推遲到調用鏈的末尾。

因此，我下載了JDK 8的最新評估版，以使用以下程序對此進行測試：

public class InferenceTest {public static void main(String[] args) {List<String> ls = List.nil();List.cons(42, List.nil());String s = List.nil().head();} }

我編譯了這個，然后得到了：

C:\Users\Lukas\java8>javac InferenceTest.java InferenceTest.java:5: error: incompatible types: Object cannot be converted to StringString s = List.nil().head();^ 1 error

因此，實現了基于方法參數類型的類型推斷（并因此進行了編譯），但沒有實現鏈式方法調用的類型推斷。 我在互聯網上搜索了一個解釋，發現此Stack Overflow問題鏈接到了lambda-dev郵件列表上的這個有趣的線程 。

看來Java類型系統已經變得相當復雜。 太復雜，無法實現這種瘋狂的類型推斷。 但是，仍然需要進行一些細微的改進，這在每天編寫Java 8代碼時將非常有價值。

也許在Java 9中，我們將像其他所有人一樣獲得val和var ！

參考： 鮮為人知的Java 8功能：來自我們的JCG合作伙伴 Lukas Eder在JAVA，SQL和JOOQ博客上的廣義目標類型推斷 。

翻譯自: https://www.javacodegeeks.com/2013/11/a-lesser-known-java-8-feature-generalized-target-type-inference.html

總結

以上是生活随笔為你收集整理的鲜为人知的Java 8功能：广义目标类型推断的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。