несовместимые типы и свежий тип переменной

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, поэтому задание не выполняется.

С помощью ссылки Class<? extends Exception> на номер T вы помогаете компилятору избежать этой «ловушки».

Смотрите мои похожие ответы на эти посты:

• 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 но Объект исключения, java считает, что требуется ? extends Exception.
2. То же самое относится к getClass(), еще ? extends Class необходимо, хотя класс является окончательным.

Конечно, однажды это будет упрощено.