java 类中，实例初始化块（initializer block）与字段声明的赋值语句按源码书写顺序依次执行，最终结果由后赋值者决定；编译器会将二者合并插入到每个构造器的开头，在调用父类构造器之后、执行构造器自身逻辑之前运行。
java 类中，实例初始化块（initializer block）与字段声明的赋值语句按源码书写顺序依次执行，最终结果由后赋值者决定；编译器会将二者合并插入到每个构造器的开头，在调用父类构造器之后、执行构造器自身逻辑之前运行。
在 Java 中，看似“乱序”的代码实际遵循严格的初始化流程。以如下类为例：
public class TestClass {
{
i = 3;
}
int i = 2; // LINE 7
}
尽管 i = 3 出现在字段声明 int i = 2 之前，但二者均属于实例变量初始化阶段，且按源码自上而下的文本顺序执行——而非按声明位置或语义先后判断“谁覆盖谁”。
执行流程解析
当 new TestClass() 被调用时，JVM 执行的逻辑等价于（伪代码）：
- 分配对象内存（i 初始化为默认值 0）；
- 调用父类构造器（super()，隐式或显式）；
-
按源码顺序执行所有实例初始化块和字段初始化表达式：
- 先执行 { i = 3; } → i 变为 3；
- 再执行 int i = 2; → 实际是 i = 2 的赋值操作 → i 被覆写为 2；
- 执行构造器体内的代码（本例中无显式构造器，使用默认无参构造器，体为空）。
该行为可由 javap -c TestClass 输出的字节码直接验证：PUTFIELD 指令严格按源码顺序出现，先存 3，再存 2。
注意事项与最佳实践
- ✅ 实例初始化块与字段初始化表达式共享同一执行上下文，可访问 this、调用实例方法、修改 final 字段（仅限未初始化前）；
- ⚠️ 若字段声明在初始化块之前（如 int i = 2; { i = 3; }），则最终 i = 3；顺序决定终值；
- ❌ 不可在初始化块中引用尚未声明的字段（编译时报错：illegal forward reference），即使该字段后续有初始化表达式；
- ? 推荐避免依赖执行顺序的隐式覆盖；若需复杂初始化逻辑，应明确提取到私有辅助方法或使用构造器统一管理。
总之，Java 的实例初始化不是“跳过再回填”，而是线性、有序、确定性地逐行注入构造器——理解这一点，便能精准预测字段的最终初始值。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
