java泛型与通配符

Posted 2023-03-20

学习了java泛型与通配符的知识，想问问，在写某个方法时泛型用一个字母代替，在具体实现的时候，把这个字母替换成具体的类型，那通配符用?表示不也是代表着随便哪种类型吗？
比如API中的这个方法
boolean
removeAll(Collection<?> c)
把?换成E又有什么区别呢？

写E的是模板
而?是一种实例化，是不确定类型的实例化，直接写?，等同于? extends Object
boolean
removeAll(Collection<?> c)，是说，从自身（ArrayList）中移除，任意类型的集合的所有元素。
比如可以是Collection<String>，也可以是其他。
而换成E，就被限定了。
原因是ArrayList<E>是个模板类，使用的时候总要实例化，比如实例化为
ArrayList<String> list;
那么这个removeAll参数的类型也被实例化成Collection<E>，这样是违背了设计的初衷了。追问

这样表示理解了，谢谢了。我想再问问
List list = new ArrayList();
list.add(new A());//编译没通过
list.add(new B());
list.add(new C());
这里的A是B的父类，B是C的父类

参考技术A 如果父类不是某个具体类型，如java 的 Collection接口
interface Collection<E>
...
public boolean addAll(Collection<? extends E> c);
...
代表任何E的子类，这时是需要通配符的。
有一点就是它可以操作泛型类型的变量

class A<T>
public T get();

public void set(T t)

此时有一个方法
op(A<?> a)
这里 将不能调用set()方法 ，因为无法检查类型是否一致。set(null)是可以的。
这里 调用get（）返回的是个object类型，如果如? super XX 或？ extends XX 将返回其相应的上下限。无界限返回Object


我对这个也挺糊涂的追问

比如我之前说的这个boolean removeAll(Collection c)
到底什么时候改用E，什么时候该用?呢

参考技术B 这问题问的很好。<E>相当于<E extends xClass>（xClass代表某个类）;<?>相当于<? extends Object>；<? extends T>代表T或T的一个子类；<? super T>表示T或T的一个父类

E 是在写一个泛型类的时候类中的参数类型不确定的时候（写类名后） 或者 方法里面有未知类型的参数的时候（写方法返回类型前）；？ 用于已经用了E的情况下需要表示E的未知子类或者父类，还有就是表示Object的未知子类或者父类

Java泛型中通配符的使用

学习目标

掌握通配符“?” 的使用

以上是关于java泛型与通配符的主要内容，如果未能解决你的问题，请参考以下文章

Java泛型中通配符的使用

Java高级——泛型

泛型与通配符详解

Java泛型中使用通配符或有界类型参数是啥？

java 泛型与非泛型Java

Java笔记-泛型与集合框架