Java 8改进的类型推断

一 点睛

Java8改进了泛型方法的类型推断能力，类型推断主要有如下两个方面。

可通过调用方法的上下文来推断类型参数的目标类型。

可在方法调用链中，将推断得到的类型参数传递到最后一个方法。

二 代码

class MyUtil<E>
{
   public static <Z> MyUtil<Z> nil()
   {
      return null;
   }
   public static <Z> MyUtil<Z> cons(Z head, MyUtil<Z> tail)
   {
      return null;
   }
   E head()
   {
      return null;
   }
}
public class InferenceTest
{
   public static void main(String[] args)
   {
      // 可以通过方法赋值的目标参数来推断类型参数为String
      MyUtil<String> ls = MyUtil.nil();
      // 无需使用下面语句在调用nil()方法时指定类型参数的类型
      MyUtil<String> mu = MyUtil.<String>nil();
      // 可调用cons方法所需的参数类型来推断类型参数为Integer
      MyUtil.cons(42, MyUtil.nil());
      // 无需使用下面语句在调用nil()方法时指定类型参数的类型
      MyUtil.cons(42, MyUtil.<Integer>nil());

      // 希望系统能推断出调用nil()方法类型参数为String类型，
      // 但实际上Java 8依然推断不出来，所以下面代码报错
//    String s = MyUtil.nil().head();
      //String s = MyUtil.<String>nil().head();
   }
}