不为人知的Java8特性：泛化目标类型推断

本文由 ImportNew - 彭秦进 翻译自 javacodegeeks。如需转载本文，请先参见文章末尾处的转载要求。

ImportNew注：若是你也对Java技术翻译分享感兴趣，欢迎加入咱们的 Java开发 小组。参与方式请查看小组简介。

在浏览Java8的特性列表的时候，目标类型推断这个特别有趣的、不为人知的特性一会儿吸引了我。Java语言的设计者经过它让咱们减轻了一些使用泛型时（Java5-7）的痛苦。让咱们来看看过去泛型使用的示例：

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

在上述例子，在 JEP：101中声称能够用下面的方法更好地表示：

// 建议写法：
List.cons(42, List.nil());
String s = List.nil().head();
 
// 不推荐的写法：
List.cons(42, List.<Integer>nil());
String s = List.<String>nil().head()

做为一个 熟练的API设计师，在Java路线图中看到示例中的进步着实使人激动。这些使人兴奋的变化究竟包含了什么？让我来更加详细地说明：

// 经过赋值语句推断泛型的类型
List<String> l = List.nil();
 
// 更好的办法是让编译器从函数的参数类型中直接推断
List.cons(42, List.nil());
 
// 或者从“链式调用”中推断
String s = List.nil().head();

所以在上面的链式方法调用中，会延迟到整个赋值表达式完成时才进行类型推断。经过赋值语句左边，编译器会为head()调用推断;为String。而后，再次推断nil()调用的为String。 在我看来这真的很神奇。 对nil()方法的AST计算会延迟到“关联”子节点计算时才最后完成。这是一个很棒的主意，不是吗？

是的，确实很棒！

你可能也会这么认为。由于一组流畅的API，像 jooq 或 Stream 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 String
        String s = List.nil().head();
                                  ^
1 error

从结果中能够看到，基于该方法参数的类型推断已经实现了（所以编译经过了），可是链式方法调用中的类型推断尚未实现。我在网上搜索到了一个解释，从 Stack OverFlow 问题连接到 lambda-dev开发者邮件列表中。

看来，Java类型系统已经变得至关复杂。因为太过复杂，要实现这种疯狂的类型推断变得不太现实。可是，天天编写Java 8代码的时候，即便略有改善也有重大的价值。

最后，但愿在Java 9中会有val和 var 这样的关键字，与其余语言同样。

原文连接： javacodegeeks 翻译： ImportNew.com - 彭秦进
译文连接： http://www.importnew.com/8301.html
[ 转载请保留原文出处、译者和译文连接。]