使用在运行时确定的类调用泛型方法

Question

我正在尝试使用jersey 2/HK2自动绑定带有特定注释的工厂类。因此，我在运行时从泛型接口获取所提供的类型，然后尝试将工厂绑定到此类型。将工厂绑定到类的方法如下所示：

protected void bindResourceFactory(Class<? extends Factory<?>> factory) {
  Class<?> providedClass = getProvidedClass(factory);
  bindFactory(factory).to(providedClass).in(Singleton.class);
}

HK2提供的bindfactoy方法定义如下：

public <T> ServiceBindingBuilder<T> bindFactory(Class<? extends Factory<T>> factoryType) {
    return resetBuilder(AbstractBindingBuilder.<T>createFactoryBinder(factoryType, null));
}

当我用Eclipse构建所有东西时，这似乎工作得很好。然而，当我使用maven构建项目时，我会得到以下构建错误：

[ERROR] /Users/jan/Documents/Workspace/jersey-test/bind/ResourceFactoryBinder.java:[32,5] no suitable method found for bindFactory(java.lang.Class<capture#1 of ? extends org.glassfish.hk2.api.Factory<?>>)
[ERROR]     method org.glassfish.hk2.utilities.binding.AbstractBinder.<T>bindFactory(java.lang.Class<? extends org.glassfish.hk2.api.Factory<T>>,java.lang.Class<? extends java.lang.annotation.Annotation>) is not applicable
[ERROR]       (cannot infer type-variable(s) T
[ERROR]         (actual and formal argument lists differ in length))
[ERROR]     method org.glassfish.hk2.utilities.binding.AbstractBinder.<T>bindFactory(java.lang.Class<? extends org.glassfish.hk2.api.Factory<T>>) is not applicable
[ERROR]       (cannot infer type-variable(s) T
[ERROR]         (argument mismatch; java.lang.Class<capture#1 of ? extends org.glassfish.hk2.api.Factory<?>> cannot be converted to java.lang.Class<? extends org.glassfish.hk2.api.Factory<T>>))
[ERROR]     method org.glassfish.hk2.utilities.binding.AbstractBinder.<T>bindFactory(org.glassfish.hk2.api.Factory<T>) is not applicable
[ERROR]       (cannot infer type-variable(s) T
[ERROR]         (argument mismatch; java.lang.Class<capture#1 of ? extends org.glassfish.hk2.api.Factory<?>> cannot be converted to org.glassfish.hk2.api.Factory<T>))

Answer 1

发生此错误的原因是编译器没有捕获转换类<？ 扩展 ；工厂<？>>中的“内部”通配符(工厂<？>)。（根据规范，“捕获转换不是递归应用的”。）

用一个不同的（但与所涉及的类型类似的）示例来解释为什么会发生这种情况会更容易。假设我们有一个列表的任何类型的列表:

List<List<?>> lists = ...;

现在假设我们有一个处理列表的列表的方法,但假设列表都具有相同的类型：

<T> void process(List<List<T>> lists) {
    // and at this point we should note that List<T>
    // allows us to add elements to the lists, so we
    // could do something like this:

    if (!lists.isEmpty()) {
        List<T> list0 = lists.get(0);

        for (int i = 1; i < lists.size(); ++i)
            list0.addAll(lists.get(i));
    }
}

List<Double> doubles = new ArrayList<>();
Collections.addAll(doubles, 0.0, 1.0, 2.0);

List<String> strings = new ArrayList<>();
Collections.addAll(strings, "X", "Y", "Z");

List<List<?>> lists = new ArrayList<>();
Collections.addAll(lists, strings, doubles);

在这种情况下，更明显的是，我们不能将列表 传递给接受列表 > 的过程方法。编译器实际实现这一点的方式是，它不会捕获某个类型变量t的“内部”通配符。

问题中的代码没有编译，原因非常相似。由于class上的类型参数主要与与构造函数相关的方法相关（特别是newInstance方法），我们可以使用supplier来展示一个更类似的示例：

static void example(Supplier<? extends Factory<?>> s) {
    capture(s);
}
static <T> void capture(Supplier<? extends Factory<T>> s) {
    Factory<T> a = s.get();
    Factory<T> b = s.get();
    // remember, a and b are supposed to have the same type
    T obj = a.provide();
    b.dispose(obj);
}

问题是，由于我们的供应商最初可能是供应商 ，所以它没有理由不从一个调用返回工厂 而从另一个调用返回工厂 。因此，我们不能将供应商 > 捕获到供应商 > 。class.newInstance将始终返回完全相同类型的对象，但编译器并不知道这一点。

我认为Eclipse的编译器在这种情况下可能错误地编译了问题中的代码。

如果您想强制编译，您可以像注释中的用户所建议的那样使用未经检查的强制转换，但我对所涉及的类了解不足，无法说明其结果是否确实正确。上面的两个代码示例展示了这样做可能会发生严重错误（原则上），但class有时是一种特殊情况。

更合适的修复方法是在bindresourceFactory上声明一个类型变量，这样它也需要一个类<？ 扩展 ；Factory > ，但我不知道这对于您调用方法的方式是否有效。