Java中的所有通配符都可以替换为非通配符类型吗？

Question

我找不到任何通配符不能被泛型替换的例子。 例如：

 public void dummy(List<? extends MyObject> list);

等于

 public <T> void dummy(List<T extends MyObject> list);

或

 public <T> List<? extends T> dummy2(List<? extends T> list);

等于

 public <T, U>  List<U extends T> dummy(List<U extends T> list);

所以我不明白为什么创建通配符，因为泛型已经完成了这项工作。有什么想法或意见吗？

Answer 1

不，它并不总是可以更换的。

List<? extends Reader> foo();

不等于，

<T> List<T extends Reader> foo();

因为您在调用 foo() 时不知道 T （并且您无法知道 List 将< 中。

code>foo() 返回。同样的事情也发生在你的第二个例子 href="https://softwareengineering.stackexchange.com/questions/103710/what-has-been-learned-about-making-variance-part-of-the-type/106026#106026">使用通配符的演示可以在此（我的）答案中找到。

Answer 2

一个简单的答案是，更深层次的通配符不能被类型变量替换

void foo( List<List<?>> arg )

与

<T> 
void foo( List<List<T>> arg)

这是因为通配符捕获转换仅适用于第一级通配符。我们来谈谈这些吧。

由于广泛的捕获转换，在大多数地方，编译器将通配符视为类型变量。因此，程序员确实可以在这些地方用类型变量替换通配符，这是一种手动捕获转换。

由于编译器为捕获转换创建的类型变量不可被程序员访问，因此这具有@josefx提到的限制效果。例如，编译器将 List 对象视为 List 对象；由于 W 是编译器内部的，尽管它有一个方法 add(W item)，但程序员无法调用它，因为他没有 W。但是，如果程序员“手动”将通配符转换为类型变量 T，他就可以拥有类型为 T 的项目并调用 add(T item)就可以了。

通配符无法替换类型变量的另一个相当随机的情况：

class Base
    List<? extends Number> foo()

class Derived extends Base
    List<Integer> foo()

这里，foo() 被协变返回类型覆盖，因为 List 是 List。如果通配符被类型变量替换，这将不起作用。

Answer 3

您的示例存在用法差异。

public <T> List<? extends T> dummy2(List<? extends T> list);

返回一个列表，其中可以包含 T 的未知子类型，因此您可以从中获取类型 T 的对象，但无法添加到其中。

示例 T = Number

List<? extends Number> l = new ArrayList<Integer>(Arrays.asList(new Integer(1)));
//Valid since the values are guaranteed to be a subtype of Number
Number o = l.get(0);
//Invalid since we don't know that the valuetype of the list is Integer
l.add(new Integer(1));

因此通配符可用于使某些操作无效，API 可以使用它来限制接口。

例子：

//Use to remove unliked numbers, thanks to the wildcard 
//it is impossible to add a Number
@Override public void removeNumberCallback(List<? extends Number> list){
    list.remove(13);
}