flatMap要求函数返回Optional以避免嵌套，其泛型签名Function<? super T, ? extends Optional<? extends U>>兼顾协变、类型安全与灵活性，运行时直接返回函数结果而不额外包装。
Java 中 Optional.flatMap 的参数类型看似复杂，其实核心是为了支持“链式 Optional 转换”，避免嵌套 Optional<Optional<T>>。它要求传入的函数把当前值（T）映射为另一个 Optional<U>，从而实现扁平化。
为什么不是 Function<T, Optional<U>>？
表面上看，只需要接受一个 T → Optional<U> 函数就够了，但泛型协变和类型安全需要更严谨的声明：
-
Function<? super T, ? extends Optional<? extends U>>允许传入能处理T或其父类型的函数（比如Function<Object, Optional<String>>可用于Optional<String>） -
? extends Optional<? extends U>表示返回值是某个Optional子类型（如Optional<String>、Optional<Integer>），且内部元素类型是U或其子类，保证后续操作（如map）能安全使用U - 这种写法增强了 API 的灵活性，同时阻止不安全的类型转换（例如返回
Optional<Object>却期望U是String）
flatMap 和 map 的关键区别
两者都接收一个函数，但语义不同：
-
map(f)：对值应用f，结果自动包装成Optional—— 即使f返回普通对象（如String），也会变成Optional<String> -
flatMap(f)：要求f必须返回Optional，且直接“拆箱”一层 —— 不再额外包裹，避免双重 Optional
例如：Optional.of("hello").map(s -> s.length()) → Optional<Integer>Optional.of("hello").flatMap(s -> Optional.of(s.length())) → 也是 Optional<Integer>，但若写成 map(s -> Optional.of(s.length())) 就会得到 Optional<Optional<Integer>>，而 flatMap 防止了这种情况。
源码中实际调用逻辑很直接
查看 JDK 源码（如 OpenJDK 17），flatMap 实现只有几行：
立即学习“Java免费学习笔记（深入）”；
- 如果当前
Optional为空，直接返回empty() - 否则调用传入函数
f.apply(value)，直接返回其结果（假设非 null） - 没有额外包装、没有类型擦除补偿 —— 它完全依赖编译器在调用时完成类型推导和检查
也就是说，类型签名负责“约束输入输出”，运行时行为反而非常轻量。
常见误用与注意事项
写错泛型或返回类型会导致编译失败，典型问题包括：
- 函数返回
null：虽然编译通过，但运行时报NPE（flatMap不接受null的Optional） - 函数返回普通对象（非
Optional）：编译不通过，提示“无法推断类型”或“不兼容的函数类型” - 混用原始类型或未指定泛型：比如
Optional.of(1).flatMap(x -> Optional.of("a"))在未声明U时可能触发类型推导模糊，建议显式声明或让 IDE 推导
本质上，这个泛型签名不是为了增加复杂度，而是为了让类型系统在编译期就守住 Optional 链的“扁平性”和“空安全性”。
