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

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

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。
谢谢

最佳答案

问题似乎是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>>();
}

将正常工作。

在您的代码中，由于类型擦除，编译器无法确保您的代码在运行时正确无误，因此会抱怨。

关于java - 为什么在这种情况下需要强制转换？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/45527067/