Java之通配符

一、通配符使用场景

问题：
同一泛型类，如果示例化时给定的实际类型不同，则这些实例的类型不兼容时，不能相互赋值

Generic<Boolean> f1 = new Generic<Boolean>();
Generic<Integer> f1 = new Generic<Integer>();
f1 = f2; //编译错误
Generic<Object> f = f1; //f和f1类型并不兼容，发生编译错误
f = f2; //f和f2类型同样不兼容，也会发生编译错误

解决方法：
泛型类示例之间的不兼容性会带来使用的不便，我们可使用泛型通配符(?)声明泛型类的变量就可以解决这个问题

二、通配符使用

1. ? 代表任意一个类型

Generic<Boolean> f1 = new Generic<Boolean>(); //Boolean布尔类型
Generic<?> f = f1;

2. 上界通配符< ? extends A> ，使用extends关键字指定这个泛型中的参数必须是 A 或者 A 的子类

Generic<Dog> f1 = new Generic<Dog>();
Generic<? extends Animal> f = f1;

3. 下界通配符 < ? super A>, 使用super关键字指定泛型中的参数必须是 A 或者 A 的父类

Generic<Animal> f1 = new Generic<Animal>();
Generic<? extends Dog> f = f1;