带上限泛型参数的函数：以下两个函数是否等价或存在差异？

先明确两个函数的定义：

public static void foo(List<? extends Animal> animals)

public static <T extends Animal> void foo(List<T> animals)

这两个函数并非等价，核心差异体现在以下几点：

• 类型复用能力
  第二个函数的T是可命名的泛型参数，在方法内部可以直接引用这个具体类型：比如将集合元素赋值给T类型变量、创建T的实例（若存在无参构造）、把T作为其他方法的参数类型。而第一个函数的通配符?是匿名的未知类型，方法内部只能将集合元素当作Animal类型处理，无法复用这个未知的具体子类型。

• 集合写入权限
  第一个函数的List<? extends Animal>属于"只读"集合（仅能写入null）：因为无法确定集合实际存储的是Animal的哪个子类型，所以不能添加任何Animal或其子类型的对象（比如传入的是List<Cat>，添加Dog会触发类型错误）。而第二个函数的List<T>允许写入T类型的对象，因为T是当前集合的确定元素类型。

• 方法定义限制
  两个方法的字节码擦除结果一致（均为void foo(List)），因此不能在同一个类中同时定义这两个方法，编译器会判定为重复定义，但它们在调用时的行为和适用场景完全不同。

内容的提问来源于stack exchange，提问作者Rajat