java泛型边界在运行时因类型擦除不直接体现，但反射可通过parameterizedtype、typevariable等间接获取声明时的上界（如getbounds()）或通配符边界（getupperbounds()/getlowerbounds()），仅反映编译期契约而非实际数据类型。
泛型边界在反射中并不直接“体现”——因为 Java 的泛型是类型擦除（type erasure）实现的，运行时泛型信息（包括 ? extends T 或 ? super T）基本被抹除。但反射仍能间接感知边界的存在，主要体现在 带泛型声明的类/方法签名中保留的 Type 信息，尤其是通过 java.lang.reflect.ParameterizedType 和 TypeVariable 等接口。
反射能读到哪些泛型边界信息？
反射可在编译期保留的字节码元数据中提取原始泛型声明，包括上界、下界约束。关键点：
-
类/接口声明中的
T extends A & B：可通过getTypeParameters()获取TypeVariable，再调用getBounds()得到上界数组（如A.class,B.class）；Object不显式出现，但若无显式 extends，默认上界为Object。 -
方法参数或返回值中的通配符类型（如
List extends Number>）：需通过ParameterizedType获取实际类型参数，再判断是否为WildcardType；调用其getUpperBounds()或getLowerBounds()即可分别拿到Number.class或null（无下界）/具体类型（如Integer.class对应? super Integer）。 -
字段、方法形参、返回值的泛型类型：只要该类型在源码中显式写出（如
private List super String> sink;），反射就能解析出完整的WildcardType结构。
为什么运行时不能靠反射做类型检查？
因为擦除后，所有 List extends Number>、List<integer></integer>、List<double></double> 都变成原始类型 List。反射拿到的 Class 对象永远是 ArrayList.class 或 List.class，无法区分元素真实类型。这意味着：
- 你无法用
obj.getClass() == ArrayList.class判断它是否“装的是 Number 子类”； - 也无法在运行时动态验证某个
List是否满足? super BigDecimal约束——该约束只在编译期由 javac 强制执行； - 反射只能告诉你“**这个字段/参数当初声明时写了什么泛型结构**”，而不是“**当前实例里实际存了什么**”。
实战中如何安全使用反射 + 泛型边界？
常见于通用序列化器、ORM 映射、JSON 反序列化等框架，它们需要兼顾类型安全与灵活性。建议做法：
- 对
TypeVariable或WildcardType做预检：例如读取一个字段的泛型类型，发现是? extends Comparable super T>，就可推断该字段适合接收排序相关逻辑； - 结合
TypeToken（如 Gson/TypeReference）绕过部分擦除限制：手动传入带泛型信息的类型标记，让反射有据可依； - 避免依赖运行时泛型做强校验：比如不要写
if (type instanceof WildcardType && hasUpperBound(Number.class)) {...}来决定是否调用doubleValue()——这仍是静态契约，应交由编译器保证； - 日志或调试时打印完整泛型签名：用
Types.toString(type)（Guava）或自定义格式化工具输出List super IOException>，便于排查泛型误用。
一个典型反射读取上界的代码片段
假设有一个泛型类：class Box<t extends charsequence> { T content; }</t>
通过反射获取 content 字段的上界：
Field field = Box.class.getDeclaredField("content");
Type genericType = field.getGenericType(); // 返回 TypeVariable<box t>
if (genericType instanceof TypeVariable) {
TypeVariable> tv = (TypeVariable>) genericType;
Type[] bounds = tv.getBounds(); // bounds[0] == CharSequence.class
}</box>
注意：这里拿到的是 CharSequence.class，不是运行时实例的类型——它反映的是设计契约，而非数据事实。
