覆盖与重载(一)：泛型能决定方法宗量吗？

我们知道，方法的覆盖与重载都是由方法的签名决定的，而不同类型的泛型变量不仅差异明显，且不能相互转换，那么泛型的类型是否能决定方法的宗量呢？

声明如下的接口，试图利用泛型的差异实现重载：

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>)

这不是很矛盾吗？既然能检测出它们之间的差异，却又将它们定义为相同的方法宗量。

这是因为虚拟机都是编译期对泛型进行检验，编译完成后泛型的类型信息就会抹除，所以在实际调用时只是泛型的类型不一致，最后就会导致出现两个一模一样的方法，所以必然就会出错了。