1. 首页
  2. 问题
  3. ？ <? super T> and <? extends T> 在java之间的区别
一尘不染

？ <? super T> and <? extends T> 在java之间的区别

java

List<? super T>和之间有什么区别List<? extends T>？

我曾经使用List<? extends T>，但是它不允许我向其中添加元素list.add(e)，而List<? super T>确实可以。


阅读 383

收藏
2020-02-24

共1个答案

一尘不染

extends

通配符声明List<? extends Number> foo3意味着以下任何一项都是合法转让：

List<? extends Number> foo3 = new ArrayList<Number>();  // Number "extends" Number (in this context)
List<? extends Number> foo3 = new ArrayList<Integer>(); // Integer extends Number
List<? extends Number> foo3 = new ArrayList<Double>();  // Double extends Number

  1. Reading -根据上述可能的任务，可以保证从中读取哪种类型的对象List foo3：

  2. 你可以阅读“ a”，Number因为任何可以分配为foo3包含Number或的子类的列表Number。

  3. 你看不到，Integer因为它foo3可能指向List<Double>。

  4. 你看不到a，Double因为它foo3可能指向List<Integer>。

  5. Writing -鉴于上述可能的分配，你可以添加哪种类型的对象对上述所有可能的分配List foo3都是合法的：ArrayList

  6. 你不能添加，Integer因为它foo3可能指向List<Double>。

  7. 你不能添加，Double因为它foo3可能指向List<Integer>。
  8. 你不能添加，Number因为它foo3可能指向List<Integer>。

你不能向其中添加任何对象，List<? extends T>因为你无法保证List它真正指向的是哪种对象，因此你不能保证该对象中允许使用该对象List。唯一的“保证”是，你只能从中读取内容，并且会获得的T或子类 T。

super

现在考虑List <? super T>。

通配符声明List<? super Integer> foo3意味着以下任何一项都是合法转让：

List<? super Integer> foo3 = new ArrayList<Integer>();  // Integer is a "superclass" of Integer (in this context)
List<? super Integer> foo3 = new ArrayList<Number>();   // Number is a superclass of Integer
List<? super Integer> foo3 = new ArrayList<Object>();   // Object is a superclass of Integer

  1. Reading -鉴于上述可能的任务，当你从中阅读时，可以保证接收什么类型的对象List foo3：

  2. 你不能保证一个Integer因为foo3可能指向List或List。

  3. 你不能保证一定会Number因为foo3可能指向List。

  4. 该唯一的保证是，你会得到一个实例Object或子类的Object（但你不知道什么是子类）。

  5. Writing -鉴于上述可能的分配，你可以添加哪种类型的对象对上述所有可能的分配List foo3都是合法的：ArrayList

  6. 你可以添加，Integer因为Integer上述任何列表中都允许使用。

  7. 你可以添加的子类Integer的实例，因为Integer上述任何列表中都允许的的子类的实例。
  8. 你不能添加，Double因为它foo3可能指向ArrayList<Integer>。
  9. 你不能添加，Number因为它foo3可能指向ArrayList<Integer>。
  10. 你不能添加，Object因为它foo3可能指向ArrayList<Integer>。

    11. PECS

    记住PECS：“生产者扩展，消费者超级”。

    “Producer Extends” -如果需要a List来产生T值（T要从列表中读取s），则需要使用进行声明? extends T，例如List<? extends Integer>。但是你不能添加到此列表。

    “Consumer Super” -如果需要a List来使用T值（要将Ts写入列表中），则需要使用进行声明? super T，例如List<? super Integer>。但是不能保证你可以从该列表中读取什么类型的对象。

    • 如果你既要读取列表又要写入列表，则需要完全声明它而没有通配符，例如List<Integer>。

    例

    注意Java Generics FAQ中的这个例子。请注意源列表src（生产列表）如何使用extends，目的地列表dest（消费列表）如何使用super：

    public class Collections { 
  public static <T> void copy(List<? super T> dest, List<? extends T> src) {
      for (int i = 0; i < src.size(); i++) 
        dest.set(i, src.get(i)); 
  } 
}
    2020-02-24