<? extends T>
通配符<? extends T>表示可以接受类型为T或T的子类的泛型集合。这种通配符的使用场景通常是在方法中需要读取集合中的元素,并且不需要修改集合中的内容
public class MyTest {
@Test
public void test() {
List<Person> personList = List.of(new Person());
List<Monkey> monkeyList = List.of(new Monkey());
Boy boy1 = getABoy(personList);
Boy boy2 = getABoy(monkeyList);
}
/**
* 通过父类获取子类
*/
private Boy getABoy(List<? extends Monkey> list) {
// 编译错误
// list.add();
Monkey monkey = list.get(0);
return (Boy) monkey;
}
}
class Monkey{}
class Person extends Monkey{
}
class Boy extends Person {
}
上面代码调用list.add(new Boy())时会编译不通过,因为对于编译器来说是不知道传来的list集合中的元素是什么类型的,子类的集合是无法添加父类型的元素的。就是说对于你来说你传入一个List<Boy>,添加一个Boy类型元素,但是对于编译器来说是不知道你传的是什么类型的集合。
<? super T>
通配符<? super T>表示可以接受T或T的超类的泛型类型,因此该泛型集合中的元素类型可能是T或T的超类,使用get方法获取元素时,需要将元素类型转换为T或T的子类,否则会导致编译时警告,所以一般不使用get方法。
public class MyTest {
@Test
public void test() {
List<Monkey> monkeyList = new ArrayList<>(3);
monkeyList.add(new Monkey());
addChild(monkeyList);
monkeyList.forEach(System.out::println);
}
/**
* 往父类集合中添加子类元素
*/
private void addChild(List<? super Person> list) {
list.add(new Boy());
list.add(new Person());
}
}
class Monkey{}
class Person extends Monkey{
}
class Boy extends Person {
}
输出
父类集合中可以拥有子类元素(多态),但是使用get需要强转,这就容易导致接口调用赋值时容易出错,上面那个例子也需要强转,但是那是固定去取某个子类。
总结
<? extends T>更适合使用get去取数据
<? super T> 更适合使用add去加数据