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

Question

我目前正在学习泛型，我有一个任务，我必须创建一个带有 T 类型参数和数组数据成员以及一些方法(setItem、getItem、visitor、condition 和 addAll)的 Array 类。我的 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 不接受 e在添加方法中。我不明白为什么......如果我在方法中使用 T 类型参数而不是 E (public boolean addAll(Collection <? extends T> c){} )，情况是相同的。我收到消息不兼容类型:E 无法转换为 CAP#1，其中 E 是类型变量，CAP#1 是新类型变量。我做错了什么？

我的第二个问题是 Array 类使用了一个抽象 Condition 类，它有 6 个子类。 andCondition、orCondition等都可以，但是greaterCondition和doubleCondition不行。我知道问题出在哪里，但我找不到解决方案。首先我只使用了 <T>在类名之后尝试以下 <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 是类型变量。我应该如何处理类型参数或 boolean 条件方法，以便我能够检查参数中的项目是否可以除以 2 而没有左，因此它是双/偶。

以及更大的Condition类:

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不处理>运算符(operator)。

感谢任何帮助!

Answer 1

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

1. E 之间没有关系和T ;您可以传递一些完全不相关类型的集合。
2. 您可以将内容添加到 ? extends Whatever 的集合中，因为您不知道该集合实际包含什么类型(它可能只是某些其他子类的集合)。

相反，您应该创建一个接受 Collection<? super T> 的非泛型方法。 ，保证能够容纳 T s (因为它是 T 的集合或 T 的父类(super class)型)。