在Java中，为什么我不能在父类中声明一个final成员（不初始化它）并在子类中设置它的值？ 我该如何解决？

Question

在 Java 程序中，我有多个从父类（抽象的）继承的子类。 我想表达的是，每个孩子都应该有一个仅设置一次的成员（我计划在构造函数中这样做）。 我的计划是编写代码。 像这样：

public abstract class Parent {
    protected final String birthmark;
}

public class Child extends Parent {
    public Child(String s) {
        this.birthmark = s;
    }
}

然而，这似乎并不能取悦Java诸神。 在父类中，我收到消息：birthmark“可能尚未初始化”，在子类中，我收到“无法访问最终字段birthmark”。

那么 Java 的方式是什么呢？ 我缺少什么？

Answer 1

你不能这样做，因为在比较父类时，编译器无法确定子类是否会初始化它。 您必须在父级的构造函数中初始化它，并让子级调用父级的构造函数：

public abstract class Parent {
    protected final String birthmark;
    protected Parent(String s) {
        birthmark = s;
    }
}

public class Child extends Parent {
    public Child(String s) {
        super(s);
        ...
    }
}

Answer 2

将其传递给父构造函数：

public abstract class Parent {
    private final String birthmark;
    public Parent(String s) {
        birthmark = s;
    }
}

public class Child extends Parent {
    public Child(String s) {
        super(s);
    }
}

Answer 3

另一种 Java 风格的方法可能是让父类定义一个抽象的“getter”，并让子类实现它。 在这种情况下，这不是一个好方法，但在某些情况下，它可能正是您想要的。

Answer 4

我会这样做：

public abstract class Parent 
{
    protected final String birthmark;

    protected Parent(final String mark)
    {
        // only if this makes sense.
        if(mark == null)
        {
            throw new IllegalArgumentException("mark cannot be null");
        }

        birthmark = mark;
    }
}

public class Child 
    extends Parent 
{
    public Child(final String s) 
    {
        super(s);
    }
}

final 意味着每个实例可以初始化该变量一次。 编译器无法确保每个子类都会提供对birthmark的赋值，因此它强制赋值在父类的构造函数中发生。

我添加了对 null 的检查，只是为了表明您还可以获得能够在一个位置而不是每个构造函数检查参数的好处。

Answer 5

为什么不将初始化委托给方法。 然后重写父类中的方法。

public class Parent {
   public final Object x = getValueOfX();
   public Object getValueOfX() {
      return y;
   }
}
public class Child {
  @Override
  public Object getValueOfX() {
     // whatever ...
  }
}

这应该允许自定义初始化。

Answer 6

是的，最终成员将被分配到声明它们的类中。 您需要向 Parent 添加一个带有 String 参数的构造函数。

Answer 7

在超类中声明由子类调用的构造函数。
您必须在超类中设置该字段以确保其已初始化，否则编译器无法确保该字段已初始化。

Answer 8

您可能希望有一个 Parent(Stringbirthmark) 构造函数，以便确保在 Parent 类中 Final 始终被初始化。 然后你可以从 Child() 构造函数中调用 super(birthmark) 。