Java代码块执行顺序不直接支持多态，但为多态提供可靠初始化基础：静态块→父类变量/实例块/构造器→子类变量/实例块/构造器，确保子类字段在父类构造中调用重写方法前已初始化。
Java 中代码块的执行顺序本身不直接“支持”多态，但它为多态的正确表现提供了可靠的初始化基础。多态的核心在于运行时动态绑定方法调用，而能否在对象构造过程中安全、一致地完成初始化，取决于静态代码块、实例代码块、成员变量赋值和构造方法之间的严格执行顺序。这个顺序确保了子类对象在被父类引用指向时，其状态已按预期准备就绪，避免因初始化错乱导致重写方法行为异常。
代码块执行顺序是多态稳定的前提
当发生向上转型（如 Animal a = new Dog();），JVM 必须确保 Dog 对象在构造完成前，所有字段和逻辑已按正确层级初始化完毕。否则，在父类构造器中调用被子类重写的方法时，可能访问到未初始化或错误初始化的字段（比如子类字段仍为默认值 null 或 0），造成空指针或逻辑错误。
标准执行顺序如下（同一类中）：
- 静态代码块（只执行一次，随类加载）
- 父类成员变量默认值设定 → 父类实例代码块 → 父类构造方法
- 子类成员变量默认值设定 → 子类实例代码块 → 子类构造方法
这个链条保证了：即使父类构造器中调用了被子类重写的方法，子类的实例代码块和字段初始化已在该方法执行前完成（但注意：此时子类构造方法体尚未执行）。因此，重写方法能安全访问已初始化的子类字段。
立即学习“Java免费学习笔记（深入）”；
实例代码块对多态初始化的关键作用
构造代码块（即实例代码块）在每次创建对象时执行，且位于构造方法体之前。它常用于统一初始化成员变量，尤其适合需要在多个构造器中复用的初始化逻辑。
例如：
class Animal {
String type = "animal";
{ System.out.println("Animal init block: " + type); }
Animal() { System.out.println("Animal ctor"); }
}
class Dog extends Animal {
String name = "unknown";
{ name = "wangcai"; System.out.println("Dog init block: " + name); }
Dog() { System.out.println("Dog ctor"); }
}
执行 new Dog() 时，输出顺序为：
Animal init block: animal
Animal ctor
Dog init block: wangcai
Dog ctor
这说明子类字段 name 在父类构造结束前已被实例代码块设为 "wangcai" —— 若后续父类构造中调用 printInfo()（被子类重写），就能正确打印 "wangcai"，而非默认值。
静态代码块与多态无关但影响类加载一致性
静态代码块只在类首次加载时执行一次，用于初始化静态资源（如配置、单例、共享缓存）。它不参与对象实例化过程，因此不直接影响多态行为。但它保障了整个继承体系中静态上下文的一致性——例如，若父类和子类都依赖某个静态工具类，该工具类必须在任意子类被实例化前就已正确初始化，否则多态调用中涉及静态资源的操作可能失败。
避免在构造器中调用可重写方法
这是多态实践中最关键的注意事项。虽然执行顺序能保证字段初始化，但构造过程中对象仍处于“半成品”状态：
- 子类构造方法体尚未执行，某些业务逻辑可能未触发
- 若重写方法依赖未初始化的资源（如未注入的 service），会出错
- IDE 和静态分析工具通常会警告 “Call to potentially overridable method in constructor”
正确做法是将可变行为延迟到构造完成之后，例如通过模板方法模式、init() 显式调用，或使用工厂+构建器模式分离对象创建与行为激活。
