1、Java8 特性：泛化目标类型推断ImportNew 注：如果你也对 Java 技术翻译分享感兴趣，欢迎加入我们的 Java 开发 小组。参与方式请查看 小组 简介。在浏览 Java8 的特性列表的时候，目标类型推断这个特别有趣的、鲜为人知的特性一下子吸引了我。Java 语言的设计者通过它让我们减轻了一些使用泛型时（Java5-7）的痛苦。让我们来看看过去泛型使用的示例：12345class List static List nil() static List cons(Z head, List tail) E head() 在上述例子，在 JEP：101 中声称可以用下面的方法更好地表示：1
2、234567/ 建议写法：List.cons(42, List.nil();String s = List.nil().head();/ 不推荐的写法：List.cons(42, List.nil();String s = List.nil().head();作为一个 熟练的 API 设计师，在 Java 路线图中看到示例中的进步着实令人激动。这些令人兴奋的变化究竟包含了什么？让我来更加详细地说明：12345678/ 通过赋值语句推断泛型的类型List l = List.nil();/ 更好的办法是让编译器从函数的参数类型中直接推断List.cons(42, List.nil();/ 或者从“
3、链式调用” 中推断String s = List.nil().head();因此在上面的链式方法调用中，会延迟到整个赋值表达式完成时才进行类型推断。通过赋值语句左边，编译器会为 head()调用推断; 为 String。然后，再次推断 nil()调用的为String 。 在我看来这真的很神奇。 对 nil() 方法的 AST 计算会延迟到“关联”子节点计算时才最后完成。这是一个很棒的主意，不是吗？是的，确实很棒！你可能也会这么认为。因为一组流畅的 API，像 jooq 或 Stream API 在设计时会考虑到这种调用的流畅性，在链式调用的最后才进行类型推断。为此，我下载了最新的 JDK 8
4、评估版本测试下面的程序：1234567public class InferenceTest public static void main(String args) List ls = List.nil();List.cons(42, List.nil();String s = List.nil().head();以下是得到的编译结果：123456C:UsersLukasjava8javac InferenceTest.javaInferenceTest.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 这样的关键字，与其他语言一样。
