@Mexion 这个其实是个很有价值的问题，说句冒犯的话，我相信现在越来越多的 Java 程序员当问到他这个话题时，都能说出协变、逆变、PECS 原则等名词，但是继续深入追问下去就会发现开始难以自圆其说了，在这里我根据自己的理解，争取能够一次性把这个问题说清楚
1. 首先回答你主题里的疑问，首先你的疑问来自于一个误解，List<？ extends Animal>并不是用来约束里面元素类型的，而是用来约束 List 本身的，只要这个弯转过来那主题里的疑问以及其他类型的疑问都一并迎刃而解了，为什么说这是个误解，有个很简单的证据，你直接写个 List<Animal>，里面一样是可以存 Animal 及其子类的，所以 List<? extends Animal>绝对不是表示这个 list 可以存 Animal 及其子类的意思，到底表示什么下面展开讲
2. 首先简单回顾一点预备知识，在绝大多数的 OO 语言里，类的继承关系都是表示 is-a 的关系，简单地说就是如果 B is-a A，那么在所有期望一个 A 的地方(包括方法参数，变量等)，都可以提供一个 B，并且不需要任何的显示类型转换，这就是为什么可以写 List l = new ArrayList();的原因，对于简单类型，判断 is-a 很简单，只要二者在一条继承关系的链上，就能定义 is-a 关系，但是引入泛型后，问题就开始变得有点复杂了，List<Animal>和 List<Dog>之间的 is-a 关系是怎么样的呢？结论是不具有 is-a 关系，List<Animal> is-a List<Dog>不成立看起来是显然的，但是反过来似乎就有点反直觉了，这就涉及到下面要讲的几个概念
3. 关于不变(invariant)、协变(covariant)、逆变(contravariant)，首先声明，虽然这里使用 Java 语言举例，但是这几个概念在几乎所有支持泛型的 OO 语言里都存在，事实上这几个概念在存在计算机语言之前就已经存在了，是范畴论里的几个概念，下面以 Java 为例说下分别是什么意思，前面说了，List<Animal>和 List<Dog>之间不存在 is-a 关系，这就叫做不变(invariant)，但是有的时候，我们需要让它们之间存在 is-a 关系，这就要通过一些关键字来人为指定下面两种关系，假设规定 List<Dog> is-a List<Animal>，这种关系就叫做协变(covariant)，因为 List 之间的 is-a 关系和 Animal 及 Dog 之间的 is-a 关系方向是一致的，反之，如果规定 List<Animal> is-a List<Dog>，这种关系就叫做逆变(contravariant)，因为 List 之间的 is-a 关系和 Animal 及 Dog 之间的 is-a 关系方向是相反的，各种语言里都会有一些标识来定义协变及逆变，例如 c#用 in/out，scala 用+/-，而 Java 就是用的 extends 和 super，简单说 List<? extends Animal>实际表示的是，对于这个变量，可以接受 List<Animal>，也可以接受 List<Dog>、List<Cat>等，反之，如果定义 List<? super Animal>，那么表示这个变量可以接受 List<Animal>、List<Object>等，这就是我在开头说的，当定义一个变量 List<? extends Animal> l 时，这里的 extends 并不是约束“l 里可以存什么”，而是约束“什么样的 List 能够赋值给 l”
4. 相信到这里题主应该已经能够自己想通问题出在哪了，但是我还是顺便展开说一说 PECS 原则，PECS 原则确实是个帮助记忆的好东西，但是真正合格的程序员应该主动多思考一下，PECS 里是用 List 举例的，但是泛型类并不一定都是个容器，对于非容器类型的泛型类，到底什么算 produce 什么算 consume，其实，所谓的 produce 和 consume 是人逻辑上的概念，编译器肯定不认识啊，所以 PECS 的本质其实指的是这个类型边界出现在方法参数上还是出现在返回值里，下面举个例子，假如我们写了一个方法，作用是将一个 list 里的元素取出来进行某种操作然后放到另一个 list 里，为什么方法签名必须定义成这个样子
void map(List<? extends Animal> source, List<? super Animal> target)
首先，对于 source，我们可能会进行这样的操作
Animal a = source.get(0);
这就要求传给 source 的 list 必须满足“能够从中取出 Animal”这个条件(当然，从编译器的角度，应该是“可以调用返回类型为 Animal 的方法”)，因此当在调用 map 时，可以给 source 参数传 List<Animal>、List<Dog>、List<Cat>都是合法的，但是不能传 List<Object>
而对于参数 target，我们可能进行这样的操作
target.add(a);
这就要求传给 target 的 list 必须满足“能够往里添加 Animal”这个条件(当然，从编译器的角度，应该是“可以调用参数为 Animal 的方法”)，因此当在调用 map 时，可以给 target 参数传 List<Animal>，List<Object>都是合法的，假设 target 能够接受 List<Dog>，而在 map 方法体内部往里放了个 Animal，这显然是不合理的

一不小心写了这么多，最后放个太长不看版吧，一句话，对于 List<? extends Animal> l 和 List<? super Animal>，泛型边界并不是表示 l 里能够存什么，而是表示 l 能够接受什么样的 list