带有下界通配符的编译错误

Question

考虑以下示例：

public static void main(String... args) {
    List<? super IOException> exceptions = new ArrayList<Exception>();
    exceptions.add(new Exception());       // Compile Error
    exceptions.add(new IOException());
    exceptions.add(new FileNotFoundException());
}

我知道下界通配符接受通配符中给定类的超类的所有类（此处为 IOException）。

为什么在上述情况下编译器会显示编译错误？

Answer 1

当你说

下界通配符接受通配符中给定类的超类的所有类

指的是参数化类型，而不是可以传递给方法的对象的类型。您可以将List<Exception> 分配给该变量，甚至是List<Object>。

编译器不能假定exceptions 可以容纳Exception。实际类型参数可能与下限一样具体，在本例中为IOException。将List<IOException> 分配给exceptions 是合法的，在这种情况下，您将无法添加Exception。因此，编译器不允许该语句。

如果您想添加 Exception 并保留下限，请将边界更改为：

List<? super Exception> exceptions = new ArrayList<Exception>();

当然可以完全放弃绑定：

List<Exception> exceptions = new ArrayList<>();

Answer 2

您的代码无法编译的原因是以下内容是合法的：

List<? super IOException> exceptions = new ArrayList<IOException>();

那么，exceptions.add(new Exception()) 应该被禁止，因为ArrayList<IOException> 不能容纳Exception。

一个解决方案是使用：

// No compiler errors
List<? super Exception> exceptions = new ArrayList<Exception>();
exceptions.add(new Exception());
exceptions.add(new IOException());
exceptions.add(new FileNotFoundException());

甚至：

// Also no compiler errors
List<Exception> exceptions = new ArrayList<>();
exceptions.add(new Exception());
exceptions.add(new IOException());
exceptions.add(new FileNotFoundException());