Java中 PECS 原则在 `Optional.orElseGet` 与 `Optional.flatMap` 中的应用

夜瑶酱_6722

夜瑶酱_6722

2026-07-14

710人浏览

原创

orelseget 使用 ? extends t(生产者),要求 supplier 返回 t 或其子类型;flatmap 使用 ? super t(消费者),允许 function 接收 t 或其父类型,提升复用性。

java中 pecs 原则在 `optional.orelseget` 与 `optional.flatmap` 中的应用

Optional.orElseGet 和 Optional.flatMap 都涉及函数式接口参数,但它们对泛型类型的要求不同——这正是 PECS(Producer Extends, Consumer Super)原则发挥作用的地方。

PECS 原则提醒我们:

  • 生产者(Producer)用 ? extends T:方法返回 T 或其子类,调用方只读取结果,不往里塞值;
  • 消费者(Consumer)用 ? super T:方法接收 T 或其父类,调用方往里传值,不依赖返回具体子类型。

orElseGet 是典型的“生产者”,用 ? extends T

orElseGet 的签名是:

public T orElseGet(Supplier extends T> other)

Supplier extends T> 表示:这个 Supplier 产出一个 T 或它的子类型。
为什么是 ? extends T?因为 orElseGet 最终要返回一个 T 类型的值,而 Supplier 只负责“提供”(produce),不接受输入。只要它能返回 T 或兼容类型(比如 String 是 CharSequence 的子类,那么 Supplier<string></string> 就可赋给 Supplier extends CharSequence>),就满足契约。

✅ 正确用法示例:

Optional<string> opt = Optional.empty();
String s = opt.orElseGet(() -> "default"); // Supplier<string> → Supplier extends String></string></string>

⚠️ 错误理解(常见误区):
有人以为 orElseGet(Supplier<object>)</object> 也能接 Optional<string></string>,但这是编译不过的——Object 不是 String 的子类,Supplier<object></object> 不能作为 Supplier extends String> 使用(反向不成立)。


flatMap 是典型的“消费者”,用 ? super T

flatMap 的签名是:

OpenJDK 24
OpenJDK 24

OpenJDK 24 Windows x64 官方参考实现(24+36),适合 Windows 环境进行 Java 开发、编译、运行和版本兼容性验证。

下载
public <u> Optional<u> flatMap(Function super T, ? extends Optional<u>> mapper)</u></u></u>

重点看前半部分:Function super T, ...>
它表示:这个 Function 接受 T 或其任意父类型(即它是 T 的消费者),比如 T 是 User,那 Function<object ...></object>、Function<serializable ...></serializable> 都合法。

为什么需要 ? super T?
因为 flatMap 要把当前 Optional<t></t> 里的值(类型为 T)传进去。如果限定死必须是 Function<t ...></t>,那就无法复用更宽泛的函数(例如一个能处理所有 Object 的通用转换器)。放宽为 ? super T,提升了函数复用性。

同时后半部分 ? extends Optional<u></u> 是生产者视角:函数要返回 Optional<u></u> 或其子类型(虽然实践中几乎总是直接返回 Optional<u></u>)。

✅ 正确用法示例:

Optional<user> userOpt = Optional.of(new User());
Optional<address> addrOpt = userOpt.flatMap(u -> 
    Optional.ofNullable(u.getAddress())
);
// 这里 u 是 User 类型,但 Function 参数声明为 ? super User,
// 所以哪怕你写成 Function<object optional>> 也合法</object>
</address></user>

⚠️ 注意:flatMap 的 mapper 函数必须返回 Optional<u></u>,不能返回 U 或 null,否则会编译失败或运行时 NPE——这是和 map 的关键区别。


对比小结

方法 泛型参数位置 PECS 角色 含义 实际约束
orElseGet Supplier extends T> 生产者 提供一个 T 或子类型值 不能传 Supplier<object></object> 给 Optional<string></string>
flatMap Function super T, ...> 消费者 接收 T 或父类型,做转换 可传 Function<object ...></object> 给 Optional<string></string>

两者都靠 PECS 让接口更灵活、更安全:

  • orElseGet 不强制你写 Supplier<string></string>,允许 Supplier<concretestringsubclass></concretestringsubclass>;
  • flatMap 不卡死你只能用 Function<user ...></user>,允许复用 Function<serializable ...></serializable> 处理多种实体。

不复杂但容易忽略。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

10477

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

7602

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

6652

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1144

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

928

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1376

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2749

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20071

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1215

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习