JAVA 泛型中的extends和super

短命女 2022-06-15 11:12 201阅读 0赞

1.`List<? extend Fruit> list=new ArrayList<>();` 解释为：集合中元素是继承自Fruit，究竟是何种类型，编译器也无法判定。

如果要从集合中读取类型T的数据，并且不能写入，可以使用 ? extends 通配符；(Producer Extends)

2.`List<? super Apple> list=new ArrayList<>();`解释为:集合中的元素是Apple的父类，无法判定具体类型。

如果要从集合中写入类型T的数据，并且不需要读取，可以使用 ? super 通配符；(Consumer Super)

如果既要存又要取，那么就不要使用任何通配符。

3.`<T extends Comparable<? super T>>`和`<T extends Comparable<T>>`

example:

package genericity;
    
    import java.util.ArrayList;
    import java.util.Collection;
    import java.util.Collections;
    import java.util.List;
    
    /** * TypeParameterTest * 对比<T extends Comparable<T>>和<T extends Comparable<? super T>> * Created by heqianqian on 2017/6/1. */
    public class TypeParameterTest { 
    
        public static <T extends Comparable<T>> void mySort1(List<T> list) {
            Collections.sort(list);
        }
    
        public static <T extends Comparable<? super T>> void mySort2(List<T> list) {
            Collections.sort(list);
        }
    
        public static void main(String[] args) {
            List<Animal> animals = new ArrayList<>();
            animals.add(new Animal(1));
            animals.add(new Dog(35));
    
            List<Dog> dogs = new ArrayList<>();
            dogs.add(new Dog(100));
            dogs.add(new Dog(120));
    
            mySort1(animals);
            //mySort1(dogs);
        }
    }
    
    class Animal implements Comparable<Animal> {
        protected int age;
    
        public Animal(int age) {
            this.age = age;
        }
    
        @Override
        public int compareTo(Animal o) {
            return this.age - o.age;
        }
    }
    
    class Dog extends Animal {
    
        public Dog(int age) {
            super(age);
        }
    }

其中`mySort1(dogs)` 会编译报错

Error:(33, 9) java: 无法将类 genericity.TypeParameterTest中的方法 mySort1应用到给定类型;
      需要: java.util.List<T>
      找到: java.util.List<genericity.Dog>
      原因: 推断类型不符合等式约束条件
        推断: genericity.Animal
        等式约束条件: genericity.Animal,genericity.Dog

`<T extends Comparable<T>>`类型 T 必须实现 Comparable 接口，并且这个接口的类型是 T。只有这样，T 的实例之间才能相互比较大小。例如，在实际调用时若使用的具体类是 Dog，那么 Dog 必须 `implements Comparable<Dog>`

`<T extends Comparable<? super T>>`类型 T 必须实现 Comparable 接口，并且这个接口的类型是 T 或 T 的任一父类。这样声明后，T 的实例之间，T 的实例和它的父类的实例之间，可以相互比较大小。例如，在实际调用时若使用的具体类是 Dog (假设 Dog 有一个父类 Animal），Dog 可以从 Animal 那里继承 `Comparable<Animal>` ，或者自己 `implements Comparable<Dog> 。`

--------------------