方法具有与另一种方法相同的擦除

为什么在同一类中使用以下两种方法是不合法的？

class Test{
   void add(Set<Integer> ii){}
   void add(Set<String> ss){}
}

我得到了 compilation error

方法add（Set）与类型Test中的另一个方法具有相同的擦除add（Set）。

虽然我可以解决它，但我想知道为什么javac不喜欢这样。

我可以看到，在很多情况下，这两种方法的逻辑非常相似，可以用一个方法代替

public void add(Set<?> set){}

方法，但并非总是如此。

如果您想让两个带有constructors这些参数，这会特别令人讨厌，因为那样您就不能只更改其中一个的名称constructors。

该规则旨在避免仍使用原始类型的旧代码中的冲突。

这是从JLS得出的为什么不允许这样做的说明。假设在将泛型引入Java之前，我编写了一些如下代码：

class CollectionConverter {
  List toList(Collection c) {...}
}

您可以像这样扩展我的课程：

class Overrider extends CollectionConverter{
  List toList(Collection c) {...}
}

引入泛型之后，我决定更新我的库。

class CollectionConverter {
  <T> List<T> toList(Collection<T> c) {...}
}

您还没有准备好进行任何更新，因此您不理会Overrider课程。为了正确覆盖toList()方法，语言设计人员认为原始类型对于任何泛型类型都是“重写等效”的。这意味着，尽管您的方法签名在形式上不再与我的超类的签名相同，但您的方法仍会被覆盖。

现在，时间流逝，您决定准备好上课了。但是您花了一点时间，而不是编辑现有的原始toList()方法，而是添加了一个新方法，如下所示：

class Overrider extends CollectionConverter {
  @Override
  List toList(Collection c) {...}
  @Override
  <T> List<T> toList(Collection<T> c) {...}
}

由于原始类型的覆盖等效性，这两种方法都具有有效的形式来覆盖该toList(Collection<T>)方法。但是，当然，编译器需要解析一个方法。为了消除这种歧义，不允许类具有多个等效的方法-即，擦除后具有相同参数类型的多个方法。

关键是这是一种语言规则，旨在维护使用原始类型与旧代码的兼容性。这不是擦除类型参数所要求的限制；因为方法解析是在编译时发生的，所以将泛型添加到方法标识符中就足够了。

Java泛型使用类型擦除。尖括号（<Integer>和<String>）中的位将被删除，因此您最终会遇到两种具有相同签名的方法（add(Set)您在错误中看到的）。不允许这样做，因为运行时不知道在每种情况下都使用哪个。

如果Java曾经获得过泛化的泛型，那么您可以这样做，但是现在不太可能。

这是因为Java泛型是使用Type Erasure实现的。

您的方法将在编译时转换为以下内容：

方法解析发生在编译时，并且不考虑类型参数。（请参阅埃里克森的答案）

void add(Set ii);
void add(Set ss);

两种方法都具有相同的签名，但没有类型参数，因此会出现错误。

问题是，Set<Integer>和Set<String>实际的处理Set从JVM。选择Set的类型（在您的情况下为String或Integer）仅是编译器使用的语法糖。JVM无法区分Set<String>和Set<Integer>。

定义一个没有类型的方法 void add(Set ii){}

您可以根据自己的选择在调用方法时提及类型。它适用于任何类型的套装。

编译器可能会用Java字节码将Set（Integer）转换为Set（Object）。在这种情况下，Set（Integer）仅在编译阶段用于语法检查。

我碰上这个时候试着写类似： Continuable<T> callAsync(Callable<T> code) {....} 和 Continuable<Continuable<T>> callAsync(Callable<Continuable<T>> veryAsyncCode) {...} 他们成为了编译器的定义2 Continuable<> callAsync(Callable<> veryAsyncCode) {...}

从字面上看，类型擦除意味着从泛型中擦除类型参数信息。这非常烦人，但这是Java会在一段时间内受到的限制。对于构造函数而言，可以做的事情不多，例如2个专门在构造函数中使用不同参数的新子类。或改用初始化方法...（虚拟构造函数？）使用不同的名称...

对于类似的操作方法，重命名会有所帮助，例如

class Test{
   void addIntegers(Set<Integer> ii){}
   void addStrings(Set<String> ss){}
}

或者用一些描述性的名称，自我记录的奥尤情况下，如addNames和addIndexes或这样的。