Lambda表达式是函数式接口的简写实例，本质为编译器生成的符合其签名的实现；仅能用于函数式接口上下文，因需明确抽象方法；参数与大括号省略依编译器无歧义推断而定；仅可捕获effectively final局部变量。
Lambda表达式就是函数式接口的简写实例，不是语法糖，也不是新类型，它本质是编译器帮你生成的一个符合函数式接口签名的实现。
为什么只能写在函数式接口的位置上
Java 的 Lambda 表达式不是万能的“匿名函数”，它只在上下文明确要求一个函数式接口（@FunctionalInterface）时才合法。编译器靠这个约束来推断你到底想实现哪个抽象方法——如果接口有两个抽象方法，() -> {} 就根本不知道该覆盖哪一个。
- 常见合法场景：
Runnable、Comparator、Consumer、Function、自定义带@FunctionalInterface的接口 - 非法示例：试图用 Lambda 实现
ArrayList或抽象类（如Thread子类），会直接编译失败 - 检查方式：看变量声明类型或方法参数类型是否为函数式接口；IDE 通常会灰显提示“Replace with lambda”
参数和大括号什么时候能省、什么时候必须写
省略规则全看「是否能被编译器无歧义推断」，不是靠感觉。
- 无参：必须写空括号
() -> System.out.println("ok")，不能写成-> ... - 单参且类型可推断：括号可省，
name -> name.length()合法；但String name -> ...就必须加括号 - 多参：括号不能省，
(a, b) -> a + b - 函数体：只有一条表达式（无分号、无 return）可省大括号；含多语句、
return、变量声明、异常处理，必须用{ ... }
常见踩坑：变量捕获与线程安全
Lambda 能访问外部局部变量，但仅限于“事实上的 final”（effectively final）——即定义后没被重新赋值。这不是限制，而是为了保证闭包语义清晰、避免并发副作用。
立即学习“Java免费学习笔记（深入）”；
- 错误写法：
int i = 0; list.forEach(x -> i++);→ 编译报错 “local variables referenced from a lambda expression must be final or effectively final” - 正确替代：用
AtomicInteger或改用传统 for 循环；若真需修改状态，说明这已超出 Lambda 的设计意图 - 注意：捕获的是变量的值（栈上快照），不是引用本身；对对象字段的修改仍可见，但不推荐依赖这种行为
真正难的不是写对语法，而是判断「这里该不该用 Lambda」——当逻辑超过三行、涉及多个分支或需要复用时，提取成命名方法往往比硬塞进 -> 更可靠。
