Java通配符解决泛型不变性问题,分三种:无界(?)用于只读通用操作;上界(? extends T)支持安全读取T或其子类,适用于“生产者”;下界(? super T)允许写入T或其父类,适用于“消费者”。

Java中的通配符主要用于处理泛型类型之间的灵活性,解决泛型不变性带来的问题。主要有三种形式:
无界通配符:?
表示“任意未知类型”,相当于 ? extends Object。当你只需要使用对象的Object类方法(如toString、equals),而不关心具体类型时使用。
特点:
- 可以读取元素,但只能以Object类型接收。
- 不能向集合中添加任何元素(null除外),因为编译器无法确定具体的类型。
适用场景:编写通用的工具方法,比如打印任意类型的列表内容。
上界通配符:? extends T
表示“T类型或其子类型”。这里的T可以是类也可以是接口,用extends关键字指定上边界。
立即学习“Java免费学习笔记(深入)”;
特点:
- 可以从集合中安全地读取元素,并将其视为T类型(利用了多态)。
- 不能向集合中添加除null外的任何元素,因为编译器只知道类型是T的某个子类,但不知道具体是哪一个,防止了类型污染。
适用场景:“生产者”场景,即主要从集合中获取数据进行处理。例如,计算一个List extends Number>中所有数字的总和,这个列表可以是Integer、Double等Number子类的集合。
下界通配符:? super T
表示“T类型或其父类型”。用super关键字指定下边界。
特点:
- 可以向集合中添加T类型或其子类型的元素,因为目标集合至少能容纳T类型的对象。
- 可以从集合中读取元素,但只能以Object类型接收,因为编译器无法确定具体的父类型是什么。
适用 场景:“消费者”场景,即主要向集合中写入数据。例如,Collections.max()方法返回集合中的最大元素,而Collections.sort()方法需要一个可以接受该类型及其父类的比较器。
基本上就这些。











