final局部变量不可再赋值，基本类型等同值锁定，引用类型仅锁地址；必须一次初始化且各分支全覆盖；Lambda要求effectively final；无运行时开销，不保证线程安全或反射防护。
局部变量加 final 后到底不能改什么
加 final 的局部变量，不是值不可变，而是“引用不可再赋值”。对基本类型（如 int、boolean），效果等同于值锁定；对引用类型（如 ArrayList、StringBuffer），只锁住变量指向的对象地址，对象内部状态仍可变。
常见错误现象：final List<string> list = new ArrayList(); list.add("a");</string> 能成功，但 list = new ArrayList(); 会编译报错 Cannot assign a value to final variable 'list'。
- 使用场景：Lambda 表达式里捕获局部变量时，JVM 要求该变量必须是“实际上的 final”（effectively final），显式加
final是最直白的声明方式 - 参数差异：
final局部变量不能在初始化后再次赋值，哪怕是在同一作用域内用if或循环块中也一样受限 - 性能影响：无运行时开销，
final是编译期约束，不生成额外字节码或检查逻辑
final 局部变量初始化必须“一次且仅一次”
它不像成员变量可以延迟初始化（比如在构造器里赋值），局部变量的 final 必须在声明时或紧邻的语句块内完成初始化，且不能有歧义路径。
常见错误现象：final int x; if (cond) x = 1; else x = 2; 是合法的；但 final int x; if (cond) x = 1;（缺 else）会报错 variable x might not have been initialized。
立即学习“Java免费学习笔记（深入）”；
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
- 所有可能执行到的控制流分支，都必须为该
final变量提供且仅提供一次赋值 - 不能在 try/catch 中分别赋值（除非 catch 块抛出异常或不退出），因为编译器无法静态确认是否必然赋值
- for 循环里声明
final变量没问题，但不能在循环体中反复赋值——哪怕每次都是同一个值也不行
Lambda 里用局部变量为什么总提示“must be final or effectively final”
这是 JVM 规范强制要求：Lambda 表达式捕获的局部变量，必须保证在其生命周期内不会被外部修改，否则闭包行为不可预测。编译器不关心你有没有加 final 关键字，只看是否“实际上没被改过”，但显式写上更安全、更易读。
常见错误现象：在 for 循环里直接把循环变量传进 Lambda，如 for (int i = 0; i System.out.println(i)).start();，结果可能全打印 5 —— 因为 i 不是 final，Lambda 捕获的是变量本身，不是快照。
- 正确做法：用
final int idx = i;在循环体内创建新final变量再传入 - Java 8+ 允许省略
final关键字，只要变量没被二次赋值，就视为 effectively final；但一旦后续代码不小心给它赋了值，所有依赖它的 Lambda 都会编译失败 - 注意：这个限制只针对局部变量，实例字段和静态字段没有此约束（但并发下仍需自行同步）
final 和常量表达式、编译期优化的关系
只有满足“编译期常量”条件的 final 变量才会被内联，比如 static final String MSG = "hello";，而 final String s = getString(); 就不会。
常见错误现象：以为加了 final 就能当常量用，结果反射修改、反编译看到字段名还在，误以为 JVM 也做了保护——其实 final 对反射无效，Field.setAccessible(true) 仍可修改（虽然不推荐）。
- 编译期常量必须同时满足：
static+final+ 基本类型或String+ 字面量或编译期可算出的表达式 - 局部
final变量永远不参与编译期常量优化，哪怕它是final int x = 42; - Android 上 ProGuard/R8 会利用
final做更多优化，但前提是字段/变量可见性允许（比如 public static final int 可能被内联，private final 则不一定）
最容易被忽略的一点：局部 final 的“不可修改性”是语法层单向约束，它不提供线程安全，也不阻止反射篡改，更不等于不可变对象（ImmutableList 那种）。真要防改，得靠设计——比如返回不可变视图、封装 setter、用 record 或 sealed class。
