【Java学习笔记】38：三种泛型通配符

*型(匹配所有类)
以遍历存某个类参数化的Collection集合(实现为很多泛型类)的对象为例，这里是遍历实际参数为Animal的集合：

package day38;

import java.util.ArrayList;
import java.util.Collection;
import java.util.Iterator;
import java.util.List;

//动物
class Animal{
    @Override
    public String toString() {
        return "Animal";
    }
}

//宠物属于动物
class Pet extends Animal{
    @Override
    public String toString() {
        return "Pet";
    }
}

//狗属于宠物
class Dog extends Pet{
    @Override
    public String toString() {
        return "Dog";
    }
}


public class Test {

    public static void main(String[] args) {
        List<Animal> l1=new ArrayList<Animal>();
        l1.add(new Animal());
        l1.add(new Animal());
        loop(l1);

//      List<Pet> l2=new ArrayList<Pet>();
//      l2.add(new Pet());
//      l2.add(new Pet());
//      loop(l2);
    }

    public static void loop(Collection<Animal> c){
        Iterator<Animal> k=c.iterator();
        while(k.hasNext())
        {
            System.out.println(k.next());
        }
    }
}

因为loop()指定了形参是用Animal参数化的Collection类型的c，而l2虽然也继承了Collection接口，但是是用Pet实例化的，所以注释的部分使用会出错：

这时候就可以使用通配符了，让loop()的形参变成允许更多引用类参数化的Collection类型，如变成所有引用类型参数化的Collection类型：

public static void loop(Collection<?> c){
        Iterator<?> k=c.iterator();
        while(k.hasNext())
        {
            System.out.println(k.next());
        }
    }

这时候注释部分也可以使用了，这里的”?”即是一种通配符，表示匹配所有的类。

上确型(匹配某类及其子类)
假如想匹配Animal类及其子类，其它类不匹配：

public static void loop(Collection<? extends Animal> c){
        Iterator<?> k=c.iterator();
        while(k.hasNext())
        {
            System.out.println(k.next());
        }
    }

可以看到只有Student类不行，因为它没有直接或间接地继承Animal：

下确型(匹配某类及其超类)
假如想匹配Dog类及其超类，其它类不匹配：

public static void loop(Collection<? super Dog> c){
        Iterator<?> k=c.iterator();
        while(k.hasNext())
        {
            System.out.println(k.next());
        }
    }

可以看到只有Student类不行，因为它没有直接或间接地作为Dog的超类：