我不明白为什么以下代码有效:
import java.util.ArrayList;
import java.util.Collection;
public class Main {
public static void main(String[] args) {
Integer[] arr=new Integer[]{1,2,3};
ArrayList<Object> al=new ArrayList<>();
addToCollection(arr, al);
}
static <T> void addToCollection(T[] a, Collection<T> c)
{
for(T o:a)
c.add(o);
}
}
不应该是:
...
static <T> void addToCollection(T[] a, Collection<? super T> c)
...?
通话期间类型T是否应该相同?
如评论中所述,我的问题是“为T推断哪种类型”。由于代码可以正常工作,因此我假定推断出层次结构中的“较高”类型。
最佳答案
arr
和al
都是Object的子类型,这就是您要得到的。如果将addToCollection
函数更改为具有返回类型,则会发生以下情况:
public static class Main {
public static void main(String[] args) {
Integer[] arr=new Integer[]{1,2,3};
ArrayList<Object> al=new ArrayList<>();
Collection<Object> objects = addToCollection(arr, al); // Compiles
Collection<Integer> numbers = addToCollection(arr, al); // Doesn't compile
}
static <T> Collection<T> addToCollection(T[] a, Collection<T> c)
{
for(T o:a) // Behold the side effect
c.add(o);
return c;
}
}