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

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

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

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

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

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

　　

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

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

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

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

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

• 有显式this()调用的构造器就会抑制掉该构造器里隐式的super()调用；
• 没有显式this()调用的构造器则会得到隐式的super()调用。

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

public class Base {
  private int x;
  public Base() {
    // super(); // 这里开头没有this()调用，编译器会合成隐式的super()调用
    this.x = 42;
  }
}

public class Derived extends Base {
  private char c;
  private Object o;

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

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

  public Derived(char c, 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 this must 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之类的涉及类型检查的操作时，类的元数据里的结构信息就派上用场了。