泛型通配符问题

Java code

class A1{}
class A2 extends A1{}
class A3 extends A2{}
List<? extends A1> list = new ArrayList<A1>();
list.add(new A2());//error

我无法理解为什么不能添加A1以下的类进去，这应该是安全的。

Thinking in java的中文和英文的那段话我都有看过了，但是还是无法理解其中的意思，请谁解释下好吗？ 谢谢！

The wildcard refers to the definite type, so it means "some specify type which the flist reference doesn't specify." So the List that's assigned has to be holding some specify type such as Fruit or Apple, but in order to upcast to flist, that type is a "don't actually care."

不是让你翻译成中文，中文我有，目前手头上只有英文的，所以就打英文出来了

------解决方案--------------------
<? extends A1>表示A1的子类，所以?也可能是A3，这样add(A2)就会有问题
而<A1>，那么A2，A3都是A1的子类，都可以add
------解决方案--------------------
bounded wildcard意指在一个定向范围内的一个确定类型
如果仅从wildcard来判断，是无法得知所加类型确实是在范围内的，因此被认定为不安全

我想这个bounded wildcard引入的用意是为了更灵活的使用集合元素，而不是添加
------解决方案--------------------

探讨

引用:
<? extends A1>表示A1的子类，所以?也可能是A3，这样add(A2)就会有问题
而<A1>，那么A2，A3都是A1的子类，都可以add


List<? extends A1> 是指这个list可能会变成List<A1>或List<A2>或List<A3>是吗？

我理解成了会被擦除成List<A1>，所以按理说添加A2和A3也是没问……

------解决方案--------------------
楼主要理解java中？通配符的含义：是表示可以接受此类型的任意泛型对象，指的是具体的一个而不是她的所有子类可以看下下面的两个例子的区别啊

Java code

class A1{}
class A2 extends A1{}
class A3 extends A2{}

public class Bdemo
{
    public static void main(String args[]){
        List<Number> list = new ArrayList<Number>();
        list.add(3.33f);//正确
        list.add(3);//正确
    }
}