Java之深入JVM(3) - 由一个栈溢出的问题看Java类和对象的初始化

今天，在一个群里面有网友问到这样一个问题,以下代码被调用运行时为何会造成栈溢出(StackOverflowError)的错误:

public class Constructor {
    Constructor c = new Constructor();

    public static void main(String[] args) {
        Constructor test = new Constructor();

    }
}

一般人，初看感觉没啥问题，但是自己在机器上跑了一下，就会爆出这样的错误，如图

从这些错误中我们可以得到这样一个信息:程序运行时候，Constructor实例初始化方法

（在这里就是<init>,这个后面还会细讲），被疯狂的调用。

群里面的人，对这个问题的回答，其中有个网友通过现象推结果，说是:“在这个Constuctor类中，由于类的成员c本身就是

Constructor类型的，所以当类的成员初始化时，类的构造函数就被递归调用了”。 

这个回答，说实话挺没逻辑的，看的我比较云里雾里。其实这个问题如果我们从反汇编后的该类的字节码入手，

就能很清楚的得到问题的答案了.

我们用java –p Constructor 得到反汇编后的字节码,如下:

public   class  Constructor  extends  java.lang.Object{
Constructor c;

public  Constructor();
  Code:
    0 :   aload_0
    1 :   invokespecial   # 10 ;  // Method java/lang/Object."<init>":()V
    4 :   aload_0
    5 :    new      # 1 ;  // class Constructor
    8 :   dup
    9 :   invokespecial   # 12 ;  // Method "<init>":()V
    12 :  putfield        # 13 ;  // Field c:LConstructor;
    15 :   return

public   static   void  main(java.lang.String[]);
  Code:
    0 :    new      # 1 ;  // class Constructor
    3 :   dup
    4 :   invokespecial   # 12 ;  // Method "<init>":()V
    7 :   astore_1
    8 :    return

}

   我们只要关注此类的构造方法Constructor中的代码就行了,我们可以发现在这构造方法里面，

出现了new #1;//class Constructor 这样的语句，他表示创建一个Constructor类型的对象。

从这里面我们便可以明白：

即便你在构造函数外面，显式的初始化了一个成员如c,但是类编译后运行时，

这种显式初始化成员的真正初始化还是放在构造函数中，统一进行的。

所以像刚才的那种代码，相当于就是在Constructor构造函数里面调用了自身.就像下面代码一样:

public   class  Constructor {

    Constructor c;

     public  Constructor() {
        c  =   new  Constructor();
    }

     public   static   void  main(String[] args) {
        Constructor test  =   new  Constructor();

    }
}

 

你说怎么可能不栈溢出呢？

PS:顺便补充一下，几条Bytecode指令的意思: new 创建一个新对象.

       invokespecial  根据编译时类型来调用实例方法.

       invokevirtual   根据运行时对象实际类型，来调用实例方法.

       putfield          设置对象中字段的值.