java中泛型方法的推理

Question

如果我有类class<，那么我会得到以下场景？扩展imodel<？>>ACL和collectioncollection<？扩展IModel<？>>EntitiesCollection并尝试将它们传递给方法 >void doIndex（类 clz，iterable 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) 

其中params、clz和items基于相同的类型t，当我们只有一个参数时，可以使用通配符捕获方法。但这里有通配符变量cls和entitiescollection:

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

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

Answer 1

一个foo<？extends imodel<？>>不能视为foo > 。不一样。这两个？中的每一个都是独立的，可能指的是不同的未知事物，但这两个T都指的是相同的未知事物。

如果doindex有两个类型参数t和C，格式为 ，您可以使用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);

为什么？与前面的问题相同:CL的？不一定与EntitiesCollection的？相同。

不知道有没有好的解决办法。如果在调用方法上也使用 > 之类的类型参数，然后在整个代码中使用t而不是问号，则可以使对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要求对其参数的参数类型进行约束，您没有需要满足的信息，因为所有其他类型参数都是问号。