java 构造器 this_Java 类的构造器中this()和super()的困惑

关于构造器中super的使用，书本上这样写：

“super是指向父类的引用，如果构造方法没有显示地调用父类的构造方法，那么编译器会自动为它加上一个默认的super()方法调用。如果父类由没有默认的无参构造方法，编译器就会报错，super()语句必须是构造方法的第一个子句。”

首先我要纠正一个我刚刚才发现的印象流错误，我之前一直以为，无论有没有自定义构造器，编译器为自动为每个类生成一个“方法体为空的无参构造方法”。但上面那段话，指出了，一个类是有可能没有默认的无参构造方法的。于是我往回翻了书，书上的原文为：

“类可以不定义构造方法，这时编译器会为类隐含声明一个方法体为空的无参构造方法。但当类有明确声明的构造方法时，编译器就不会自动生成无参构造方法了。”

说明一旦你自定义了构造方法，编译器就不会帮你自动生成方法体为空的无参构造方法。我之前的印象流是错的。

我们再来看书本上关于this的描述：

“this表示一个对象的引用，它指向正在执行方法的对象。特别的，在构造方法中通过this关键字调用其他构造方法时，必须放在第一行，否则编译器会报错。且在构造方法中，只能通过this调用一次其他构造方法。”

综合上面的描述，会有一个疑问，能否在同一个构造器中同时显示地使用this和super？

(这个问题在知乎上有讨论，详情请转义阵地。在这里我直接搬运过来了)

假定这里讨论的构造器都没有显式的super()调用，则：

有显式this()调用的构造器就会抑制掉该构造器里隐式的super()调用；

没有显式this()调用的构造器则会得到隐式的super()调用。

this()调用会借助别的重载版本的构造器来做部分初始化，而一连串this()最后来到的构造器必然是没有显式this()调用的，这里就会有显式或隐式的super()调用。举个例子：

public classBase {private intx;publicBase() {//super();//这里开头没有this()调用，编译器会合成隐式的super()调用

this.x = 42;

}

}public class Derived extendsBase {private charc;privateObject o;publicDerived() {this('a'); //这里开头有this()调用，编译器不会合成隐式的super()调用

}public Derived(charc) {this(c, null); //同上，不会合成super()调用

}public Derived(charc, Object o) {//super();//这里开头没有this()调用，编译器会合成隐式的super()调用

this.c =c;this.o = 0;

}

}

作者：RednaxelaFX

链接：https://www.zhihu.com/question/41810504/answer/117132716

来源：知乎

著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

在这个例子里，如果有 new Derived()，则一连串的构造器调用会是：

Derived() //最初的new

Derived(char) //经过this()

Derived(char, Object) //经过this()

Base() //经过super()

Object() //来到Object()

这就是我想说的，一连串this()的最后一个必然不再会在开头有this()调用，而这个开头没有this()调用的构造器就会得到编译器给隐式合成的super()调用。

这里没有直接回答“能不能在同一构造器同时显示调用super()和this()”的问题，但考虑下，如果能的话，最终会有两次super()调用，也就是说我们没有理由，在同一个构造器中同时调用super()和this()。

那么强行在同一个构造器中同时调用super()和this()会发生什么呢？

结果是编译器禁止这样做，无论把哪个放在构造器的第一行，都会出现以下其中一个错误：

Error:(6, 13) java: call to thismust be first statement in constructor

Error:(6, 14) java: call to super must be first statement in constructor

那么super()的调用究竟完成了什么工作？难道它创建了一个父类对象吗？

首先，super是指向“父类”的引用，不是像“this”一样指向一个对象。

由于一个子类的实例会包含其所有基类所声明的字段(所有噢，包括私有，这些字段也需要初始化)，外加自己声明的字段。而super()是父类封装对自己声明的字段进行初始化的手段。

所以，并没有创建一个父类对象，因为仅仅有那些父类声明的字段构不成一个完整的实例。

Java对象是这样组织的(概念上)：

一个Derived实例就是一个Derived实例。它的this()会负责初始化自己所声明的字段的部分，而它通过(递归-)调用super()来初始化基类祖先们所声明的字段的部分。

每个Java实例上会记录足够类型信息来表明自己具体是哪个类的实例，这里就是Derived类的实例。

然后每个类的元数据会包括结构信息，例如说自己的superClass是谁。这里Derived类会知道自己的superClass是Base，而Base知道自己的superClass是Object。

当我们需要执行instanceof、checkcast、arraystore之类的涉及类型检查的操作时，类的元数据里的结构信息就派上用场了。