final修饰基本类型变量时值不可变，修饰引用类型变量时引用地址不可变但对象内容可能改变；前者锁定栈中值，后者仅锁定指向对象的地址，不保证对象内容不可变。
final 修饰基本类型变量时，值不可变；修饰引用类型变量时，引用地址不可变，但对象内容可能改变。
基本类型变量：值本身被锁定
当 final 修饰 int、double、boolean 等基本类型变量时，该变量在初始化后不能再被赋新值。JVM 直接把值存放在栈中，final 保证这个栈中的值恒定不变。
- 必须在声明时或构造方法中完成初始化（二者选一）
- 后续任何赋值操作都会编译报错
- 例如：final int x = 10; 后续写 x = 20; 会提示 “cannot assign a value to final variable”
引用类型变量：指向的地址不可变
当 final 修饰 String、ArrayList、自定义类等引用类型变量时，final 锁定的是该变量中存储的引用地址，而不是它所指向的对象内容。
- 变量不能重新指向另一个对象（比如不能 new 一个新对象再赋给它）
- 但对象内部状态可以修改（只要该对象本身不是不可变的）
- 例如：final List
list = new ArrayList(); 是合法的；list.add("a"); 也没问题；但 list = new ArrayList(); 就会编译失败
常见误区：final ≠ 不可变对象
很多人误以为 final 引用就能保证对象“内容安全”，其实不然。是否可变取决于类的设计：
- String、Integer 等是不可变类，final + 它们 = 真正意义上的不可变
- ArrayList、StringBuilder、普通 JavaBean 是可变类，final 只锁住引用，不锁内容
- 若需彻底不可变，应结合不可变类设计、私有字段、无 setter、防御性拷贝等手段
实际使用建议
- 基本类型加 final 多用于定义常量（配合 static，如 public static final double PI = 3.14159;）
- 引用类型加 final 常用于确保参数不被意外重赋值、增强线程安全性（配合不可变对象更佳）
- 在 lambda 表达式或匿名内部类中访问局部变量时，该变量必须是 final 或“事实上的 final”（Java 8+ 允许不显式写 final，但不能修改）
