本文讲解在java泛型类型擦除机制下，如何为接受`class
在Java中，由于类型擦除（Type Erasure），泛型信息在运行时不可见，因此像 Optional<Integer>.class 这样的语法是非法的——Java不支持带类型参数的类字面量。这也导致编译器无法从 Optional.class（其实际类型为 Class<Optional>）推断出 <T> 应为 Optional<Integer>，从而报错：
incompatible types: inference variable T has incompatible equality constraints Optional<Integer>, Optional
根本原因在于：g() 方法签名要求传入 Class<T>，而你希望 T 是 Optional<Integer>，但 Optional.class 的静态类型是 Class<Optional>（即 Class<? extends Optional>），与 Class<Optional<Integer>> 不兼容。
✅ 正确解法是通过实例反推泛型类型对应的 Class 对象，并配合显式类型转换确保类型安全：
private void f() {
Optional<Optional<Integer>> x;
// 创建一个 Optional<Integer> 实例，再获取其运行时 Class 对象
Class<Optional<Integer>> optionalIntClass =
(Class<Optional<Integer>>) Optional.<Integer>empty().getClass();
x = g(optionalIntClass);
}⚠️ 注意事项：
立即学习“Java免费学习笔记（深入）”；
- Optional.empty().getClass() 返回的是 Class<? extends Optional>，需强制转型为 Class<Optional<Integer>>；
- 该转型在编译期会触发 unchecked warning（可加 @SuppressWarnings("unchecked") 抑制），但运行时安全——因为 Optional.empty() 确实是 Optional<Integer> 的实例（若用 Optional.of(42) 效果相同）；
- 不要使用原始类型如 Optional.class 或 Optional<Integer>.class（后者语法错误）；
- 若需复用，可封装为工具方法（例如 Classes.rawClassOf(new Optional<Integer>() {}) 配合匿名子类，但更推荐上述简洁方式）。
? 扩展提示：对于更复杂的嵌套泛型（如 List<Map<String, Integer>>），可借助 TypeToken（Google Guava）或 ParameterizedType 反射解析，但在纯 JDK 场景下，基于实例 getClass() + 显式转型仍是最直接、可靠的方式。
