我们知道,方法的覆盖与重载都是由方法的签名决定的,而不同类型的泛型变量不仅差异明显,且不能相互转换,那么泛型的类型是否能决定方法的宗量呢?
声明如下的接口,试图利用泛型的差异实现重载:
public interface PrintService {
void print(List<String> names);
void print(List<Integer> names);
}
但编译器直接提示错误(方法的签名定义一致错误):
Erasure of method print(List<String>)
is the same as another method in type PrintService
说明泛型的类型并不能决定方法的宗量。
但在实践中,调用方法时,参数却又强制要求满足泛型的类型,否则又会提示如下错误:
The method print(Set<String>) in the type Parent
is not applicable for the arguments (Set<Object>)
这不是很矛盾吗?既然能检测出它们之间的差异,却又将它们定义为相同的方法宗量。
这是因为虚拟机都是编译期对泛型进行检验,编译完成后泛型的类型信息就会抹除,所以在实际调用时只是泛型的类型不一致,最后就会导致出现两个一模一样的方法,所以必然就会出错了。