推断Java中的泛型方法

Question

我有以下情况，如果我有Class<? extends IModel<?>> aCls Class<? extends IModel<?>> aCls和集合Collection<? extends IModel<?>> entitiesCollection Collection<? extends IModel<?>> entitiesCollection并尝试将它们传递给方法<T extends IModel<T>> void doIndex(Class<T> clz, Iterable<T> items) ，但一直在获取编译时异常。 我尝试了通配符捕获和其他方法，但是没有运气。 我一定想念一些明显的东西。 将不胜感激任何建议。

Multimap<Class<? extends IModel<?>>, IModel<?>> entityMultimap = ArrayListMultimap.create();

for (IModel<?> entity  : models) {

      Class<? extends IModel<?>> aCls = entity.getClass();
       entityMultimap.put(aCls, entity);          
    }



for (Class<? extends HasKey<?>> cls : entityMultimap.keySet()) {
   Collection<? extends IModel<?>> entitiesCollection = entityMultimap.get(cls);
        doIndex(cls, entitiesCollection);
}


public static <T extends IModel<T>> void doIndex(Class<T> clz, Iterable<T> items) {

    .....
}

更新：有人已将此标记为与其他通用通配符相关问题的重复。 但是，情况截然不同。 我们拥有的是

public static <T extends IModel<T>> void doIndex(Class<T> clz, Iterable<T> items) 

其中参数clz和项基于相同的类型T。如果我们只有一个参数，则可以使用通配符捕获方法。 但在这里我们使用通配符变量cls和entitiesCollection ：

 Class<? extends HasKey<?>> cls and
 Collection<? extends IModel<?>> entitiesCollection 

它们与clz和items具有相似的关系，但是我不知道如何将它们传递到doIndex 。

Answer 1

Foo<? extends IModel<?>> Foo<? extends IModel<?>>视为Foo<T extends IModel<T>> 。 这是不一样的。 分别是两个? s是独立的，并且可能引用不同的未知事物，但是两个T引用相同的未知事物。

如果doIndex具有形式为T和C两个类型参数T和C ： <T,C extends IModel<T>> ，则可以使用Class参数或Iterable参数调用它，但不能同时调用它们。 因此，它将编译为：

static <T,C extends IModel<T>> void doIndex(Class<C> clz, Iterable<C> items) {}
static {
    Class<? extends IModel<?>> cls = null;
    Collection<? extends IModel<?>> entitiesCollection = null;
    doIndex(cls, null);
    doIndex(null, entitiesCollection);
}

但是，此附加行将无法编译：

    doIndex(cls, entitiesCollection);

为什么？ 与以前相同的问题： cls的? s为不一定相同未知出头的entitiesCollection的? s。

我不知道有没有好的解决方案。 如果在调用方法上也使用<T extends IModel<T>>类的类型参数，然后在整个代码中使用T而不是问号，则可以使对doIndex的调用doIndex工作。

如果确实不能做到这一点（有时是这种情况），并且您必须在所有位置都使用问号，那么在我看来，类型参数没有用，应该将其删除或绕开。 您可能知道这一点，但是即使使用原始方法声明，不安全的强制转换也无法完成删除泛型的工作：

static <T extends IModel<T>> void doIndex(Class<T> clz, Iterable<T> items) {}
static {
    Class<? extends IModel<?>> cls = null;
    Collection<? extends IModel<?>> entitiesCollection = null;
    doIndex((Class)cls, (Collection)entitiesCollection); // has a warning, but compiles
}

或者，可以放宽对doIndex的约束。 doIndex此声明使它无需警告即可工作，因为它不再关心类型是否相同：

static void doIndex(Class<? extends IModel<?>> clz, Iterable<? extends IModel<?>> items) {}

优点也是缺点： doIndex不再可以要求Class和Iterable彼此兼容。 （但是，如果iterable不为空，则该方法可以进行运行时检查以查看其中的对象是否与class参数兼容。）

根本的问题是doIndex要求对其参数的参数类型进行约束，因为您所有其他类型参数都是问号，所以您没有信息可以满足。

Answer 2

如果您发布了所有来源，我本人也可以尝试。 但是现在，我只能猜测。 尝试：

public static <T extends IModel<?>> void doIndex(Class<T> clz, Iterable<T> items)