Java Optional 的核心设计是：用 final T value 封装值（null 表示 empty），通过 of/ofNullable/empty 明确区分创建场景，map/filter 等链式方法基于不可变、无状态函数式逻辑实现安全调用，get() 仅作危险断言。
看 Java 中 Optional 框架的源码应用，关键不是逐行读完全部代码，而是抓住三个层次：它怎么封装值、怎么表达“存在/不存在”的语义、怎么通过 API 设计避免空指针。源码本身很短（核心类不到 300 行），但设计意图非常清晰。
值的封装方式：final + null 判定
源码里最关键的字段是：
private final T value;
这个 value 允许为 null，但它不是表示“值是 null”，而是表示“没有值”。也就是说：
-
value != null→ 值存在（present） -
value == null→ 值不存在（empty），等价于Optional.empty()
这种设计让 isPresent() 和 isEmpty() 只需一行比较，零开销；也决定了所有安全操作（如 map、filter）都必须先检查 value != null 才执行逻辑。
构造逻辑：of / ofNullable / empty 的分工
三类创建方法在源码中体现明确职责划分：
-
of(T)：内部调用Objects.requireNonNull(value)，强制非空——适合你**100% 确认不为 null**的场景 -
ofNullable(T)：显式判空，value == null ? empty() : of(value)——这是**最常用、最安全的入口** -
empty()：返回共享静态实例EMPTY（类型擦除后复用），轻量且线程安全
注意：empty() 返回的是单例，所以不要用 == 去判断是否为空 Optional，应始终用 isPresent() 或 isEmpty()。
立即学习“Java免费学习笔记（深入）”；
将后端 Java 接口文档转换为前端 TypeScript 类型定义（interface / type）。输入：飞书文档、Spring Boot 接口文档、Swagger/OpenAPI、手写 API 文档等。输出：包含请求参数与响应结果的 .md 文件，含完整 JSDoc 注释。触发关键词：Java 转 TS、接口转换、生成前端类型、接口文档转 TypeScript、DTO/VO/BO 转 interface、后端文档转前端类型、生成接口类型、类型定义生成。
链式方法的本质：无状态、不可变、函数式
像 map、flatMap、filter 这些方法，源码实现统一遵循一个模式：
- 如果当前
value == null，直接返回Optional.empty() - 否则对
value应用传入函数，并用结果构造新Optional
例如 map 的核心逻辑就是：
return isPresent() ? Optional.ofNullable(mapper.apply(value)) : empty();
这说明：
– 它不会修改原 Optional（不可变）
– 每次调用都产生新实例（无副作用）
– 函数参数必须是纯函数（不依赖外部状态）
正是这种设计，支撑了安全的嵌套调用，比如 userOpt.flatMap(User::getAddress).map(Address::getZip) 不会因中间某步为 null 而崩溃。
慎用 get()：源码里它是个“危险出口”
get() 方法在源码中只做一件事：
if (value == null) throw new NoSuchElementException("No value present");
它不提供任何兜底逻辑，本质是把“空值责任”重新抛给调用方。这也是为什么规范强烈建议：除非你已用 isPresent() 显式确认过，否则不要直调 get()——它违背了 Optional 的设计初衷。
