JVM指令集2

　　new指令格式：new indexbyte1,indexbyte2

　　new指令过程：

　　要执行new指令，Jvm通过计算(indextype1<<8)|indextype2生成一个指向常量池的无符号16位索引。然后JVM根据计算出的索引查找JVM常量池入口。该索引所指向的常量池入口必须为CONSTANT_Class_info。如果该入口尚不存在，那么 JVM将解析这个常量池入口，该入口类型必须是类。JVM从堆中为新对象映像分配足够大的空间，并将对象的实例变量设为默认值。最后JVM将指向新对象的引用objectref压入操作数栈。

　　dup指令格式：dup

　　dup指令过程：

　　要执行dup指令，JVM复制了操作数栈顶部一个字长的内容，然后再将复制内容压入栈。本指令能够从操作数栈顶部复制任何单位字长的值。但绝对不要使用它来复制操作数栈顶部任何两个字长(long型或double型)中的一个字长。上面例中，即复制引用objectref，这时在操作数栈存在2 个引用。

　　ldc指令格式：ldc,index

　　ldc指令过程：

　　要执行ldc指令，JVM首先查找index所指定的常量池入口，在index指向的JVM常量池入口，JVM将会查找 CONSTANT_Integer_info，CONSTANT_Float_info和CONSTANT_String_info入口。如果还没有这些入口，JVM会解析它们。而对于上面的haha,JVM会找到CONSTANT_String_info入口，同时，将把指向被拘留String对象(由解析该入口的进程产生)的引用压入操作数栈。

　　invokespecial指令格式：invokespecial,indextype1,indextype2

　　invokespecial指令过程：对于该类而言，该指令是用来进行实例初始化方法的调用。上面例子中，即通过其中一个引用调用String类的构造器，初始化对象实例，让另一个相同的引用指向这个被初始化的对象实例，然后前一个引用弹出操作数栈。

　　astore_1指令格式：astore_1

　　astore_1指令过程：

　　要执行astore_1指令，JVM从操作数栈顶部弹出一个引用类型或者returnAddress类型值，然后将该值存入由索引1指定的局部变量中,即将引用类型或者returnAddress类型值存入局部变量1。

　　return 指令的过程:

　　从方法中返回，返回值为void，要执行astore_1指令，JVM从操作数栈顶部弹出一个引用类型或者returnAddress类型值，然后将该值存入由索引1指定的局部变量中,即将引用类型或者returnAddress类型值存入局部变量1。

　　通过上面6个指令，可以看出，String s = new String("haha");中的haha存储在堆空间中，而s则是在操作数栈中。上面是对s和haha值的内存情况的分析和理解;那对于String s = new String("haha");语句,到底创建了几个对象呢?这里"haha"本身就是JVM常量池中的一个对象，而在运行时执行new String()时，将JVM常量池中的对象复制一份放到堆中，并且把堆中的这个对象的引用交给s持有。所以这条语句就创建了2个String对象。下面是一些String相关的常见问题：

　　String中的final用法和理解

　　final StringBuffer a = new StringBuffer("111"); final StringBuffer b = new StringBuffer("222"); a=b;//此句编译不通过 final StringBuffer a = new StringBuffer("111"); a.append("222");//编译通过

　　可见，final只对引用的"值"(即内存地址)有效，它迫使引用只能指向初始指向的那个对象，改变它的指向会导致编译期错误。至于它所指向的对象的变化，final是不负责的。

　　String 常量池问题的几个例子

　　下面是几个常见例子的比较分析和理解：

 

 

final StringBuffer a = new StringBuffer("111");    
final StringBuffer b = new StringBuffer("222");    
a=b;//此句编译不通过    
final StringBuffer a = new StringBuffer("111");    
a.append("222");//编译通过