在Java抽象基类中用抽象方法初始化final成员是否合法？

1. 语法合法性 #

你的代码在Java语法上是合法的，能正常编译并输出预期结果。当前运行正常的原因是：子类的id是声明时直接赋值的常量型final字段，这类字段会在类加载的准备阶段就完成初始化，早于任何构造器的执行逻辑，所以父类构造过程中调用calName()时，id已经有了确定的值。

2. 为什么这是糟糕的实践 #

虽然当前代码没问题，但这种写法存在极大的隐藏风险，属于非常不推荐的实践：

• 初始化顺序依赖极易被破坏：如果后续子类修改id的初始化方式（比如改成在构造器中赋值，即使还是final字段），父类构造器调用子类方法时，id还未被赋值，会拿到默认值（如null），导致name初始化错误。比如把Foo的代码改成：

  public final class Foo extends Base {
      private final String id;
      public Foo() {
          id = "42";
      }
      // 其余代码不变
  }
  

  运行后name会变成WithIdnull，完全不符合预期。
• 违反对象初始化的常规约定：Java中父类构造器先执行，此时子类对象尚未完成初始化，调用子类的非私有方法（尤其是必须子类实现的抽象方法），本质是在操作一个未完全初始化的对象，这种行为本身就充满不确定性，是Java开发中的经典陷阱。
• 代码可读性与可维护性极差：这种设计把初始化逻辑隐藏在跨类的方法调用中，其他开发者很难一眼看出name的取值依赖子类的id，后续修改代码时极易踩坑。

3. 更安全的替代方案 #

推荐使用父类带参构造器的方式，让子类在自己的构造器中计算好需要传递给父类的值，明确初始化顺序：

abstract class Base {
    protected final String name;

    // 父类提供带参构造器，由子类传入name的值
    protected Base(String name) {
        this.name = name;
    }
}

public final class Foo extends Base {
    private final String id = "42";

    public Foo() {
        // 子类构造时计算name并传给父类
        super(String.format("WithId%s", id));
    }

    public void display() {
        System.out.printf("name: %s\n", name);
        System.out.printf("id:   %s\n", id);
    }

    public static void main(String[] args) {
        var foo = new Foo();
        foo.display();
    }
}

这种写法逻辑清晰，初始化顺序明确，完全避免了未初始化对象的风险，代码的可读性和可维护性也更强。

内容的提问来源于stack exchange，提问作者Y.F.