Java中Optional<T>的泛型擦除本质是编译期抹去类型参数，运行时只剩原始类型Optional；opt1.getClass()与opt2.getClass()返回同一Class对象，无法通过反射获取具体T类型，empty()方法利用擦除后类型一致实现适配。
Java 中 Optional<T> 的泛型擦除，本质和所有 Java 泛型一样：编译期类型信息被抹掉，运行时只剩原始类型 Optional，不保留 <T> 的具体类型。
比如你写：
Optional<String> opt1 = Optional.of("hello");
Optional<Integer> opt2 = Optional.empty();编译后，这两行在字节码里都变成操作 Optional 类的指令。JVM 看不到 String 或 Integer —— 它们被擦除了，只留下 Optional 这个“裸类”。
✅ 擦除后的真实表现
-
opt1.getClass()和opt2.getClass()返回的是同一个Class对象：class java.util.Optional -
opt1 instanceof Optional<String>编译不通过（语法错误），因为Optional<String>不是运行时可识别的类型 - 你无法在运行时通过反射直接拿到
T = String，比如opt1.getClass().getTypeParameters()只会返回T这个占位符，不是String.class
这和 ArrayList<String>、Map<K,V> 行为完全一致，不是 Optional 特有，而是 Java 泛型的统一机制。
立即学习“Java免费学习笔记（深入）”；
❗为什么 Optional.empty() 能“适配任意 T”？
看它的源码片段：
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
@SuppressWarnings("unchecked")
public static <T> Optional<T> empty() {
return (Optional<T>) EMPTY; // 强制转型，利用擦除后类型一致
}EMPTY 是一个静态的 Optional<?> 实例（实际是 Optional<Object> 擦除后的对象）。由于擦除后所有 Optional<T> 都是 Optional，这个转型在运行时不会失败——它靠的是编译器信任 + 运行时无类型校验。
所以 Optional.<String>empty() 和 Optional.<Integer>empty() 在运行时其实返回的是同一个对象（只是编译器给你加了类型标签）。
⚠️ 实际开发中要注意的坑
-
不能用
==判断是否为空：opt == Optional.empty()是错的，应该用!opt.isPresent()或opt.isEmpty() -
无法直接获取泛型实参：想从
Optional<Integer>实例里取出Integer.class？不行。除非你额外传入Class<Integer>参数 -
反射或序列化时类型丢失：Gson/fastjson 解析
Optional<User>时，若只传Optional.class，反序列化结果是Optional<LinkedTreeMap>，必须配合TypeToken使用
✅ 怎么绕过擦除限制（安全做法）
当你确实需要运行时知道 T 是什么，常见解法是显式传入 Class 对象：
public static <T> Optional<T> fromJson(String json, Class<T> type) {
T value = new Gson().fromJson(json, type);
return Optional.ofNullable(value);
}
// 调用
Optional<User> userOpt = fromJson(jsonStr, User.class);或者像 Optional.empty().getClass() 配合强制转换（仅限构造实例明确类型时）：
Class<Optional<String>> clazz = (Class<Optional<String>>) Optional.<String>empty().getClass();
这种转换之所以被接受，是因为：
→ Optional.<String>empty() 确保创建的是语义上的 Optional<String> 实例；
→ .getClass() 返回 Class<? extends Optional>，而 JVM 允许向上转成 Class<Optional<String>>（泛型不影响 Class 对象本身）；
→ 开发者自己承担类型安全责任，编译器只做提示（unchecked cast 警告）。
不复杂但容易忽略。
