Lambda表达式无独立类型，其类型由目标函数式接口决定；若接口含通配符（如Predicate
因为 Lambda 表达式本身没有类型，它的类型完全由所赋值的函数式接口决定；而该接口的泛型参数若涉及通配符（如 Predicate super Person>），编译器就必须依据 PECS 原则判断“谁在消费、谁在生产”，才能正确推导出 Lambda 入参的实际可接受类型。
Lambda 类型不是自洽的，而是被上下文“强加”的
Java 中 Lambda 表达式没有独立类型，它只是函数式接口的一个实例。编译器必须根据目标类型（target type）反向推导：入参该是什么类型、返回值该是什么类型。一旦目标类型是带通配符的泛型接口（比如 Consumer super Employee> 或 Predicate extends Person>），推导就不再简单匹配，而要结合通配符语义做类型约束分析。
- 例如：
list.forEach((? super Employee) e -> e.work())—— 这里? super Employee表明接口消费的是 Employee 或其父类实例，所以 Lambda 入参可以安全地接收Employee、Person甚至Object；但若写成Predicate extends Person>，Lambda 就不能安全接收任意Person子类（比如Student），因为? extends Person表示“某个未知的 Person 子类型”，你无法保证传入的Student符合那个“未知子类型” - 编译器不会猜测你想用哪个具体类型，它只按通配符边界和 PECS 规则给出最宽泛但安全的推导结果
Predicate 是典型的“消费者”，必须用 ? super T
Predicate<t></t> 的抽象方法是 boolean test(T t)，它只读取、不返回泛型 T 的实例，属于纯粹的“消费者”。按 PECS 原则（Producer Extends, Consumer Super），消费者应当使用 super 下界通配符——这样才能确保传入任意 T 及其子类对象都安全。
- ✅ 正确：
Predicate super Person>→ 可传入new Person()、new Employee()、new Student() - ❌ 危险：
Predicate extends Person>→ 编译器只知道它是“某个 Person 的子类”，但不知道是哪一个；你无法安全传入Employee，因为它可能要求的是Student - Lambda 写成
e -> e.getName().length() > 0时，编译器看到目标类型是Predicate super Person>，就允许 e 被当作 Person 或其任意父类（如 Object）来用；但若目标类型是Predicate extends Person>，这个 Lambda 根本无法通过类型检查
类型擦除让运行时无法补救，推导必须一次到位
Java 泛型在运行时已被擦除，JVM 看不到任何泛型信息。这意味着 Lambda 入参类型的合法性，100% 依赖编译期推导。一旦通配符边界模糊或违反 PECS，编译器无法“后面再修正”，只能报错。
立即学习“Java免费学习笔记（深入）”；
- 比如把
List extends Number>传给一个期望Consumer<integer></integer>的方法，编译器会拒绝：前者表示“只读的 Number 子类集合”，后者要求“能消费 Integer”，二者语义冲突 - 而如果你把同一个 Lambda 赋给
Consumer super Integer>，编译就通过——因为? super Integer明确允许接收 Integer 及其所有父类（Number、Object），符合消费场景 - 这种刚性源于类型擦除：没有运行时反射支持，也没有泛型元数据可查，推导错误 = 编译失败 = 代码不可用
实际开发中最容易踩坑的写法
很多开发者直觉写 Predicate extends Person> 想表达“适用于 Person 及其子类”，但这是对通配符的典型误用。PECS 不是描述“我能处理哪些类型”，而是声明“我承诺兼容哪些输入”。
- 错：用
Function extends Person, String>作参数处理器 → 你无法保证传进来的一定是你要的子类，Lambda 里调用子类特有方法会编译失败 - 对：用
Function<person string></person>或Function super Person, String>→ 前者明确限定输入为 Person；后者更宽松，允许传入 Object，只要方法体里只调用 Person 已声明的方法（如 getName()） - 关键看 Lambda 体内怎么用参数：如果只调用 Person 定义的方法，用
Person最清晰；如果想复用到更宽类型（比如通用日志记录器），才考虑? super Person
