Java 通配符通用问题：编译器为同一对象假设不同类型

Question

我有一个与 JAVA 通配符和泛型相关的问题。我不想发布自己的复杂代码，所以我将使用 Collection 接口进行演示：

Collection<String> stringCollection = new HashSet<String>();
stringCollection.add("1");
stringCollection.add("2");
stringCollection.add(stringCollection.iterator().next());

在这里，最后一行是没有问题的。 add() 需要一个字符串，next() 返回一个字符串。

但是：

Collection<?> anyCollection = stringCollection;
anyCollection.add(anyCollection.iterator().next());

使用通配符，Eclipse 告诉我错误

Collection 类型中的方法 add(capture#19-of ?) 不适用于参数 (capture#20-of ?)

但为什么呢？我需要使用通配符集合。不知何故，Eclipse 不明白 next() 绝对必须返回一个完全符合 add() 所需类型的对象。

有什么办法可以解决这个问题而不出现错误吗？当然，转换为 (capture#20-of ?) 是行不通的。

Answer 1

除了 null 之外，您不能向 Collection 添加任何内容。是的，您知道集合中已有的任何元素都应该能够添加到集合中，但类型并不反映这一点。 和 。您能说明为什么需要使用通配符而不是 Collection 吗？

（我假设您知道这一点，但在您的示例中，您的集合是一个Set，因此，添加其中已有的任何元素将不会执行任何操作。）

编辑：

从您的评论，在我看来，您不需要通配符，而只是一个通用方法：

public <T extends PersistenceObject> void doSomething(Dao<T> dao) {
  T o = dao.createNew();
  // ...
  dao.save(o);
}

对于想要将 Collection 的第一个元素重新添加到其中的方法来说也是如此：

public <E> boolean reAddFirst(Collection<E> collection) {
  return collection.add(collection.iterator().next());
}

具体类型参数（而不是通配符）告诉编译器从对象检索的类型与对象期望传递给其方法的类型相同。

Answer 2

您不能将字符串对象添加到 Collection 类型的集合中，因为 Collection 类型本身意味着您不知道集合的类型，因此编译器不允许您可以在其中添加任意类型。

解决此问题的一种方法是像这样进行转换：

    Collection<?> c = new HashSet<String>();
    Collection strCol = (Collection<String>)c;
    strCol.add("Suraj");

Answer 3

制作对象的anyCollection集合

Collection<Object> anyCollection = stringCollection;

这应该可以工作