最近很火的一道 面向对象的面试题 ——携程Java工程师(SBU)

本文主要是介绍最近很火的一道 面向对象的面试题 ——携程Java工程师(SBU),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

该题目源自微信公众号(程序员的那些事)的推送:携程 Java 工程师的一道面向对象面试题

题目是这样的:求下面程序的输出:

最近这道面试题,传遍程序员各大小园地,本小白特摘抄整理与大家一起学习:

原题:

package com.gxlee;public class Base {private String baseName=  "base";public Base() {callName();}public void callName(){System.out.println(baseName);}static class Sub extends Base{private String baseName = "sub";public void callName(){System.out.println(baseName);}}public static void main(String[] args) {Base b = new Sub();System.out.println(b);}
}

求这段程序的输出。


很显然一开始我也做错了,原因很简单,这道题目考察什么我大概知道,可是之前在学习类的加载机制时对类的初始化过程还比较了解,但实例变量的初始化过程比较模糊。这里还牵扯的难点有:继承的时候子类的同名属性不会覆盖父类,会将父类的属性隐藏;在父类的构造函数里面调用虚函数引起多态的变态代码。

接下来查看了一下深入Java虚拟机(Bill Venners著) 等才对该问题有了清楚的认识。下面我会尽量简单而清晰的将其分析的透彻明了。

前面我在JAVA类加载和初始化 中简单的讲解了类的加载链接初始化过程,有兴趣的可以看看,里面也有一道变态的题目。

类的实例变量初始化的过程 
一旦一个类被加载连接初始化,他就可以随时被使用了,程序可以访问他的静态字段,调用静态方法,或者创建它的实例。在Java程序中类可以被明确或者隐含地实例化,有四种途径:明确使用new操作符;调用Class或者Constructor对象的newInstance()方法;调用任何现有对象的clone()方法;或者通过objectInputStream类的getObject()方法反序列化。

当虚拟机创建一个新的实例时,都需要在堆中为保存对象的实例分配内存。所有在对象的类中和它的超类中声明的变量(包括隐藏的实例变量)都要分配内存。一旦虚拟机为新的对象准备好堆内存,它立即把实例变量初始化为默认的初始值。这一点很类似于类变量在链接的准备阶段赋予默认初始值是一样样的。

一旦虚拟机完成了为新的对象分配内存和为实例变量初始化为默赋予正确认的初始值后,接下来就会为实例变量的初始值。即调用对象的实例初始化方法,在java的class文件中称之为< init >()方法,类似于类初始化的< clinit >()方法。

一个< init >()方法可能包含三种代码:

  • 调用另一个< init >()方法
  • 实现对任何实例变量的初始化
  • 构造方法体的代码

实际上,一般有下面的情况:

  • 构造函数明确的调用了同一个类中的另一个构造方法,即调用了this(),它对应的< init >()方法由两部分构成: 
    一个同类的< init >(…)方法的调用 
    实现了对应构造方法的方法体的字节码

  • 不是以this()开始的,也不是Object,由三部分组成: 
    超类的< init >()方法调用 
    任意实例变量初始化方法的字节码 
    实现了对应构造方法的方法体的字节码

什么意思?简单理解就是说< init >()就是从class文件字节码角度的构造函数,一般由Java代码里面的几部分构成。

超类的< init >()方法调用———————>对应super() 
任意实例变量初始化方法的字节码————>对应定义变量时的赋值代码 
实现了对应构造方法的方法体的字节码——>构造函数里面的代码

注:Java保证了一个对象被初始化前其父类也必须被初始化。有下面机制来保证:Java强制要求任何类的构造函数中的第一句必须是调用父类构造函数或者是类中定义的其他构造函数。如果没有构造函数,系统添加默认的无参构造函数,如果我们的构造函数中没有显示的调用父类的构造函数,那么编译器自动生成一个父类的无参构造函数。

举个栗子:

class B {   private int b = 10;   public B(){     b = 100;   } }

编译成class文件后,使用命令 javap -c B.class 反编译 
反编译B.class

很显然可以看到初始化< init >()分为三部分

// 第一部分:父类的<init>()方法 0: aload_0 1: invokespecial #1                  // Method java/lang/Object."<init>":()V // 第二部分:实例变量初始化,也就是定义变量时的赋值 4: aload_0 5: bipush        10 7: putfield      #2                  // Field b:I // 第三部分:构造函数方法体 10: aload_0 11: bipush        100 13: putfield      #2                  // Field b:I 16: return

学习到这里总结一下前面学习的内容就是: 
Java实例变量在初始化时的顺序是父类的初始化代码(xxx—>xxx—>xxx)—>定义变量时直接赋值—>构造函数代码块。

回头看开始的问题: 
直到Base类和Sub类完成了初始化过程(类初始化完成) 
在初始化Sub对象前,首先在堆区开辟内存并将子类中的baseName和父类中的baseName(已被隐藏)均赋为null 
接下来执行对象的初始化过程,由于Sub类的构造函数没有写,初始化代码包含三部分:

  1. super();调用Base类的init<>()

    1. 调用super()也就是Object类的init<>()
    2. baseName = “base”;这里是父类的baseName赋值。
    3. 父类构造函数里面的:调用callName()由于该函数是在Sub类的里面调用的,所以当前的this其实是子类,由于多态调用子类Sub的callName方法此时子类的baseName变量还未赋值还是null!
  2. baseName = “sub”;这里是子类的baseName赋值。

  3. 空(构造函数什么都没有)  

  4. 如果你还不知道答案继续往下看:


解答此题关键在于理解和掌握类的加载过程以及子类继承父类后,重写方法的调用问题:

从程序的执行顺序去解答:

1、Base b = new Sub();

  声明父类变量b对子类的引用,JAVA类加载器将Base,Sub类加载到JVM;

2、JVM为Base,Sub 的的成员开辟内存空间

  此时,Base 和Sub类中的值为null;

3、new sub()

  调用构造函数,由于Sub类继承自Base而无自定义构造器,因此先调用父类Base的无参构造;

4、父类午餐构造的本质为:

  public Base(){

  baseName= "base";

  callName();

    }

  即将父类的baseName赋值为“base”,赋值后调用callName();

5、callName 在子类中被重写,因此调用子类的callName();

6、调用子类的callName,打印baseName

  此baseName为子类Sub的成员变量,而此时该成员尚未初始化,因此为Null;

7、实际上在new Sub()时,实际执行过程为:

  public Sub(){

      super();

   baseName = "sub"; 

    }

  可见,在baseName = "sub"执行前,子类的callName()已经执行,所以子类的baseName为默认值状态null;

总结:

最后放张图片,相信大家看到就秒懂了。


未老莫还乡 的评论:

   【不要在构造器里调用可能被重载的虚方法,这是极度危险的】。

  构造器的初始化顺序大概是:父类静态块 ->子类静态块 ->父类初始化语句 ->父类构造函器 ->子类初始化语句 子类构造器。

   父类构造器执行的时候,调用了子类的重载方法,然而子类的类字段还在刚初始化的阶段,刚完成内存布局,只能输出null。

这篇关于最近很火的一道 面向对象的面试题 ——携程Java工程师(SBU)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/559245

相关文章

JavaScript中的isTrusted属性及其应用场景详解

《JavaScript中的isTrusted属性及其应用场景详解》在现代Web开发中,JavaScript是构建交互式应用的核心语言,随着前端技术的不断发展,开发者需要处理越来越多的复杂场景,例如事件... 目录引言一、问题背景二、isTrusted 属性的来源与作用1. isTrusted 的定义2. 为

Java循环创建对象内存溢出的解决方法

《Java循环创建对象内存溢出的解决方法》在Java中,如果在循环中不当地创建大量对象而不及时释放内存,很容易导致内存溢出(OutOfMemoryError),所以本文给大家介绍了Java循环创建对象... 目录问题1. 解决方案2. 示例代码2.1 原始版本(可能导致内存溢出)2.2 修改后的版本问题在

Java CompletableFuture如何实现超时功能

《JavaCompletableFuture如何实现超时功能》:本文主要介绍实现超时功能的基本思路以及CompletableFuture(之后简称CF)是如何通过代码实现超时功能的,需要的... 目录基本思路CompletableFuture 的实现1. 基本实现流程2. 静态条件分析3. 内存泄露 bug

Java中Object类的常用方法小结

《Java中Object类的常用方法小结》JavaObject类是所有类的父类,位于java.lang包中,本文为大家整理了一些Object类的常用方法,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1. public boolean equals(Object obj)2. public int ha

SpringBoot项目中Maven剔除无用Jar引用的最佳实践

《SpringBoot项目中Maven剔除无用Jar引用的最佳实践》在SpringBoot项目开发中,Maven是最常用的构建工具之一,通过Maven,我们可以轻松地管理项目所需的依赖,而,... 目录1、引言2、Maven 依赖管理的基础概念2.1 什么是 Maven 依赖2.2 Maven 的依赖传递机

SpringBoot实现动态插拔的AOP的完整案例

《SpringBoot实现动态插拔的AOP的完整案例》在现代软件开发中,面向切面编程(AOP)是一种非常重要的技术,能够有效实现日志记录、安全控制、性能监控等横切关注点的分离,在传统的AOP实现中,切... 目录引言一、AOP 概述1.1 什么是 AOP1.2 AOP 的典型应用场景1.3 为什么需要动态插

Java实现Excel与HTML互转

《Java实现Excel与HTML互转》Excel是一种电子表格格式,而HTM则是一种用于创建网页的标记语言,虽然两者在用途上存在差异,但有时我们需要将数据从一种格式转换为另一种格式,下面我们就来看看... Excel是一种电子表格格式,广泛用于数据处理和分析,而HTM则是一种用于创建网页的标记语言。虽然两

java图像识别工具类(ImageRecognitionUtils)使用实例详解

《java图像识别工具类(ImageRecognitionUtils)使用实例详解》:本文主要介绍如何在Java中使用OpenCV进行图像识别,包括图像加载、预处理、分类、人脸检测和特征提取等步骤... 目录前言1. 图像识别的背景与作用2. 设计目标3. 项目依赖4. 设计与实现 ImageRecogni

Java中Springboot集成Kafka实现消息发送和接收功能

《Java中Springboot集成Kafka实现消息发送和接收功能》Kafka是一个高吞吐量的分布式发布-订阅消息系统,主要用于处理大规模数据流,它由生产者、消费者、主题、分区和代理等组件构成,Ka... 目录一、Kafka 简介二、Kafka 功能三、POM依赖四、配置文件五、生产者六、消费者一、Kaf

Java访问修饰符public、private、protected及默认访问权限详解

《Java访问修饰符public、private、protected及默认访问权限详解》:本文主要介绍Java访问修饰符public、private、protected及默认访问权限的相关资料,每... 目录前言1. public 访问修饰符特点:示例:适用场景:2. private 访问修饰符特点:示例: