遍歷Java 8功能列表 ， 廣義目標(biāo)類型推斷使我震驚，因?yàn)樗且粋€(gè)特別有趣，鮮為人知的瑰寶。 看起來Java語言設(shè)計(jì)人員將減輕過去使用泛型（Java 5-7）時(shí)遇到的某些痛苦。 讓我們看看他們的例子：

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設(shè)計(jì)人員 ，我很高興看到這樣的改進(jìn)正在路線圖上，尤其是后者。 這些變化有什么激動人心的？ 讓我更詳細(xì)地評論一下：

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

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

對我來說，這聽起來像是很麻煩的事，因?yàn)樾枰舆tnil()調(diào)用的AST評估，直到評估“依賴”子AST為止。 這是一個(gè)好主意嗎？

是的，這太棒了！

……你可能會想。 因?yàn)榭梢允褂酶恿鲿车臉邮絹碓O(shè)計(jì)流暢的API，例如jOOQ或Streams API，所以將類型推斷推遲到調(diào)用鏈的末尾。

因此，我下載了JDK 8的最新評估版，以使用以下程序?qū)Υ诉M(jìn)行測試：

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

我編譯了這個(gè)，然后得到了：

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

因此，實(shí)現(xiàn)了基于方法參數(shù)類型的類型推斷（并因此進(jìn)行了編譯），但沒有實(shí)現(xiàn)鏈?zhǔn)椒椒ㄕ{(diào)用的類型推斷。 我在互聯(lián)網(wǎng)上搜索了一個(gè)解釋，發(fā)現(xiàn)此Stack Overflow問題鏈接到了lambda-dev郵件列表上的這個(gè)有趣的線程 。

看來Java類型系統(tǒng)已經(jīng)變得相當(dāng)復(fù)雜。 太復(fù)雜，無法實(shí)現(xiàn)這種瘋狂的類型推斷。 但是，仍然需要進(jìn)行一些細(xì)微的改進(jìn)，這在每天編寫Java 8代碼時(shí)將非常有價(jià)值。

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

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

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

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。