java - 删除集合泛型和冲突的重载

Question

我有一个相当核心的类负责一些实用程序方法。我想为声明如下的方法提供额外的重载:

public static void removeDuplicated(Collection fullList, Collection itemsToRemove) {
   //implementation stripped for brevity
}

现在因为我不太喜欢 Rawtypes，所以我将集合指定为我可以期望的最小公分母:

public static void removeDuplicated(Collection<Map<?,?>> fullList,
     Collection<Map<?,?>> itemsToRemove) {}

到目前为止一切顺利，这摆脱了 rawtypes 警告，到目前为止一切都很好。

我开始为我的重载编写方法头:

public static <T extends TeObjectWrapper> void removeDuplicated(
     Collection<T> fullList, Collection<Map<?,?>> itemsToRemove) {}

这是 eclipse(随后通过 ant 使用 javac6 编译)给我以下错误消息:

Erasure of method removeDuplicated(Collection<T>, Collection<? extends Map<?,?>>) is the same as another method in type [Utilites-Class]

既然我已经遇到了通配符泛型及其删除的问题，我试图通过用 Object 替换未绑定(bind)的通配符来完全指定事情。 .错误消息仍然存在。

现在根据我的理解，第一个现有的重载应该删除为 Collection<Map<Object, Object>>第二个应该删除到Collection<TeObjectWrapper> .

如果 TeObjectWrapper 实现了 Map(或扩展了 Map 的实现类之一)，那么这些可能是相同删除的唯一方法，但事实并非如此。这可以在 TeObjectWrapper 的父类(super class)型层次结构中看到:

为什么编译器认为删除是相同的，我怎样才能让他不这么认为？

Answer 1

它们都删除为 public static void removeDuplicated(Collection, Collection)。整个参数化被删除。您需要为它们指定不同的名称。

来自 4.6. Type Erasure :

Type erasure is a mapping [...] to types (that are never parameterized types or type variables).

Type erasure also maps the signature of a constructor or method to a signature that has no parameterized types or type variables.

删除意味着:所有通用的东西都消失了。

(但是，作为一个有趣的旁注，通用信息是 present in the class file。重载规则是由于 Java 规范的给出方式，不一定是因为它在技术上不可行. 它更像是一种向后兼容的东西，允许遗留的非泛型类覆盖泛型方法。如果在该语言的 future 版本中删除了原始类型，则可以允许这样的重载。)