不兼容类型和新类型变量

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

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()返回一个类<？extends Exception>，其中？是通配符捕获（在编译器错误消息中称为cap#1)。由于将“菱形运算符”与新Holder<>一起使用，编译器将类 推断为T，因此Holder > 是创建对象的类型。

但是，这与您声明的持有者 > 。它使用一个嵌套通配符，它不捕获：虽然cap#1扩展异常是某种特定类型扩展exception，但嵌套的？extends Exception字面上表示扩展Exception的任何类型。

通过手动指定类<？extends Exception>对于T，可以帮助编译器避免这个“陷阱”。

在这些帖子上看到我类似的答案：

• Java：通配符类型不匹配导致编译错误
• 与有界通配符相关的编译器错误