通过声明初始化类DS字段-在构造函数调用之前还是之后？

Question

在处理公司的遗留代码时，我在运行时遇到了NPE。 调试之后，这就是我遇到的问题：

public class ConcreteClass extends PreConcreteClass{
   private List<Object> internalDS = new ArrayList<>();
   public ConcreteClass() {
      super();
      ....
   }
   @Override
   protected void update() {
      ....
      for(Object o : internalDS) {
         ...
      }
      ...
}


public class PreConcreteClass extends AbstractClass{
   ......
   public PreConcreteClass() {
      super();
      ......
   }
   ......
}


protected abstract class AbstractClass {
    protected AbstractClass() {
       .....
       update();
       ....
    }
    protected void update() {
       .....
    }
}

在调用ConcreteClass的super和PreConcreteClass的super之后，调用ConcreteClass的重写更新方法时会引发NPE。 原因是internalDS-它为空，导致for循环引发NPE。

首先-这违反了我一直期望的-在执行构造函数的作用域之前，初始化了在声明时初始化的类字段。 通过super调用派生类的构造函数时不是这种情况吗？

第二-我通过添加一个由AbstractClass构造函数调用的init方法解决了NPE，该方法由AbstractClass给出了一个空的实现，并被ConcreteClass覆盖，并在internalDS上进行了初始化。

我在堆栈溢出中查找了一些一般性建议。 我与工作中的同事进行了一些讨论，我们同意上面的设计存在一个继承问题，从而导致了NPE。 由于这是我们不想彻底更改的遗留代码，因此我想知道是否有人可以替代我使用的init方法解决方案。 注意-每个类都有多个构造函数。

Answer 1

不，编译器在调用super之后将构造函数中的那些初始值设定项移动，因此您的代码等效于：

public class ConcreteClass extends PreConcreteClass{
   private List<Object> internalDS;
   public ConcreteClass() {
      super();
      internalDS = new ArrayList<>();
      ...
   }
   @Override
   protected void update() {
      ....
      for(Object o : internalDS) {
         ...
      }
      ...
}

请注意，有一条通用规则可以避免这种情况： 永远不要在构造函数中调用非最终方法。 它会使事情搞砸。