< 之间的区别超级 T> 和 <在 Java 中扩展 T>

扩展

通配符声明为List<? 扩展 Number> foo3意味着其中任何一项都是合法转让:

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

1. Reading-鉴于上述可能的赋值，你保证从List foo3中读取什么类型的对象:

   • 您可以读取100，因为可以分配给foo3的任何列表都包含Number或Number的子类.
   • 你不能读Integer，因为foo3可能指向List<Double>.
   • 你不能读Double，因为foo3可能指向List<Integer>.

2. Writing-鉴于上述可能的转让，您可以在List foo3中添加哪种类型的物品，这对于all上述可能的ArrayList转让是合法的:

   • 不能添加Integer，因为foo3可能指向List<Double>.
   • 您不能添加Double，因为foo3可能指向List<Integer>.
   • 您不能添加Number，因为foo3可能指向List<Integer>.

You can't add any object to 100 because you can't guarantee what kind of 101 it is really pointing to, so you can't guarantee that the object is allowed in that 101. The only "guarantee" is that you can only read from it and you'll get a 103 or subclass of 103.

超级的

现在考虑List <? 超级的 T>个.

通配符声明List<? 超级的 Integer> foo3表示其中任何一个都是合法分配:

List<? 超级的 Integer> foo3 = new ArrayList<Integer>();  // Integer is a "超级的class" of Integer (in this context)
List<? 超级的 Integer> foo3 = new ArrayList<Number>();   // Number is a 超级的class of Integer
List<? 超级的 Integer> foo3 = new ArrayList<Object>();   // Object is a 超级的class of Integer

1. Reading-鉴于上述可能的分配，当你阅读List foo3时，你保证会收到什么类型的对象:

   • 你不能保证得到Integer分，因为foo3可能指向List<Number>或List<Object>.
   • 你不能保证得Number分，因为foo3可能指的是List<Object>分.
   • only的保证是您将获得100的实例或Object的子类(但是您不知道是哪个子类).

2. Writing-鉴于上述可能的转让，您可以在List foo3中添加哪种类型的物品，这对于all上述可能的ArrayList转让是合法的:

   • 您可以添加Integer，因为上述任何列表中都允许使用Integer.
   • 您可以添加Integer子类的实例，因为在上述任何列表中都允许Integer子类的实例.
   • 您不能添加Double，因为foo3可能指向ArrayList<Integer>.
   • 不能添加Number，因为foo3可能指向ArrayList<Integer>.
   • 您不能添加Object，因为foo3可能指向ArrayList<Integer>.

佩克斯

记住佩克斯:"Producer Extends, Consumer Super".

• "Producer Extends"-如果你需要一个List来产生T个值(你想从列表中读取T)，你需要用? 扩展 T来声明它，例如List<? 扩展 Integer>.但是你不能添加到这个列表中.

• "Consumer Super"-如果您需要List来使用T个值(您想要将T写入列表)，则需要用? 超级的 T来声明它，例如List<? 超级的 Integer>.但不能保证您可以从此列表中读取哪种类型的对象.

• 如果需要对列表进行读写操作，则需要准确地声明列表，不使用通配符，例如List<Integer>.

实例

注this example from the Java Generics FAQ.注意源列表src(生产列表)如何使用扩展，目的地列表dest(消费列表)如何使用超级的:

public class Collections { 
  public static <T> void copy(List<? 超级的 T> dest, List<? 扩展 T> src) {
      for (int i = 0; i < src.size(); i++) 
        dest.set(i, src.get(i)); 
  } 
}

也看到