Java boolean addAll 方法和泛型类型参数问题

Question

我目前正在学习泛型，我有一个任务，我必须使用 T 类型参数和数组数据成员和一些方法（setItem、getItem、visitor、condition 和 addAll）创建一个数组类。我对 addAll 方法有问题：public class Array<T> {   private T[] array;   public Array(T[] array){      this.array = array;   }   public void setItem(int i, T item){      if (i < 0 || i > array.length) {        System.out.println("There is no this value in the array!");      }      array[i] = item;   }   public T getItem(int i){       if (i < 0 || i > array.length) {              System.out.println("There is no this item in the array!");        }        return array[i];     }   public <E> boolean addAll(Collection<? extends E> c){       boolean modified = false;       for (E e : c){           if (c.add(e)){               modified = true;           }        }       return modified;   }}NB 不接受ein add 方法。我不明白为什么...... 如果我在方法中使用 T 类型参数而不是 E (public boolean addAll(Collection <? extends T>c){} )，情况是一样的。我收到消息不兼容的类型：E 无法转换为 CAP#1，其中 E 是类型变量，而 CAP#1 是新的类型变量。我究竟做错了什么？我的第二个问题是 Array 类使用了一个抽象的 Condition 类，它有 6 个子类。andCondition、orCondition 等都可以，但是greaterCondition 和doubleCondition 不起作用。我知道问题出在哪里，但我找不到解决方案。首先，我只<T>在 classname 之后使用，然后尝试以下<T extends Number>，但没有改变：public abstract class Condition<T> {    public abstract boolean condition(T item);}public class doubleCondition<T extends Number> extends Condition<T> {    public DoubleCondition (){       }    @Override    public boolean condition(T item) {       if (item % 2 == 0){           return true;       }       return false;   }我收到消息：二元运算符的操作数类型错误%，第一种类型：T，第二种类型：int，其中 T 是类型变量。我应该如何使用类型参数或布尔条件方法来检查参数中的项目是否可以在没有左的情况下除以 2，所以它是双/偶。和greaterCondition 类：public class greaterCondition<T extends Number> extends Condition<T> {    private T border;    public  (T border){        this.border = border;    }    @Override    public boolean condition(T item) {        return item > border;    }}这里NB不处理>操作符。

Answer 1

您的方法不是类型安全的，有两个原因：

1. E和之间没有关系T；你可以传递一些完全不相关的类型的集合。

2. 您可以将内容添加到 的集合中? extends Whatever，因为您不知道该集合实际包含的类型（它可能只是某个其他子类的集合）。

相反，您应该创建一个接受 a 的非泛型方法Collection<? super T>，该方法保证能够保存Ts （因为它是 的集合T或超类型T）。