在java泛型中，由于类型擦除，`optional
Java 的泛型是编译期特性，运行时会进行类型擦除（type erasure），因此 Optional<Integer> 在运行时仅表现为原始类型 Optional，其 Class 对象只能是 Optional.class（即 Class<Optional>），而不存在 Optional<Integer>.class 这样的字面量语法——该写法在 Java 中语法错误。
回到你的代码：
private <T> Optional<T> g(Class<T> typeClass) { ... }
private void f() {
Optional<Optional<Integer>> x;
x = g(Optional.class); // ❌ 编译失败：Class<Optional> ≠ Class<Optional<Integer>>
}此处 g(Optional.class) 实际传入的是 Class<Optional>，但方法签名要求 Class<T>，且调用上下文期望 T = Optional<Integer>（因返回值为 Optional<Optional<Integer>>），编译器推断出冲突约束：T 既要等于 Optional<Integer>（由返回值类型驱动），又要等于 Optional（由 Optional.class 提供），故报错：
incompatible types: inference variable T has incompatible equality constraints Optional<Integer>, Optional
✅ 正确解法是：构造一个 Optional<Integer> 的运行时实例，再调用其 getClass()，并显式强制转换为 Class<Optional<Integer>>：
立即学习“Java免费学习笔记（深入）”；
private void f() {
Optional<Optional<Integer>> x;
x = g((Class<Optional<Integer>>) Optional.<Integer>empty().getClass());
}⚠️ 注意事项：
- Optional.<Integer>empty() 是带显式类型参数的静态方法调用，确保返回 Optional<Integer> 实例（而非原始 Optional）；
- .getClass() 返回 Class<? extends Optional<Integer>>，其实际运行时类型为 Class<Optional>，但JVM 允许向上转型为 Class<Optional<Integer>>（因泛型在运行时不可知，此转换在类型安全上由开发者保证）；
- 强制转换虽绕过编译检查，但在此场景下是安全的——只要实例确实是 Optional<Integer> 类型（如 Optional.empty()、Optional.of(42) 等），其 getClass() 就代表该参数化类型语义。
? 替代写法（更清晰）：
Optional<Integer> dummy = Optional.empty(); x = g((Class<Optional<Integer>>) dummy.getClass());
? 总结：当需要 Class<T> 且 T 是带类型参数的泛型类型（如 List<String>、Optional<Integer>）时，不能依赖 .class 字面量，而应借助具体实例的 getClass() 并辅以类型转换。这是 Java 泛型与反射交互时的经典模式，广泛应用于 Jackson、Gson、Spring 等框架的类型化反序列化场景中。
