Java 8 Lambda 表达式依赖目标类型推断而非自动类型转换，其参数和返回类型由上下文中的函数式接口抽象方法签名决定，编译期检查兼容性，不支持运行时类型转换或越界装拆箱。
Java 8 的 Lambda 表达式本身不触发“自动类型转换”（如 int → long 这类数值提升），它依赖的是目标类型推断（Target Typing）——编译器根据上下文（变量声明、方法参数、返回位置）反向确定 Lambda 应该实现哪个函数式接口，再据此检查参数类型、返回类型是否兼容。这个过程不是运行时的类型转换，而是编译期的类型推导。
目标类型决定 Lambda 的合法形态
Lambda 表达式没有独立类型，它的语义和合法性完全由所赋值或传递的目标类型决定。只有当目标类型是函数式接口，且其抽象方法签名与 Lambda 的参数列表、返回值能匹配时，代码才通过编译。
- 例如：
Runnable r = () -> System.out.println("ok");中，r声明为Runnable，编译器就要求 Lambda 必须匹配void run()—— 无参、无返回值 - 而
Comparator<String> c = (a, b) -> a.length() - b.length();中，目标类型是Comparator<String>，其int compare(String, String)方法决定了 Lambda 必须接收两个String参数，并返回int
参数类型可省略：靠目标类型反推
当目标类型明确时，Lambda 左侧的参数类型通常可以省略，由编译器自动推断。
-
Consumer<String> c = s -> System.out.println(s);✅ 合法 —— 编译器从Consumer<String>推出s是String -
Function<Integer, String> f = x -> x.toString();✅x被推为Integer，返回值也需兼容String -
BiFunction<Number, Number, Double> add = (a, b) -> a.doubleValue() + b.doubleValue();✅a和b自动视为Number，调用doubleValue()合法
注意：若目标类型模糊（如直接传给重载方法且多个重载都接受函数式接口），编译器可能报错，此时需显式转型或使用变量临时承接。
立即学习“Java免费学习笔记（深入）”；
返回值类型必须与目标方法一致
Lambda 右侧的表达式或语句块，其结果类型必须能赋值给目标接口抽象方法的返回类型——这里发生的是编译期类型兼容检查，不是隐式转换。
- 单表达式形式（无
return关键字）：s -> s.toUpperCase()在Function<String, String>上下文中合法；若目标是Function<String, CharSequence>，也合法（String是CharSequence子类型） - 带
return的代码块：(x, y) -> { return x + y; }若目标是ToIntBiFunction<Integer, Integer>，则x + y结果为int，匹配；但若x、y是long，结果是long，就不能赋给返回int的方法 - 不能自动装箱/拆箱越界：
Supplier<int>不合法（基本类型不能作泛型实参），所以IntSupplier才是正确目标类型，Lambda 写成() -> 42即可
常见陷阱与规避方式
看似“自动”，实则严格受限，以下情况容易出错：
-
重载方法调用歧义：如
execute(Runnable)和execute(Callable<Void>)同时存在，execute(() -> {})会编译失败 —— 解决：显式转型execute((Runnable)() -> {})或用变量承接 -
泛型类型擦除干扰推断：在未指定泛型的集合操作中，如
list.forEach(x -> ...)，若list是原始类型List，x就被推为Object—— 解决：始终使用泛型声明，如List<String> list -
方法引用与 Lambda 类型不一致：如
String::length是ToIntFunction<String>，不能赋给Function<String, Integer>—— 虽然int可装箱为Integer，但方法引用签名固定，不参与装箱转换
