最近很火的一道 面向对象的面试题 ——携程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 反编译 

很显然可以看到初始化< 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。