将带有类型参数的类传递/返回给函数

Question

让我们假设下面的方法(从番石榴的Iterables说):

public static <T> Iterable<T> filter(final Iterable<?> unfiltered, final Class<T> type) {
    return null;
}

这个系列:

Set<?> objs = ...;

然后编译以下代码并正确导出泛型

Iterable<String> a2 = Iterables.filter(objs, String.class);

(在Guava中，这将返回< code>objs中所有字符串的iterable。)

但是现在让我们假设以下类：

static class Abc<E> {
    E someField;
}

我不知道如何调用过滤器并获取Iterable

Iterable<Abc>    a3 = Iterables.filter(objs, Abc.class);
Iterable<Abc<?>> a4 = Iterables.filter(objs, Abc.class); // Compile error - Abc and Abc<?> are incompatible types
Iterable<Abc<?>> a5 = Iterables.filter(objs, Abc<?>.class); // Compile error
Iterable<Abc<?>> a6 = Iterables.<Abc<?>>filter(objs, Abc.class); // Compile error
Iterable<Abc<?>> a7 = (Iterable<Abc<?>>) Iterables.filter(objs, Abc.class); //  Compile error - inconvertible types
Iterable<Abc<?>> a8 = Iterables.filter(objs, new Abc<?>().getClass()); // Compile error
Iterable<Abc<?>> a8a = Iterables.filter(objs, new Abc<Object>().getClass()); // Compile error

只有a3编译，但Abc上没有参数，因此在后续代码中没有进行泛型类型检查。

我知道类型参数在运行时不存在，因此我不会尝试编写如下代码：

Iterable<Abc<String>> a9 = Iterables.filter(objs, Abc<String>.class); // Compile error

我只想过滤 abc 类型的所有对象（就像 a3 一样），但在结果中包含通用参数。我发现这样做的唯一方法是以下内容，这很愚蠢：

Iterable<Abc<?>> a10 = new HashSet<Abc<?>>();
for (Abc<?> a : Iterables.filter(objs, Abc.class)) {
    ((Set<Abc<?>>)a10).add(a);
}

谢谢




Answer 1

我发现这个编译..

public static <T> Iterable<Abc<T>> myFilter (Iterable<Abc<T>> myIterator) {
    Class<Abc<T>> myClass = null;
    Iterable<Abc<T>> a3 = Iterables.filter(myIterator, myClass); 
    return a3;
}

但它只是将同样的问题转移到myFilter()的调用方。我怀疑本·舒尔茨有正确的答案。

Answer 2

这个问题没有令人满意的答案。使用无界通配符参数化的类型的类文字在理论上是可行的，我们只是没有它们。

您可以生成类

@SuppressWarnings("unchecked")
public static Class<Abc<?>> ABC = (Class<Abc<?>>)(Object) Abc.class;