鲜为人知的Java8特性:泛化目标类型推断

在浏览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
[ 转载请保留原文出处、译者和译文链接。]



相关文章

发表评论

Comment form

(*) 表示必填项

2 条评论

  1. zhangjg 说道:

    恩, 很好. java的语法也越来越简洁了

    Thumb up 0 Thumb down 0

  2. Eric-Guo 说道:

    这不就是Scala么。。

    Thumb up 0 Thumb down 0

跳到底部
返回顶部