不兼容的类型和新的类型变量

Question

我收到以下编译消息：

[javac]   ... error: incompatible types
[javac]         exceptionClassHolder = new Holder<>( (new Exception()).getClass() );
[javac]                                ^
[javac]   required: Holder<Class<? extends Exception>>
[javac]   found:    Holder<Class<CAP#1>>
[javac]   where CAP#1 is a fresh type-variable:
[javac]     CAP#1 extends Exception from capture of ? extends Exception
[javac] 1 error

在我看来，根据消息，一切都应该是正确的。 CAP#1 确实扩展了异常。那么上面的信息应该怎么理解呢？ SSCCE 下面（最初没有发布，因为我希望在一般情况下理解错误消息本身）：

class Holder<T> {
    public T t;
    public Holder(T t) {
       this.t = t;
    }
}

public class FooMain {
    public static void main(String args[]) throws Exception {
        Holder<Class<? extends Exception>> exceptionClassHolder;
        exceptionClassHolder = new Holder<>( (new Exception()).getClass() );
    }
}

Answer 1

不幸的是，现有的答案并没有解释这里发生了什么。首先，解决方案是简单地指定Holder的类型参数：

Holder<Class<? extends Exception>> exceptionClassHolder;
exceptionClassHolder =
        new Holder<Class<? extends Exception>>(new Exception().getClass());

您的版本不起作用的原因是new Exception().getClass() 返回一个Class<? extends Exception>，其中? 是一个wildcard capture（在编译器错误消息中称为CAP#1）。由于您将“菱形运算符”与 new Holder<> 一起使用，因此编译器将 Class<CAP#1 extends Exception> 推断为 T，因此 Holder<Class<CAP#1 extends Exception>> 是所创建对象的类型。

但是，这与您声明的 Holder<Class<? extends Exception>> 类型不匹配。它使用nested wildcard，它不捕获：虽然CAP#1 extends Exception 是某些特定类型 扩展Exception，嵌套? extends Exception 代表字面上任何类型 扩展Exception.

虽然Class<CAP#1 extends Exception> 是Class<? extends Exception> 的子类型，但Holder<Class<CAP#1 extends Exception>> 不是Holder<Class<? extends Exception>> 的子类型，因为generics aren't covariant，所以分配失败。

通过为T 手动指定Class<? extends Exception>，您可以帮助编译器避免这个“陷阱”。

在这些帖子中查看我的类似答案：

• Java: Wildcard Types Mismatch Results in Compilation Error
• Bounded-wildcard related compiler error

Answer 2

    Holder<? extends Class<? extends Exception>> exceptionClassHolder;
    exceptionClassHolder = new Holder<>( (new Exception()).getClass() );

原因是

1. 因为你使用的不是Exception.class而是一个Exception对象，java认为? extends Exception是必需的。
2. 同样适用于getClass()，同样需要? extends Class，尽管类是最终的。

这肯定有一天会被简化。