Java泛型：通配符捕获误解

Question

阅读Java在线教程，我对通配符捕获一无所知。例如：

    import java.util.List;
    public class WildcardError {
     void foo(List<?> i) {
      i.set(0, i.get(0));
     }
    }

为什么编译器无法保留分配的安全性？它知道，例如，通过执行带有整数列表的方法，它可以从i.get中获取一个整数值。因此，它尝试将索引0处的Integer值设置为相同的Integer列表（i）。那么，怎么了？为什么要编写通配符助手？

Answer 1

为什么编译器无法保留分配的安全性？

编译器不知道 任何 关于类型中的元素List<?> i通过定义?。通配符并 不会 意味着“任何类型;” 它的意思是“某种未知类型”。

它知道，例如，通过执行带有整数列表的方法，它可以从i.get中获取一个整数值。

没错，但是正如我上面所说：编译器 只能 在 编译时 知道–会i.get(0)返回an
Object，这是的上限?。但是，没有任何保证，?是 在运行时 Object，所以没有办法让编译器知道i.set(0, i.get(0))是安全的呼叫。就像这样写：

List<Foo> fooz = /* init */;
Object foo = fooz.get(0);
fooz.set(0, foo); // won't compile because foo is an object, not a Foo