哪个先跑？实例变量或超级构造函数的默认值？

Question

根据SCJP6（第507页），我发现在超类构造函数完成之前，实例变量被分配了默认值，我在调试模式下尝试了一个例子，但我看到超级承包商在实例变量获得默认值之前运行，有人能向我解释一下吗？

我举了一个例子，以防有人想试试：

package courseExercise;

class test {
    test() {
        System.out.println("Super Constructor run");
    }
}

public class Init extends test {

    private Integer i = 6;
    private int j = 8;

    Init(int x) {
        super();
        System.out.println("1-arg const");
    }

    Init() {
        System.out.println("no-arg const");
    }

    static {
        System.out.println("1st static init");
    }
    public static int d = 10;
    {
        System.out.println("1st instance init");
    }
    {
        System.out.println("2nd instance init");
    }
    static {
        System.out.println("2nd static init");
    }

    public static void main(String[] args) {
        new Init();
        new Init(7);
    }
}

Answer 1

JLS 12.5中规定了初始化顺序：

1. 首先，为新对象分配内存
2. 然后对象中的所有实例变量（包括在这个类及其所有超类中定义的变量）都初始化为默认值
3. 最后，调用构造函数。

规范的相关部分是：

......

如果没有足够的可用空间为对象分配内存，则类实例的创建会突然完成，并出现OutOfMemoryError。否则，新对象中的所有实例变量（包括在超类中声明的实例变量）都将初始化为其默认值（§4.12.5）。

在返回对新创建对象的引用作为结果之前，将使用以下过程处理指示的构造函数以初始化新对象：

......

这就是你不应该从构造函数中调用非final方法的原因之一：该方法可能会被子类覆盖，在这种情况下，该方法将在子类有机会设置该方法可能需要的状态之前被调用。考虑一下这个例子：

public class Super {
  private final int superValue;

  protected Super() {
    superValue = getSuperValue();
  }

  protected int getSuperValue() {
    return 1;
  }

  @Override
  public String toString() {
    return Integer.toString(superValue);
  }
}

public class Sub extends Super {
  private final int superValueOverride;

  public Sub(int value) {
    this.superValueOverride = value;
  }

  @Override
  protected int getSuperValue() {
    return superValueOverride;
  }

  public static void main(String[] args) {
    Super s = new Sub(2);
    System.out.println(s);
  }
} 

它看起来像是s.superValue应该是2，对吗？毕竟，Sub覆盖getSuperValue（）以返回superValueOverride的值，该值初始化为2。但是在初始化任何Sub字段之前（除了它们的默认值），就会调用该方法，因此s.superValue实际上是0（superValueOverride的默认值）。

这甚至更奇怪，因为superValueOverride是final，但它似乎改变了它的值！当Super调用getSuperValue（）时，它是0，只有在Super构造函数完成后，它才被赋予其最终值2（或传递给构造函数的任何值）。