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 CharSequence
ResolvedType 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() 区分上界/下界：
-
isUpperBound()为 true → 是? extends T（上界） -
isLowerBound()为 true → 是? super T（下界） -
getErasedType()返回边界类型（如Number.class）
限制与注意事项
TypeTools 无法凭空恢复任意擦除类型。以下情况它无能为力：
- 局部变量声明的泛型（如
List<?> list = new ArrayList<>();）——无签名可查 - 类型变量未被实际绑定（如泛型方法中未指定实参：
<T> void m(T t)调用时未显式指定T） - 通过
Class.forName(...)动态加载且未保留泛型上下文的类 - Android Dalvik/ART 环境（默认不保留泛型签名，需额外配置
keepAttributes Signature）
真正可靠的还原，始终依赖“泛型信息在字节码中真实存在”这一前提。TypeTools 是优秀的解析器，不是类型时光机。
