java - 为什么在这种情况下需要类型转换？

Question

假设我有一个具有以下签名的方法:

public static <T> Set<Class<? extends T>> dosomething(Class<T> clazz)

如果我尝试使用通配符类来调用它，如下例所示

Class<?> clazz = Integer.class
Set<Class<?>> result = dosomething(clazz);

编译器提示如下:

Error: incompatible types: inference variable T has incompatible equality constraints java.lang.Object,capture#1 of ?

因此解决方法是在方法调用中添加一个转换。

Set<Class<?>> result = (Set<Class<?>>) dosomething(clazz);

我想知道为什么在这种特殊情况下需要强制转换，以及是否有任何解决方法可以避免强制转换... 我为此使用 java-8。 谢谢

Answer 1

问题似乎是Set<Class<?>> result中的通配符类型参数，而您的方法返回 Set<Class<? extends T>>

因此，结果可以包含任何类型的类对象(对象的子类型)，该方法只返回 T 的子类型的对象(如编译器错误中所述)。

要么这个

public static void main(String[] args) {
    Class<?> clazz = Integer.class;
    Set<Class<?>> result = dosomething(clazz);
}

public static <T> Set<Class<?>> dosomething(Class<T> clazz){
    return new HashSet<Class<?>>();
}

或者这个

public static void main(String[] args) {
    Class<Integer> clazz = Integer.class;
    Set<Class<? extends Integer>> result = dosomething(clazz);
}

public static <T> Set<Class<? extends T>> dosomething(Class<T> clazz){
    return new HashSet<Class<? extends T>>();
}

将正常工作。

在您的代码中，由于类型删除，编译器无法确定您的代码在运行时是否正确，因此会报错。