java成员变量在什么时候赋值的?

作者：RednaxelaFX
链接：https://www.zhihu.com/question/36643366/answer/68519999
来源：知乎
著作权归作者所有，转载请联系作者获得授权。

从Java SE 6开始是这样的：

public class MyClass {
  private int a = 1; // field declaration with initializer

  {
    // instance initializer 1
    a = 2;
  }

  public MyClass() {
    // constructor
    a = 4;
  }

  {
    // instance initializer 2
    a = 3;
  }
}

这个MyClass的构造器从Java语言层面看就是public MyClass() { ... }的部分。不过对JVM来说所有实例初始化动作都要收集到“特殊的实例初始化方法”（名为“”，内容对应所有实例初始化器+构造器）里，所以上面的代码从JVM的角度看会是这样：

public class MyClass {
  private int a;

  public void <init>() {
    // implicit superclass constructor call
    super();
    // field initializer
    a = 1;
    // instance initializer 1
    a = 2;
    // instance initializer 2
    a = 3;
    // explicit constructor
    a = 4;
  }
}

这个合成的()V里，先是构造器里隐式或显式的super()调用，然后是按代码顺序把实例初始化动作（包括实例字段初始化与匿名的实例初始化器）收集起来，然后是构造器自身的内容。

Java语言规范里对构造器中super()调用的位置的限制其实颇为鸡肋。一来可以通过上述方式通过写字段初始化或实例初始化器来在super()前执行代码，二来就算不用它们而只用普通的构造器也还是可以在super()前执行代码，只要super()可以接受至少一个参数——做法如下：

public class Derived extends Base {
  public Derived() {
    super(foo()); // assuming there's a Base(int) constructor
    System.out.println("Derived ctor");
  }

  private int foo() {
    System.out.println("foo!"); // arbitrary side effect
    return 42;
  }
}

只要基类有接受至少一个参数的构造器，子类的构造器在调用super()时就可以调用任意方法去提供那个参数的值，于是就可以在真的调用super()前产生任意的副作用了。

题主问题说：

构造器的目的是分配实例对象的内存空间

这是错误的。Java语言里，new表达式总体负责两个动作：

1. 分配对象空间并对其做默认初始化。默认初始化会将对象的所有成员字段设到其类型对应的默认值（零值）。
2. 初始化对象

其中构造器只负责第2点，第1点是包含在new表达式里的语义。