final修饰基本类型变量时值不可变,修饰引用类型时仅引用地址不可变;final方法不能被重写但可重载;final类不可继承,但内部字段未必不可变;final字段具有初始化可见性保障,但需正确发布对象。
final修饰变量时到底锁住了什么
final修饰基本类型变量,是值不可变;修饰引用类型变量,是引用地址不可变,但对象内部状态仍可修改。这是最容易误解的一点。
-
final int x = 10;→ 后续赋值会编译报错:cannot assign a value to final variable -
final List list = new ArrayList();→list = new ArrayList();报错,但list.add("a");完全合法 - 若需真正不可变集合,得用
Collections.unmodifiableList()或List.of()(Java 9+)
final方法不能被重写,但可以被重载
声明为 final 的方法在子类中既不能被覆盖(override),也不能被隐藏(hide)——静态方法除外,但静态方法本身就不能被“重写”,只能被隐藏。
-
public final void process() { ... }→ 子类中声明同签名方法会编译失败 - 子类可以定义
public void process(String s),这是重载(overload),完全允许 - 注意:
private方法隐式 final,但不是因为 final 关键字,而是访问权限限制
final类无法被继承,但内部成员不一定都不可变
用 final 修饰类,只阻止继承,不自动保证该类线程安全或内部状态封闭。