本文详解为何Function
本文详解为何function super number, ? extends string>可安全接收number参数（如调用shortvalue()），却无法赋值给更具体的function<integer string></integer>，揭示泛型通配符在函数类型中的逆变（contravariance）本质。
在Java泛型中，Function<t r></t> 是一个逆变输入、协变输出的函数接口：其参数类型 T 支持下界通配符（? super T），而返回类型 R 支持上界通配符（? extends R）。这种设计源于“PECS”原则（Producer-Extends, Consumer-Super）——函数的输入是消费者（Consumer），故使用 ? super 更安全；输出是生产者（Producer），故使用 ? extends 更灵活。
为什么 func1 的声明合法？
Function<? super Number, ? extends String> func1 = obj -> String.valueOf(obj.shortValue());
右侧 Lambda 表达式实际推导出的类型是 Function<number string></number>（因为 obj 被推断为 Number，且 shortValue() 是 Number 的公共方法）。而 Function<number string></number> 可以安全地赋值给 Function super Number, ? extends String>，原因如下：
-
? super Number表示“某个Number的超类或自身”，因此Number满足该约束（Number是它自己的超类）； -
? extends String同理，String是String的子类型，完全兼容； - 更重要的是：
Function super Number, ...>承诺能接受任何Number及其子类实例（如Integer,Double），而 Lambda 内部调用obj.shortValue()在Number及所有子类上均有效，语义安全。
✅ 所以这不是“放宽限制”，而是类型系统确认该函数具备处理 Number 及其子类的能力。
为什么 f2 = func1 编译失败？
Function<Integer, String> f2 = func1; // ❌ 编译错误
此处发生的是反向赋值：试图将一个更通用的类型（Function super Number, ? extends String>）赋给一个更具体的类型（Function<integer string></integer>）。这违反了类型安全原则：
立即学习“Java免费学习笔记（深入）”；
-
Function<integer string></integer>要求：只能接受Integer实例作为输入； -
func1的实际能力是：可接受Number或其任意超类（如Object）的实例 —— 它比Function<integer string></integer>更“宽泛”，而非更“具体”； - 若允许该赋值，则可能写出
f2.apply(new Double(3.14))，但Function<integer string></integer>的契约明确禁止非Integer参数。
⚠️ 关键误区澄清：? super Number 不表示“可以传入 Number 的任意父类”，而是表示“该函数保证能安全消费 Number 类型的值”。它对调用者施加的约束是：你只能传入 Number 或其子类（否则编译报错），从而保障内部逻辑（如 shortValue()）始终可用。
正确的赋值方向（协变/逆变规律）
| 方向 | 示例 | 是否合法 | 原因 |
|---|---|---|---|
| ✅ 从具体 → 更通用 | Function<number string> f = func1;</number> |
是 |
func1 至少具备 Number→String 能力 |
| ✅ 从具体 → 下界通配 | Function super Integer, String> g = (Integer i) -> "x"; |
是 |
Integer 是 ? super Integer 的合法实例 |
| ❌ 从通用 → 更具体 | Function<integer string> h = func1;</integer> |
否 | 违反输入类型的逆变安全性 |
实用建议与总结
-
不要混淆“通配符声明”和“实际可传入参数”：
? super T是对函数能力的上限描述（它能处理T及其子类），而非对调用者的放行许可。 - 若需将
func1用于Integer场景，应显式转换或重构：// 安全方式：通过适配器明确语义 Function<Integer, String> f2 = i -> func1.apply(i); // ✅ 显式传递，类型清晰
- 在 API 设计中，优先使用无通配符的具体类型（如
Function<number string></number>）提升可读性；仅在需要泛化消费能力时（如集合工具方法）才引入? super T。
理解泛型通配符的本质，不是记忆语法，而是把握其背后的设计契约：? super 保障输入安全，? extends 保障输出灵活——二者共同支撑 Java 类型系统的严谨性与表达力。
