Java中 TypeTools 库如何在运行期精确还原被擦除的通配符与泛型参数

作者：袖梨 2026-07-16

TypeTools 能在特定场景下高精度还原被擦除的泛型信息，包括通配符及其上界/下界，但依赖编译期保留的泛型签名（Signature attribute），无法恢复无字节码签名的局部变量或未绑定类型变量等场景。

Java 运行期无法直接获取被擦除的泛型信息（如 List<? extends Number> 或 Map<String, ? super Object>），因为类型擦除会丢弃通配符边界和具体类型参数。但 TypeTools（由 jhalterman 开发）通过结合编译期保留的泛型签名（如方法返回类型、字段声明、匿名类/lambda 的上下文）与运行时反射机制，能在**特定场景下高精度还原原始泛型结构**，包括通配符及其上界/下界。

依赖与前提：必须保留泛型签名

TypeTools 不是魔法，它依赖 JVM 在 class 文件中实际存在的泛型元数据（Signature attribute）。这意味着：

目标类型需在编译期明确写出（不能是纯运行时拼接的 ParameterizedType）
推荐使用 Java 8+，并确保未开启 -g:none 等剥离调试信息的编译选项
最可靠场景：匿名内部类、lambda 表达式、继承泛型基类的子类（如 new ArrayList<String>() {}）、带泛型声明的字段/方法

还原通配符：用 `TypeResolver` 解析声明位置

TypeTools 的核心是 TypeResolver，它从“有泛型上下文”的对象出发，反向推导其实际类型。例如还原一个含通配符的字段：

class Holder {    List<? extends CharSequence> list;}

你可以这样获取精确类型：

立即学习“Java免费学习笔记（深入）”；

Field field = Holder.class.getDeclaredField("list");// TypeTools 能读取 field 的 Signature 属性，还原出 ? extends CharSequenceResolvedType resolved = TypeResolver.resolveRawClass(field.getGenericType(), Holder.class);System.out.println(resolved); // List<? extends java.lang.CharSequence>

关键点：

传入 field.getGenericType()（不是 getType()），才能拿到带泛型的原始类型
TypeResolver.resolveRawClass(...) 会尝试绑定类型变量，对通配符则保留其边界信息
若字段是 List<? super Integer>，结果会显示 ? super java.lang.Integer

处理 lambda 与匿名类：利用 `resolve` 静态方法

这是 TypeTools 最擅长的场景——lambda 和匿名类在编译后会生成带完整泛型签名的合成类：

Function<String, ? extends Number> fn = s -> 42;ResolvedType resolved = TypeResolver.resolve(fn.getClass(), Function.class);// resolved.getTypeParameters().get(0) → String// resolved.getTypeParameters().get(1) → ? extends java.lang.Number

更直接的方式（推荐）：

ResolvedType type = TypeResolver.resolveTypes(fn.getClass().getGenericInterfaces()[0])    .get(Function.class);// 得到 Function<String, ? extends Number> 的 ResolvedType 实例

此时可通过 resolved.getTypeParameters() 获取每个参数，再调用 .getBounds() 区分上界/下界：