如何在采用多个泛型参数的方法中使用 Java 泛型通配符？

Question

因此，我们有一个像这样的通用方法，它是依赖注入初始化的一部分：

public static <TS, TI extends TS> void registerTransient(
    Class<TS> serviceClass, Class<TI> implementationClass)
{
    //
}

在某些时候，我们发现类可能不一定存在的情况。它是一个实现类，我们将注入多个关闭（因此服务类与实现类相同。）自然你会这样写：

Class<?> clazz = Class.forName("com.acme.components.MyPersonalImplementation");
registerTransient(clazz, clazz);

IDEA 对此没有问题，但 javac 抱怨：

error: method registerTransient in class TestTrash cannot be applied to given types;
required: Class<TS>,Class<TI>
found: Class<CAP#1>,Class<CAP#2>
reason: inferred type does not conform to declared bound(s)
inferred: CAP#2
bound(s): CAP#1
where TS,TI are type-variables:
TS extends Object declared in method <TS,TI>registerTransient(Class<TS>,Class<TI>)
TI extends TS declared in method <TS,TI>registerTransient(Class<TS>,Class<TI>)
where CAP#1,CAP#2 are fresh type-variables:
CAP#1 extends Object from capture of ?
CAP#2 extends Object from capture of ?

什么给出了？该方法要求第二个参数是第一个参数的子类。无论 ? 是什么类，它的两个参数都是同一个类对象，而且我认为，类总是可以从自身分配。这几乎就像 javac 不必要地发明了第二个通配符类型来用于第二个参数，然后“哦，亲爱的，你这里有两个通配符，所以我无法判断一个是否可以从另一个通配符分配”。

Answer 1

问题是 Class 不能转换为任何其他类型，除非通过显式转换（它实际上变成 Class<#capture-... of ?> 在捕获转换期间）。因此，编译器无法（静态）将这些捕获的类型边界与方法定义的参数化类型进行匹配。

首先尝试将其显式转换为 Class，如下所示：

registerTransient((Class<Object>)clazz, clazz); 

这样编译器可以将 TS 绑定到 Object 并将 TI 绑定到扩展 Object 的对象（它但仍然会发出警告）。

事实上，IntelliJ 的编译器没有抱怨这一点，可能是由于某些优化，甚至可能是编译器错误。您应该将其发布并等待回复。

如果您想用稍微不同的方法检查它，即使它“看起来”没问题，以下内容仍然不会编译：

public class A {
    static class B {}

    static class C extends B {}

    static <T, R extends T> void method(final Class<T> t, final Class<R> r) {}

    public static final void main(String... args) {
        B b = new B();
        C c = new C();
        Class<?> cb = b.getClass();
        Class<?> cc = c.getClass();
        method(cb, cc);
    }
}

看看 此处。它呈现了 Java 类型系统的非凡视图（尽管相当密集）。

Answer 2

您遇到的问题是，根据 JLS 7 §6.5.6.1 简单表达式名称：

如果表达式名称出现在需要进行赋值转换、方法调用转换或强制类型转换的上下文中，则表达式名称的类型是之后声明的字段、局部变量或参数的类型捕获转换 (§5.1.10)。

在您的例子中，“表达式名称”是标识符clazz。正如编译器输出所示，根据 JLS 的要求，它被捕获两次。

处理这个问题的常用技术是引入一个辅助方法将通配符绑定到类型变量：

private static <T> void registerTransient(Class<T> serviceAndImplClass)
{
    registerTransient(serviceAndImplClass, serviceAndImplClass);
}

使用通配符调用这个新方法将会起作用：

Class<?> clazz = Class.forName("com.acme.components.MyPersonalImplementation");
registerTransient(clazz);

我看到您在评论中提到了这个解决方法。这可能看起来很奇怪，但这实际上是语言设计者想要的方法。