作者:RednaxelaFX
链接:https://www.zhihu.com/question/36643366/answer/68519999
来源:知乎
著作权归作者所有,转载请联系作者获得授权。
链接:https://www.zhihu.com/question/36643366/answer/68519999
来源:知乎
著作权归作者所有,转载请联系作者获得授权。
从Java SE 6开始是这样的:
这个MyClass的构造器从Java语言层面看就是public MyClass() { ... }的部分。不过对JVM来说所有实例初始化动作都要收集到“特殊的实例初始化方法”(名为“<init>”,内容对应所有实例初始化器+构造器)里,所以上面的代码从JVM的角度看会是这样:
这个合成的<init>()V里,先是构造器里隐式或显式的super()调用,然后是按代码顺序把实例初始化动作(包括实例字段初始化与匿名的实例初始化器)收集起来,然后是构造器自身的内容。
Java语言规范里对构造器中super()调用的位置的限制其实颇为鸡肋。一来可以通过上述方式通过写字段初始化或实例初始化器来在super()前执行代码,二来就算不用它们而只用普通的构造器也还是可以在super()前执行代码,只要super()可以接受至少一个参数——做法如下:
只要基类有接受至少一个参数的构造器,子类的构造器在调用super()时就可以调用任意方法去提供那个参数的值,于是就可以在真的调用super()前产生任意的副作用了。
题主问题说:
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来说所有实例初始化动作都要收集到“特殊的实例初始化方法”(名为“<init>”,内容对应所有实例初始化器+构造器)里,所以上面的代码从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;
}
}
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;
}
}
题主问题说:
构造器的目的是分配实例对象的内存空间这是错误的。Java语言里,new表达式总体负责两个动作:
- 分配对象空间并对其做默认初始化。默认初始化会将对象的所有成员字段设到其类型对应的默认值(零值)。
- 初始化对象