学习泛型的自动推断--疯狂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();//改成这样正常,但运行代码报错,空指针异常,那是另一回事
}
}