java字节码构造对象为什么需要dup命令

package jvm.study;

public class Test {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		Test t = new Test();
	}

}

这段代码所产生的字节码如下

// Compiled from Test.java (version 1.6 : 50.0, super bit)
public class jvm.study.Test {
  
  // Method descriptor #6 ()V
  // Stack: 1, Locals: 1
  public Test();
    0  aload_0 [this]
    1  invokespecial java.lang.Object() [8]
    4  return
      Line numbers:
        [pc: 0, line: 3]
      Local variable table:
        [pc: 0, pc: 5] local: this index: 0 type: jvm.study.Test
  
  // Method descriptor #15 ([Ljava/lang/String;)V
  // Stack: 2, Locals: 2
  public static void main(java.lang.String[] args);
    0  new jvm.study.Test [1]
    3  dup
    4  invokespecial jvm.study.Test() [16]
    7  astore_1 [t]
    8  return
      Line numbers:
        [pc: 0, line: 9]
        [pc: 8, line: 10]
      Local variable table:
        [pc: 0, pc: 9] local: args index: 0 type: java.lang.String[]
        [pc: 8, pc: 9] local: t index: 1 type: jvm.study.Test
}

这里可以看到其中main方法主要做的

    0  new jvm.study.Test [1]
    3  dup
    4  invokespecial jvm.study.Test() [16]
    7  astore_1 [t]
    8  return

这里有个dup指令。其作用就是复制之前分配的jvm.study.Test空间的引用并压入栈顶。那么这里为什么需要这样么做呢？因为invokespecial指令通过[16]这个常量池入口寻找到了jvm.study.Test()构造方法，构造方法虽然找到了。但是必须还得知道是谁的构造方法，所以要将之前分配的空间的应用压入栈顶让invokespecial命令应用才知道原来这个构造方法是刚才创建的那个引用的，调用完成之后将栈顶的值弹出。
之后调用astore_1将此时的栈顶值弹出存入局部变量中去。

评论

1 楼 kabike 2015-12-07  

感觉需要dup是因为构造方法没有返回值