要让一个接受 Function<A, String> 的方法也能安全接收 Function<B, String>（其中 B extends A），需将参数声明为 Function<? super B, String>，利用 PECS 原则实现协变兼容性。
要让一个接受 `function` 的方法也能安全接收 `function`（其中 `b extends a`），需将参数声明为 `function super b, string>`，利用 pecs 原则实现协变兼容性。
在 Java 泛型中，Function<A, String> 与 Function<B, String> 并非继承关系——即使 B extends A，泛型类型仍是不变的（invariant）。这意味着 Function<B, String> 不能直接赋值给 Function<A, String> 类型变量，否则会破坏类型安全性。
问题本质在于：你希望将 B 实例传入函数，而该函数需能处理 B 或其任意父类型（如 A）。此时应使用逆变（contravariance）：用 ? super B 表示“接受 B 或其任意超类”的函数，这正是 Function<? super B, String> 的语义。
✅ 正确做法如下：
// 接口定义
public interface Displayable {}
public interface Purchasable extends Displayable {}
// 构造器或方法签名（关键！）
public class DisplayablePanel {
private final Function<? super Purchasable, String> displayTextFn;
public DisplayablePanel(Function<? super Purchasable, String> fn) {
this.displayTextFn = fn;
}
public void render(Purchasable item) {
String label = displayTextFn.apply(item); // ✅ 安全调用：item 是 Purchasable，而 fn 接受 Purchasable 或其父类
// ... 使用 label 创建 UI 元素
}
}这样设计后，你可以传入以下任意一种函数：
立即学习“Java免费学习笔记（深入）”；
// ✅ 接受 Purchasable（最具体） Function<Purchasable, String> purchasableFn = p -> p.getName() + " ($" + p.getPrice() + ")"; // ✅ 接受 Displayable（更宽泛，仍兼容） Function<Displayable, String> displayableFn = d -> d.toString(); // ✅ 甚至接受 Object（极端宽泛，但合法） Function<Object, String> objectFn = obj -> "[Object: " + obj.getClass().getSimpleName() + "]"; new DisplayablePanel(purchasableFn); // 编译通过 new DisplayablePanel(displayableFn); // 编译通过 new DisplayablePanel(objectFn); // 编译通过
⚠️ 注意事项：
- ❌ Function<? extends A, String> 是错误方向：它表示“返回 A 的子类型”，但 apply() 方法需要输入参数，而 ? extends A 对输入是只读（consumer）不安全的（无法保证传入的 B 能被该函数接受）。
- ✅ ? super B 遵循 PECS 原则（Producer extends, Consumer super）：Function 的第一个类型参数是消费者（consumer）——它消费输入对象，因此应使用 super。
- 该方案不破坏类型安全：因为 B 是 A 的子类型，任何能处理 B 的函数必然能处理 B 的实例；而 ? super B 允许函数处理 B、A、Object 等更宽泛类型，完全满足“所有 Purchasable 都是 Displayable”的设计意图。
总结：当需要函数参数支持子类型实参时，不要尝试向上转型函数本身，而应通过 ? super SubType 重构函数类型边界——这是 Java 泛型实现安全、灵活接口适配的标准实践。
