关于构造器中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之类的涉及类型检查的操作时,类的元数据里的结构信息就派上用场了。

Java 类的构造器中this()和super()的困惑的更多相关文章

  1. Java类继承关系中的初始化顺序

    Java类初始化的顺序经常让人犯迷糊,现在本文尝试着从JVM的角度,对Java非继承和继承关系中类的初始化顺序进行试验,尝试给出JVM角度的解释. 非继承关系中的初始化顺序 对于非继承关系,主类Ini ...

  2. Java 类在 Tomcat 中是如何加载的?

    作者 :xingoo https://www.cnblogs.com/xing901022/p/4574961.html 说到本篇的Tomcat类加载机制,不得不说翻译学习Tomcat的初衷. 之前实 ...

  3. java类集开发中一对多和多对多的关系的实现

    摘自<java开发实战经典>李兴华.著 一对多的关系 一个学校可以包含多个学生,一个学生属于一个学校,那么这就是一个典型的一对多关系,此时就可以通过类集进行关系的表示. 在定义Studen ...

  4. 【深入理解JVM】:Java类继承关系中的初始化顺序

    尝试着仔细阅读thinking in java 看到一篇很好的文章http://blog.csdn.net/u011080472/article/details/51330114

  5. Java 类的构造器的调用顺序

    规则如下: 对于一个复杂的对象,构建器的调用遵照下面的顺序: (1) 调用父类构建器.这个步骤会不断重复下去,首先得到构建的是分级结构的根部,然后是下一个子类,等等.直到抵达最深一层的子类. (2) ...

  6. java 中 this 和 super 说明及在构造器中super()和this()相互调用执行顺序

    this this 表示当前对象 使用上细分的话,this有 this. 和this()的使用情况 ,下面我们开始细撸 this . 使用场景一: 在成员方法中,this.变量名 指带当前对象的变量, ...

  7. 【Java基础】面向对象中

    面向对象中 这一章主要涉及面向对象的三大特征,包括封装.继承.多态.(抽象). 封装 程序设计追求"高内聚,低耦合": 高内聚 :类的内部数据操作细节自己完成,不允许外部干涉: 低 ...

  8. 韩顺平Java(持续更新中)

    原创上课笔记,转载请注明出处 第一章 面向对象编程(中级部分) PDF为主 1.1 IDEA 删除当前行,ctrl+y 复制当前行,ctrl+d 补全代码,alt+/ 添加或者取消注释,ctrl+/ ...

  9. java类和对象的基础(笔记)

    在Java类的设计中,有时希望一个类在任何时候只能有一个实例.这时可以将该类设计为单例模式(singleton).要将一个类设计为单例模式,需要把类的构造方法的访问修饰符声明为private,然后在类 ...

随机推荐

  1. $\LaTeX$数学公式大全5

    $5\ Variable-sized\ symbols(displayed\ formulae\ show\ larger\ version)$$\sum$ \sum$\prod$ \prod$\co ...

  2. tkmybatis逆向工程关于tinyint的玄学问题

    数据库中存储的数据类型是tinyint(1) state tinyint(1) 状态0-未完成:1-待提交:2-待支付:3支付失败: 不为空 tinyint(1)存储的时候会存储下面长度的数字 但是在 ...

  3. python递归获取目录下指定文件

    获取一个目录下所有指定格式的文件是实际生产中常见需求. import os #递归获取一个目录下所有的指定格式的文件 def get_jsonfile(path,file_list): dir_lis ...

  4. RobotFramework测试库速查表

    标准库 序号 标准库 说  明 1 Builtin 包含经常需要的关键字,自动导入无需import 2 Dialogs 提供了暂停测试执行和从用户的输入方式 3 Collections 提供一组关键词 ...

  5. mandatory argument 'crshome' is missing

    1. 错误信息 在oracle  10.2.0.4 to 11.1.0.6 的各个版本中,尽管变量ORA_CRS_HOME设置正确,也会遇到如下错误: # ./diagcollection.pl -c ...

  6. 六十七:flask上下文之Local线程隔离对象

    Local对象在flask中,类似于request对象,其实是绑定到了werkzeug.local.Local对象上,这样即使是同一个对象,在多线程中都是隔离的,类似的对象还有session以及g对象 ...

  7. python 学习笔记(二):为元组的每个元素命名,提高程序的可读性

    在程序中有些数据为固定格式时,即字段数量确定.字段位置顺序确定不变,我们就可以用元组来储存.使用元组的优势是储存空间很小,访问速度也很快.如下代码对每个学生信息用元组来表示: # ('Jim', 16 ...

  8. 性能测试的 Check List (不断更新中)

    1. 开发人员是否提交了测试申请?2. 测试对象是否已经明确?3. 测试范围是否已经明确?4. 本次不被测试的范围是否已经明确?5. 测试目标是否已经明确?6. 何时开始性能测试?7. 何时终止一轮性 ...

  9. JsonResponse简单使用

    一个简单的django项目 urlpatterns = [ # views.hello 是执行views中的hello函数 # name 是URL的别名 url(r'^hello/', views.h ...

  10. jQuery页面加载完毕事件及jQuery与JavaScript的比较

    1.jQuery概述 jQuery是一个JavaScript库,它集成了JavaScript.DOM.CSS和Ajax,简化了JavaScript编程,提倡write less, do more. 2 ...