我有一个特定的目标类型（在运行时决定），以及一个可迭代的类，我正在与之进行比较。我正在尝试编写一个检查类的泛型参数的方法，以查看它是否是子类我的目标类型的可迭代对象。例子：
Class<?> X = SomeObject.class;
matches(X, new ArrayList<SomeObject>()) -> true
matches(X, new ArrayList<SubclassOfSomeObject>()) -> true
matches(X, new ArrayList<SomeOtherObject>()) -> false
matches(X, new ArrayList()) -> true (I think?)
matches(X, new Iterable<SomeObject>() { ... }) -> true
matches(X, new ListOfSomeObjects()) -> true
(where ListOfSomeObjects extends Iterable<SomeObject>)
不幸的是，由于类型擦除和反射 API 的限制的组合，您尝试执行的操作非常复杂。
确实，您可以使用Class.getGenericSuperclass和ParameterizedType.getActualTypeArguments的组合来获取超类的泛型参数。例如，Guava 的 TypeToken 类用于捕获泛型类型参数的机制。但是你在这里要求的是一个接口的泛型类型参数，它可能已经在继承链中的任何一点实现 - 尽管接口本身可以在自由解析或声明新类型参数时相互继承。
要进行演示，请采用以下方法：
static void inspect(Object o) {
Type type = o.getClass();
while (type != null) {
System.out.print(type + " implements");
Class<?> rawType =
(type instanceof ParameterizedType)
? (Class<?>)((ParameterizedType)type).getRawType()
: (Class<?>)type;
Type[] interfaceTypes = rawType.getGenericInterfaces();
if (interfaceTypes.length > 0) {
System.out.println(":");
for (Type interfaceType : interfaceTypes) {
if (interfaceType instanceof ParameterizedType) {
ParameterizedType parameterizedType = (ParameterizedType)interfaceType;
System.out.print(" " + parameterizedType.getRawType() + " with type args: ");
Type[] actualTypeArgs = parameterizedType.getActualTypeArguments();
System.out.println(Arrays.toString(actualTypeArgs));
}
else {
System.out.println(" " + interfaceType);
}
}
}
else {
System.out.println(" nothing");
}
type = rawType.getGenericSuperclass();
}
}
这将反映一个对象并爬上其继承链，以报告其实现的接口及其泛型参数（如果适用）。
让我们在您列出的第一种情况下尝试一下：
inspect(new ArrayList<SomeObject>());
这将打印：
class java.util.ArrayList implements:
interface java.util.List with type args: [E]
interface java.util.RandomAccess
interface java.lang.Cloneable
interface java.io.Serializable
java.util.AbstractList<E> implements:
interface java.util.List with type args: [E]
java.util.AbstractCollection<E> implements:
interface java.util.Collection with type args: [E]
class java.lang.Object implements nothing
可以看到类型参数E尚未解析。给定类型擦除，这是完全可以理解的 - 在运行时，对应于new ArrayList<SomeObject>()的字节码指令没有SomeObject的概念。
匿名类的情况不同：
inspect(new Iterable<SomeObject>() {
@Override
public Iterator<SomeObject> iterator() {
throw new UnsupportedOperationException();
}
});
指纹：
class sandbox.Main$1 implements:
interface java.lang.Iterable with type args: [class sandbox.SomeObject]
class java.lang.Object implements nothing
在这里，我们有在运行时可用的类型参数，因为匿名类通过实现 Iterable<SomeObject> 解析了类型参数。 ListOfSomeObjects及其任何子类将出于同样的原因工作。
好的，所以只要继承链中的某个类在此过程中解析了类型参数E，我们就可以匹配它吗？不幸的是，没有，至少不是使用上述方法：
inspect(new ArrayList<SomeObject>() { });
这将打印：
class sandbox.Main$1 implements nothing
java.util.ArrayList<sandbox.SomeObject> implements:
interface java.util.List with type args: [E]
interface java.util.RandomAccess
interface java.lang.Cloneable
interface java.io.Serializable
java.util.AbstractList<E> implements:
interface java.util.List with type args: [E]
java.util.AbstractCollection<E> implements:
interface java.util.Collection with type args: [E]
class java.lang.Object implements nothing
你可以看到ArrayList的类型参数已知是SomeObject，但这就是它停止的地方。类型参数之间没有连接关系。原因是这段代码：
Class<?> rawType =
(type instanceof ParameterizedType)
? (Class<?>)((ParameterizedType)type).getRawType()
: (Class<?>)type;
Type[] interfaceTypes = rawType.getGenericInterfaces();
getGenericInterfaces 是获取接口类型参数信息的唯一方法，但该方法由 Class 声明，而不是Type 。每当该方法有一个ParameterizedType实例，该实例保存表示其子类泛型的状态时，它就会被迫调用 getRawType ，这将返回没有类型参数信息的Class单例。这是一个 catch-22，导致只能获取使用具体类型参数实现的接口的类型参数。
我不知道有任何反射 API 方法将类型参数与其解析的参数相匹配。从理论上讲，可以编写反射代码，沿着继承链向上爬，找到实现Iterable的类（或子接口），然后向下爬，直到它与相应的类型参数匹配。不幸的是，我想不出这将如何实施。类可以自由地以任何名称和所需的任何顺序声明类型参数，因此基于名称或位置的朴素匹配是错误的。也许其他人可以贡献一个解决方案。
我认为您不能仅从实例中获取通用参数类型：
new ArrayList<Integer>();
如果你有一个保存实例的字段，你可以从那里获取它：
private List<Integer> list = ArrayList<Integer>();
看到这个类似的问题：获取 java.util.List 的泛型类型