Java中 TypeTools 库怎么在运行期精确还原被擦除的通配符与泛型参数-java教程-PHP中文网

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

java中 typetools 库怎么在运行期精确还原被擦除的通配符与泛型参数

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

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

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

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

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

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

class Holder {
    List extends CharSequence> list;
}

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

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

关键点：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

传入 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</string>

更直接的方式（推荐）：

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

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