final 修饰变量表示其引用不可再赋值，而非对象不可变；修饰方法禁止子类重写，体现设计意图；修饰类禁止继承，保障封装与不变性。
final 不是“让变量不可变”，而是“让变量的引用不可再赋值”——这是绝大多数人误解的起点。
final 变量赋值后不能重新指向新对象
声明为 final 的变量，一旦初始化完成（构造器结束前或声明时），就无法再执行 = 赋值操作。但注意：它不阻止对象内部状态变化。
常见错误现象：
• 声明 final List<string> list = new ArrayList();</string> 后，调用 list.add("x") 完全合法；
• 但写 list = new ArrayList(); 就会编译报错 Cannot assign a value to final variable 'list'。
使用场景：
• 类字段用于保存配置、上下文、依赖注入后的服务实例；
• 局部变量在 lambda 中被捕获时，必须是 effectively final（Java 8+ 放宽了语法要求，但语义没变）。
立即学习“Java免费学习笔记（深入）”；
参数差异：
• final 加在形参上（如 void f(final String s)）只防止方法体内对 s 重新赋值，不影响传入的字符串内容或其引用所指对象；
• 对基本类型（int、boolean）而言，final 确实锁死了值本身。
final 方法不能被子类重写
加 final 的方法禁止子类覆盖，但允许继承和调用。这不是为了“安全”，而是明确表达设计意图：这个行为不允许被改变。
容易踩的坑：
• 在工具类中把 public static 工具方法加上 final 是无效的（静态方法本来就不可重写）；
• 把 private 方法加 final 也没意义（子类根本看不见）。
性能影响：
• JVM 可能对 final 方法做内联优化，但现代 JIT 已经很智能，别指望靠它手动“提速”；
• 更关键的是兼容性：一旦发布为 final，后续版本就不能通过继承扩展逻辑，API 设计阶段就得想清楚。
final 类不能被继承
整个类被 final 修饰，意味着所有方法都隐式 final，且无法派生子类。典型例子是 String、Integer 等 JDK 不可变类。
为什么这样做：
• 防止子类破坏封装或不变性（比如绕过校验逻辑）；
• 明确传达“这个类就是最终形态”，降低使用者的理解成本。
容易踩的坑：
• 不要因为“怕别人乱继承”就给所有工具类加 final；如果未来需要 mock 或测试替换，反而会卡住；
• final 类里的非 private 字段如果没加 final，依然可能被反射修改（JVM 层面限制不了）。
真正难的不是写 final，而是判断“这里该不该锁住”。它不是防 bug 的银弹，而是写给维护者看的设计注释——什么时候该信任调用方，什么时候必须堵死所有后门，得看上下文，而不是语法。
