添加通配符时方法不适用于参数

Question

我有以下两个课程：

class ProblematicConverter implements Converter<List<?>> {};
class NonProblematicConverter implements Converter<List> {};

Utils类的方法和方法：

<T> void addConverter(Class<? extends T> cls, Converter<T> converter);

现在，第一个函数调用正常，但第二个产生错误：

addConverter(List.class, new ProblematicConverter());
addConverter(List.class, new NonProblematicConverter());

错误提示：

“Utils类型中的方法addConverter(Class, Converter)不适用于参数(Class, ProblematicConverter)”

我不明白为什么会这样。

Answer 1

根据您的评论，我认为正确的做法可能是在List.class 上使用未经检查的强制转换，但首先，问题中的代码无法编译的原因大致是：

• T 的 addConverter 被推断为 List<?>。
• cls 中的有界通配符要求其类型参数为T 或T 的子类型，但原始类型List 是List<?> (specified here) 的超类型。
• 因此，Class<List> 与推断的cls 类型不兼容，即Class<? extends List<?>>。

因此，例如，以下两个声明中的任何一个都可以与问题中的调用一起编译：

<T> void m(Class<T> cls, Converter<? extends T> converter) {}
<T> void m(Class<? super T> cls, Converter<T> converter) {}

这当然不能帮助你，但它说明了List 和List<?> 之间的关系。

你可能还会看到我的两个theseanswers，它们讨论了类似的情况。

所以无论如何，根据您的评论说您正在尝试消除原始类型并且无法更改 addConverter 的声明，可能合适的是使用从 Class<List> 到 Class<List<?>> 的未经检查的强制转换：

@SuppressWarnings("unchecked")
static final Class<List<?>> WILD_LIST =
    (Class<List<?>>) (Class<? super List<?>>) List.class;

这会让你打电话，例如：

addConverter(WILD_LIST, new ProblematicConverter());

但是，我想指出，未经检查的强制转换不是通用 解决方案。这是解决这个特定转换问题的方法，例如Class<GenericType> 到 Class<GenericType<?>>。这样做是安全的，因为 GenericType<?> 是比原始类型 GenericType 更具限制性的类型，并且因为 Class 可以使用其类型参数做的事情范围非常有限。

如果您可以更改addConverter 的声明，我想我建议您使用类似 Guava TypeToken 而不是Class，因为那样您就不会遇到此类问题。