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表达式里的语义。

你可能感兴趣的:(JavaSE)