不推荐在抽象基类中通过调用抽象方法来初始化final字段，尽管编译通过且看似运行正常，但该做法违反java对象初始化契约，极易引发未定义行为或空指针异常。
不推荐在抽象基类中通过调用抽象方法来初始化final字段，尽管编译通过且看似运行正常，但该做法违反java对象初始化契约，极易引发未定义行为或空指针异常。
在Java中，在构造器（包括隐式构造过程）中调用可被重写的方法（如抽象方法、非final实例方法）是严重的设计隐患。你提供的代码看似能运行并输出：
name: WithId42 id: 42
但这只是侥幸——它依赖于一个脆弱的初始化时序假设：即子类字段 id 在父类字段 name 初始化前已完成赋值。而实际上，Java对象初始化顺序严格遵循以下流程：
- 分配内存（所有字段设为默认值：
null、0、false）； - 调用父类构造器（此处为
Base()的隐式构造过程）； - 在
Base构造过程中执行name = calName()； -
此时子类
Foo的字段（如id）尚未初始化 —— 它们仍为null（引用类型）或0（数值类型）； -
calName()被动态分派到Foo.calName()，但该方法内部访问了尚未初始化的id字段。
⚠️ 关键事实：字段初始化语句（如 private final String id = "42";）是在父类构造器返回后、子类构造器主体执行前才发生的。因此，在 Base 的字段初始化阶段调用 calName() 时，Foo.id 实际上仍是 null。当前示例“成功”仅因 "42" 是编译期常量，JVM可能做了优化，但一旦将 id 改为非常量表达式（如 System.getProperty("foo.id") 或 new String("42")），或添加依赖其他未初始化字段的逻辑，程序将立即出现 NullPointerException 或返回错误结果。
✅ 正确替代方案：
-
使用模板方法 + 显式初始化：将初始化延迟至构造完成之后，例如提供
init()方法由子类在构造后显式调用（需文档强约束，易出错）； - 推荐：使用工厂模式或构建器模式，在对象完全构造后再计算并注入不可变字段；
- 最安全方式：在子类构造器中直接初始化父类final字段（通过super参数）：
abstract class Base {
protected final String name;
protected Base(String name) {
this.name = Objects.requireNonNull(name);
}
}
final class Foo extends Base {
private final String id = "42";
public Foo() {
super(String.format("WithId%s", id)); // ✅ id 已初始化，调用安全
}
}
这种写法确保 id 在传入 super(...) 前已完成初始化，符合Java内存模型与构造语义，是线程安全且可验证的惯用实践。
总结：永远避免在构造器（含字段初始化块）中调用任何可被子类重写的方法。这是《Effective Java》第17条明确警示的反模式——它破坏封装性、绕过初始化保障，并使子类无法控制自身状态的一致性。宁可多写一行 super(...)，也不要依赖危险的构造时多态调用。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
