java 中 final 字段通过编译期强制赋值检查和运行期安全发布机制来保证不可变性。开发者必须在构造函数结束前完成所有 final 字段的初始化，且之后无法重新赋值；对于引用类型，需确保对象在构造完成后才对外暴露，防止其他线程看到未完全初始化的状态。
final 字段在构造函数中的赋值规则是什么
final 字段必须在声明时或每个构造函数中显式赋值，否则编译报错。编译器会追踪字段的“定值”（definite assignment）状态，确保在构造函数体执行完毕前该状态为已赋值。若类有多个构造函数，每个路径都必须覆盖该字段。
public class ImmutablePoint {
private final int x;
private final int y;
public ImmutablePoint(int x, int y) {
this.x = x;
this.y = y;
}
public int getX() { return x; }
public int getY() { return y; }
}
上述代码中，x 和 y 在构造函数中被赋值，满足编译期要求。一旦对象创建完成，这两个字段的值便不可更改。任何尝试在方法中修改 this.x = 10; 的行为都会导致编译错误。
如何防止 final 引用类型的可变性被破坏
当 final 字段是引用类型时，仅保证引用本身不变，不保证对象内容不变。为防止外部修改，应在构造函数中复制传入的可变对象，并对外提供只读视图或不暴露内部状态。同时，必须确保对象在构造完成后才通过 this 逃逸到外部，以避免“逸出”（escape）导致的可见性问题。
import java.util.Date;
public class SafeImmutableRecord {
private final Date timestamp;
public SafeImmutableRecord(Date timestamp) {
// 防御性拷贝，防止外部修改原对象
this.timestamp = new Date(timestamp.getTime());
}
public Date getTimestamp() {
// 返回副本，而非原始引用
return new Date(this.timestamp.getTime());
}
}
在此示例中，timestamp 是 final 引用，但其指向的 Date 对象是可变的。通过在构造函数中创建新实例，并在 getter 中也返回新实例，确保了封装性。若直接返回 this.timestamp，调用者仍可修改其内容，破坏不可变性。此外，若在构造函数中将 this 传递给其他线程，可能引发安全发布问题，因此应避免此类操作。
如果 final 字段在多线程环境下被错误发布会发生什么
若 final 字段所在的对象在构造未完成时就通过非安全方式（如静态变量、未同步的共享引用）发布给其他线程，其他线程可能看到默认值（如 null 或 0），而非实际赋值。这是由 Java 内存模型中的“冻结”（freeze）语义决定的：只有当对象安全发布后，final 字段的写入才对其他线程可见。安全发布的方式包括：通过 static 初始化块、通过 volatile 引用、通过锁保护、或通过线程安全的容器发布。
public class UnsafeFinalExample {
private final String value;
private static UnsafeFinalExample instance;
public UnsafeFinalExample(String value) {
this.value = value;
instance = this; // 危险：this 逸出
}
public String getValue() { return value; }
}
// 使用场景
UnsafeFinalExample obj = new UnsafeFinalExample("hello");
// 另一线程可能看到 instance.getValue() 为 null
上述代码中，instance 在构造函数内被赋值，但此时对象尚未完全构造完成。其他线程若读取 instance，可能看到 value 为 null。修正方法是避免在构造函数中发布 this，或使用 volatile 修饰 instance，以确保可见性。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
