Java中Stream.map签名 Stream map(Function
Java 中 Stream.map 方法的签名是：
这个泛型签名不是笔误，而是经过深思熟虑的设计，核心在于支持**逆变输入（? super T）** 和 **协变输出（? extends R）**，从而兼顾类型安全与灵活性。
为什么输入用 ? super T？——提升函数复用性
使用 Function super T, ...> 表示：只要函数能处理 T 或其任意父类型，就可接受。这允许你传入一个“更通用”的函数，而不是严格限定为 Function。
- 例如：
List，你想转成字符串。你可以复用一个已有的nums = Arrays.asList(1, 2, 3); Function（因为Integer是Number的子类），而无需专门为Integer写一个新函数。 - 若写成
Function，就只能传Function，无法复用Function—— 这违背了里氏替换原则和函数式编程中“宽进严出”的习惯。
为什么输出用 ? extends R？——保证返回流元素类型安全
? extends R 表示函数返回值是 R 或其子类型，这样 Stream 能安全地将结果统一视为 R 类型。
- 比如
Stream，s = stream.map(Object::toString); Object::toString返回String，而String是Object的子类；但若目标流是Stream，这个映射依然合法，因为String可赋值给Object。 - 编译器据此推断：无论函数实际返回
R还是它的子类，都能安全存入Stream，不会破坏类型契约。
类型推断如何工作？
Java 编译器会从上下文和 lambda/方法引用中反向推导 T 和 R：
Java 接口排错助手
下载
在调试 Java 后端 API 故障时使用此技能，尤其适用于以下任务：分析日志、跨 Controller、Service 和 Mapper 层追踪请求、定位异常根因、检查 SQL 执行或参数流转，以及生成简洁的诊断结论与修复方案。
- 输入类型
T来自当前 Stream 的元素类型（如Stream→T = Integer）。 - 输出类型
R由 lambda 返回值或目标流声明决定（如map(x -> x + 1)在Stream上 → 推出R = Integer）。 -
? super T和? extends R是“占位符”，不参与最终泛型擦除，只用于编译期检查。
对比手动写法，更能看出设计意图
假设你定义一个“窄类型” map：
它看似简洁，但会导致如下问题：
- 无法传入
Function去处理Stream（虽然语义上完全合理）。 - 限制了高阶函数组合能力，比如
Function无法用于Stream，尽管String实现了CharSequence。
所以这个签名不是为了炫技，而是让 API 更符合面向对象中的子类型关系和函数式编程的组合需求。
大量免费API接口：立即使用
涵盖生活服务API、金融科技API、企业工商API、等相关的API接口服务。免费API接口可安全、合规地连接上下游，为数据API应用能力赋能！
