java类中，实例初始化块（initializer block）的执行顺序严格遵循源码书写顺序，而非字段声明位置；当存在同类型成员时，它们在构造器中被按文本顺序依次执行，最终结果由最后赋值决定。
java类中，实例初始化块（initializer block）的执行顺序严格遵循源码书写顺序，而非字段声明位置；当存在同类型成员时，它们在构造器中被按文本顺序依次执行，最终结果由最后赋值决定。
在Java中，实例初始化块（即用 { ... } 包裹的代码块）和实例字段的声明及初始化表达式（如 int i = 2;）都属于“实例成员初始化”的一部分，它们共同被编译器收集、重组，并插入到每个构造器的开头（在 super() 或 this() 调用之后，但在构造器其余逻辑之前）。
关键规则如下：
- ✅ 所有实例初始化块与字段初始化语句，按其在源文件中出现的文本顺序，从上到下依次执行；
- ✅ 字段声明本身（如 int i;）不产生执行逻辑，但带初始化器的声明（如 int i = 2;）等价于一个隐式的初始化块：{ i = 2; }；
- ✅ 编译器会将这些逻辑统一合并进
方法（即构造器字节码），顺序严格保留源码顺序。
以你提供的示例为例：
public class TestClass {
{
i = 3; // ← 实例初始化块（第1个初始化动作）
}
int i = 2; // ← 带初始化器的字段声明（第2个初始化动作）
}
虽然 i 的声明出现在块之后，但 int i = 2; 这一行既是声明也是初始化指令，它在语义上等价于：
int i;
{
i = 2;
}
而编译器实际生成的构造器逻辑为（伪代码）：
public TestClass() {
super(); // 隐式调用父类构造器
i = 3; // 来自初始化块
i = 2; // 来自字段初始化器 → 覆盖前值
}
这正是反编译字节码所证实的——ICONST_3 后紧跟 ICONST_2，两次 PUTFIELD，后者生效。因此，新建 TestClass 实例后，i 的最终值恒为 2。
⚠️ 注意事项：
- 若将字段声明改为 int i;（无初始化器），再在块中赋值 i = 3;，则 i 值为 3；
- 静态初始化块（static { }）与静态字段初始化遵循同样顺序规则，但仅执行一次，且早于实例部分；
- 初始化顺序不受访问修饰符（private/public）或是否 final 影响（但 final 字段若重复赋值会触发编译错误）；
- 使用 IDE 的 “Show bytecode” 或 javap -c 可直观验证执行流程，是排查初始化问题的高效手段。
总结：Java 不按“声明优先”或“块优先”做特殊处理，而是忠实还原源码顺序——写在前面的初始化逻辑先执行，写在后面的后执行，最终值由最后一次赋值决定。理解这一机制，是掌握对象构建生命周期与避免隐蔽 bug 的基础。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
