Java泛型下界有界通配符

问号（？）代表通配符，代表泛型中的未知类型。有时您可能需要限制允许传递给类型参数的类型。例如，对数字进行操作的方法可能只想接受Integer或其超类的实例，例如Number。

要声明一个较低的有界通配符参数，请列出？，后跟super关键字，后跟下限。

例

以下示例说明如何使用super指定下界通配符。

package com.codingdict;

import java.util.ArrayList;
import java.util.List;

public class GenericsTester {

   public static void addCat(List<? super Cat> catList) {
      catList.add(new RedCat());
      System.out.println("Cat Added");
   }

   public static void main(String[] args) {
      List<Animal> animalList= new ArrayList<Animal>();
      List<Cat> catList= new ArrayList<Cat>();
      List<RedCat> redCatList= new ArrayList<RedCat>();
      List<Dog> dogList= new ArrayList<Dog>();

      //add list of super class Animal of Cat class
      addCat(animalList);

      //add list of Cat class
      addCat(catList);

      //compile time error
      //can not add list of subclass RedCat of Cat class
      //addCat(redCatList);

      //compile time error
      //can not add list of subclass Dog of Superclass Animal of Cat class
      //addCat.addMethod(dogList);
   }
}
class Animal {}

class Cat extends Animal {}

class RedCat extends Cat {}

class Dog extends Animal {}

这将产生以下结果 -

Cat Added
Cat Added