学习泛型的自动推断--疯狂java讲义第五版p365页关于

// 类型的自动推断
  // 1 通过调用方法的上下文来推断泛型的目标类型(就是通过参数类型推断的或返回值的变量类型)
   //2 调用静态泛型方法也可以传入泛型实参(Good.<String>info();

class MyUtil<E>
{
    public static <Z> Z nil2(){
        return null;
    }
    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());

//		String s = MyUtil.nil().head();//希望系统能推断出调用nil()方法类型参数为String类型,没运行显示异常
        String s = MyUtil.<String>nil().head();//改成这样正常,但运行代码报错,空指针异常,那是另一回事
    }
}