Java泛型类型擦除下如何获取参数化类型的Class对象

在java泛型中，由于类型擦除，`optional.class` 语法非法，无法直接获取带类型参数的class对象；需通过运行时实例的getclass()配合显式类型转换来获得`class>`。

Java 的泛型是编译期特性，运行时会进行类型擦除（type erasure），因此 Optional 在运行时仅表现为原始类型 Optional，其 Class 对象只能是 Optional.class（即 Class），而不存在 Optional.class 这样的字面量语法——该写法在 Java 中语法错误。

回到你的代码：

private  Optional g(Class typeClass) { ... }

private void f() {
    Optional> x;
    x = g(Optional.class); // ❌ 编译失败：Class ≠ Class>
}

此处 g(Optional.class) 实际传入的是 Class，但方法签名要求 Class，且调用上下文期望 T = Optional（因返回值为 Optional>），编译器推断出冲突约束：T 既要等于 Optional（由返回值类型驱动），又要等于 Optional（由 Optional.class 提供），故报错：

incompatible types: inference variable T has incompatible equality constraints Optional, Optional

✅ 正确解法是：构造一个 Optional 的运行时实例，再调用其 getClass()，并显式强制转换为 Class>：

private void f() {
    Optional> x;
    x = g((Class>) Optional.empty().getClass());
}

⚠️ 注意事项：

• Optional.empty() 是带显式类型参数的静态方法调用，确保返回 Optional 实例（而非原始 Optional）；
• .getClass() 返回 Class extends Optional>，其实际运行时类型为 Class，但JVM 允许向上转型为 Class>（因泛型在运行时不可知，此转换在类型安全上由开发者保证）；
• 强制转换虽绕过编译检查，但在此场景下是安全的——只要实例确实是 Optional 类型（如 Optional.empty()、Optional.of(42) 等），其 getClass() 就代表该参数化类型语义。

? 替代写法（更清晰）：

Optional dummy = Optional.empty();
x = g((Class>) dummy.getClass());

? 总结：当需要 Class 且 T 是带类型参数的泛型类型（如 List、Optional）时，不能依赖 .class 字面量，而应借助具体实例的 getClass() 并辅以类型转换。这是 Java 泛型与反射交互时的经典模式，广泛应用于 Jackson、Gson、Spring 等框架的类型化反序列化场景中。