我在看Java Generics documentation，发现了这段代码，
public class WildcardError {
void foo(List<?> l) {
//This give a compile time error
l.set(0,l.get(0));
}
}
我可以理解我们正在从 List<?> 获取一个元素并尝试将其设置为另一个 List<?>。所以编译器会报错。我的问题是当两个列表不同时有意义，即l.set(0, m.get(0)) 这里列表l 和m 不同。但是在上面的例子中，l 和l 是同一个列表。为什么编译器不够聪明，看不到这一点？实施起来难吗？
编辑：
我知道我可以通过辅助方法或使用T 而不是? 来修复它。只是想知道为什么编译器不为我做。
【问题讨论】：
在您的具体情况下，您可以明确解决此问题：
public class WildcardError {
<T> void foo(List<T> l) {
// This will work
l.set(0, l.get(0));
}
}
或者如果您不想更改原始 API，请引入委托辅助方法：
public class WildcardError {
void foo(List<?> l) {
foo0(l);
}
private <T> void foo0(List<T> l) {
// This will work
l.set(0, l.get(0));
}
}
不幸的是，编译器无法推断出“明显的”<T> 类型。我也一直在想。这似乎是可以在编译器中改进的东西，因为每个通配符都可以非正式地转换为未知的 <T> 类型。可能，这被省略是有一些原因的，也许这只是直觉，但形式上是不可能的。
更新：
注意，我刚刚看到Collections.swap() 的这种特殊实现：
public static void swap(List<?> list, int i, int j) {
final List l = list;
l.set(i, l.set(j, l.get(i)));
}
JDK 人员使用原始类型来在本地处理这个问题。这是一个强有力的声明，表明编译器可能应该支持这一点，但由于某种原因（例如，没有时间正式指定这一点）并没有完成
编译器报告错误是因为它无法（通常）判断两个表达式（在本例中为 l 和 l）是否引用同一个列表。
相关的，有点笼统的问题：
【讨论】：
l 中的两个通配符在形式上是相同的。至少凭直觉……但可能在更复杂的代码中，识别“相同”的通配符会变得更加困难
List<?> 表示列表包含某种未知类型的元素，所以当你想使用list.get(i) 从中获取元素时，它会返回某种未知类型的对象 ，所以唯一有效的猜测是Object。然后当尝试使用list.set(index, list.get(index)) 设置元素时，它会产生编译时错误，因为如上所述List<?> 只能包含一些未知类型，所以将Object 放入它可能会导致@ 987654328@.
这在 Joshua Bloch 的 Effective Java, 2nd ed., Item 28: Use bounded wildcards to increase API灵活性中得到了很好的解释
这也称为PECS原理，可以在这个Q/A中找到很好的解释：
What is PECS (Producer Extends Consumer Super)?（请注意，List<?> 与 List<? extends Object> 相同，但有小例外）
通俗地说，应该使用List<?> 作为方法参数，仅用于在该方法中获取元素，而不是在需要将元素 放入列表时。当一个人需要 put 和 get 时，他/她需要使用类型参数 T 来泛化方法，如 Lukas Eder 的回答（类型安全的方式）或简单地使用 List<Object>（不是类型 -安全的方式）。
【讨论】：