Java泛型中的Void和无界通配符有什么区别？

Question

在Java泛型中，Void类型的对象和无界通配符类型的对象有什么区别？我的意思是我理解<？>的用法，也理解Void在反射方面的用法，但是当我看到

java.util.concurrent.AbstractExecutorService

public Future<?> submit(Runnable task) {
    ...
    RunnableFuture<Void> ftask = new TaskFor(task, null);
    ...
    return ftask;

有人能帮我了解一下这背后的原因吗？谢谢

Answer 1

Void是一个特殊的类，用于表示不返回值。虽然void本身并没有什么特别之处，但是它不能（也从来没有）被实例化，所以它唯一可能的值总是null。它用于两件事：

1. 表示泛型方法或类没有返回值。
2. 使用void.type表示Java反射中的void返回类型。例如，请参见如何通过反射确定方法是否返回'void'。

因此，它与通配符非常不同，通配符不是实际的类，而是在编译时表示一个特定的未知类型。在运行时，它会像其他泛型类型一样被擦除。

public Future<?> submit(Runnable task) {
    if (task == null) throw new NullPointerException();
    RunnableFuture<Object> ftask = newTaskFor(task, null);
    execute(ftask);
    return ftask;
}

和JDK 7：

public Future<?> submit(Runnable task) {
    if (task == null) throw new NullPointerException();
    RunnableFuture<Void> ftask = newTaskFor(task, null);
    execute(ftask);
    return ftask;
}

正如您所看到的，只有在JDK 7中才将类型更改为void，这可能是因为它在概念上更有意义。但是，由于无法更改该方法的接口（出于兼容性原因，并且由于该方法实现ExecutorService接口的Future<？>submit（可运行任务）)，因此返回类型Future<？>保持不变。这就是我的解释。