什么为T

Question

的给定类型：

public static <T> void copy(List<? super T> dest, List<? extends T> src) 

我看到这个页面： Confusion over Java generic method type inference

但我仍然困惑，dasblinkenlight说，只要对象传递中是一致的，然后代码应该编译。

这是否意味着第一个参数类型将有助于确定第二个有效的 ？

public class Hello { 

    public static void main(String[] args){ 
     ArrayList<Animal> dogs = new ArrayList<>(); 
     ArrayList<Marly> marlies = new ArrayList<>(); 

     copy(dogs,marlies); 
    } 

    public static <T> void copy(List<? super T> dest, List<? extends T> src{ 

    } 
} 

class Animal{} 
class Dog extends Animal { } 
class Beagle extends Dog { } 
class Marly extends Beagle{ } 

几乎所有可能的方法我都围绕它编译，只要首先是在继承层次更高的这两个列表改变。

有人可以帮助解释远一点

Answer 1

的方法签名使用两种不同的通配符：

• <? super T>
• <? extends T>

差异说明如下：Difference between <? super T> and <? extends T> in Java

每次调用此方法时，java编译器都会尝试查找T，以使两个参数都满足其条件。看起来有多种选择时，编译器会选择最具体的T。

所以

// fails because there is no superclass of Dog that is a subclass of Animal 
copy(new ArrayList<Dog>(), new ArrayList<Animal>()) 
// chooses T = Marly because it is most specific solution 
copy(new ArrayList<Animal>(), new ArrayList<Marly>())