泛型本质
Java 泛型的本质是参数化类型,泛型提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型。
案例说明
Java的方法重载一般指在同一个类中的两个同名方法,规则很简单:两个方法必须具有不同的方法签名;换句话说:就是这两个方法的参数必须不相同,使得编译器能够区分开这两个重载的方法;由于编译器不能仅仅通过方法的返回值类型来区分重载方法,所以如果两个方法只有返回类型不同,其它完全一样,编译是不能通过的。在泛型方法的重载时,这个规则稍微有一点变化,看如下代码:
public void sum(List<int> li){}
public String sum(List<String> li){}
泛型擦除
这个时候会编译器报错,由于Java的泛型采用擦除法实现,List和List在运行时是完全一样的,都是List类型。也就是,擦除后的方法签名如下:
public void sum(List li){}
public String sum(List li){}
只有返回值类型不同,这在两个普通方法的重载中是不允许的,一个类不能同时继承两个具有相同擦除类型的父类,也不能同时实现两个具有相同擦除的接口。
如有错误欢迎指正