java虚拟机栈的内部结构（局部变量表、操作数栈、动态链接、方法返回地址）

4.6 栈帧的内部结构

内部结构有以下几个部分组成：

• 局部变量表（Local Variables）
• 操作数栈（Oprand Stack）（或表达式栈）
• 动态链接（Dynamic Linking）(或指向运行时常量池的方法引用)
• 方法返回地址（Return Address）（或方法正常退出或异常退出的定义）
• 一些附加信息

4.6.1 局部变量表

• 局部变量表也被称之为局部变量数组或本地变量表
• 定义为一个数字数组，主要用于存储方法参数和定义在方法体内的局部变量，这些数据类型包括各类基本数据类型、对象引用(reference），以及returnAddress类型。
• 由于局部变量表是建立在线程的栈上，是线程的私有数据，因此不存在数据安全问题
• 局部变量表所需的容量大小是在编译期确定下来的，并保存在方法的Code属性的maximum local variables数据项中。在方法运行期间是不会改变局部变量表的大小的。
• 数方法嵌套调用的次数由栈的大小决定。一般来说，栈越大，方法嵌套调用次越多。对一个函数而言，它的参数和局部变量越多，使得局部变量表膨胀，它的栈帧就越大，以满足方法调用所需传递的信息增大的需求。进而函数调用就会占用更多的栈空间，导致其嵌套调用次数就会减少。
• ==局部变量表中的变量只在当前方法调用中有效。==在方法执行时，虚拟机通过使用局部变量表完成参数值到参数变量列表的传递过程。当方法调用结束后，随着方法栈帧的销毁，局部变量表也会随之销毁。

public class LocalVariablesTest {
    
    private int count  = 0;
    public static void main(String[] args) {
    
        LocalVariablesTest localVariablesTest = new LocalVariablesTest();
        localVariablesTest.test1();
        int num = 10;
    }
    public void test1() {
    
        Date date = new Date();
    }
}

利用idea的插件jclasslib可以看见上述代码编译后的情况

Slot的理解

• 参数值的存放总是在局部变量数组的index0开始，到数组长度-1的索引结束。

• 局部变量表，最基本的存储单元是slot（变量槽）

• 局部变量表中存放编译期可知的各种基本数据类型(8种)，引用类型(reference)，returnAddress类型的变量。

• 在局部变量表里，32位以内的类型只占用一个slot（包括returnAddress类型），64位的类型（long和double)占用两个slot。

  • byte 、 short 、 char在存储前被转换为int，boolean也被转换为int，0表示false ，非0表示true。
  • long和double则占据两个slot。

• JVM会为局部变量表中的每一个Slot都分配一个访问索引，通过这个索引即可成功访问到局部变量表中指定的局部变量值

• 当一个实例方法被调用的时候，它的方法参数和方法体内部定义的局部变量将会按照顺序被复制到局部变量表中的每一个slot上

• 如果需要访问局部变量表中一个64bit的局部变量值时，只需要使用前一个索引即可。（比如:访问long或double类型变量）

  

• 如果当前帧是由构造方法或者实例方法创建的，那么该对象引用this将会存放在index为0的slot处，其余的参数按照参数表顺序继续排列。

  

• 栈帧中的局部变量表中的槽位是可以重用的，如果一个局部变量过了其作用域，那么在其作用域之后申明的新的局部变量就很有可能会复用过期局部变量的槽位，从而达到节省资源的目的。重复利用

      public void slotTest(){
        
          int a = 1;
          {
        
              int b = 2;
              b = a + 1;
          }
          int c = 3;
      }
  ```![在这里插入图片描述](https://img-blog.csdnimg.cn/20201009091053422.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NlZV9Dc2RuXw==,size_16,color_FFFFFF,t_70#pic_center)
  只有三个slot，因为变量b的作用域在大括号内，出大括号后b就会被销毁，变量c就会占据Index2的位置，以达到节省资源的目的。
  

变量按位置分类：