局部变量表slot详解

1,328 阅读4分钟

持续创作,加速成长!这是我参与「掘金日新计划 · 10 月更文挑战」的第5天,点击查看活动详情

上篇关于虚拟机栈的局部变量表的文章里还有一个非常重要的属性,内容较多所以单独写一篇文章来描述

关于Slot的理解

  1. 参数值的存放总是从局部变量数组索引 0 的位置开始,到数组长度-1的索引结束。

  2. 局部变量表,最基本的存储单元是Slot(变量槽) ,局部变量表中存放编译期可知的各种基本数据类型(8种),引用类型(reference),returnAddress类型的变量。

  3. 在局部变量表里,32位以内的类型只占用一个slot(包括returnAddress类型),64位的类型占用两个slot(1ong和double)。

    • byte、short、char在储存前被转换为int,boolean也被转换为int,0表示false,非0表示true
    • long和double则占据两个slot
  4. JVM会为局部变量表中的每一个Slot都分配一个访问索引,通过这个索引即可成功访问到局部变量表中指定的局部变量值

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

  6. 如果需要访问局部变量表中一个64bit的局部变量值时,只需要使用前一个索引即可。(比如:访问long或double类型变量)

  7. 如果当前帧是由构造方法或者实例方法创建的,那么该对象引用this将会存放在index为0的slot处,其余的参数按照参数表顺序继续排列。(this也相当于一个变量)

上面的都是理论层面的比较干涩难懂,下面我们直接上例子:

Slot代码示例

this 存放在 index = 0 的位置:

public void test3() {
       this.count++;
   }

局部变量表:this 存放在 index = 0 的位置,如下图:

image.png

64位的类型(1ong和double)占用两个slot

public String test2(Date dateP, String name2) {
      dateP = null;
      name2 = "songhongkang";
      double weight = 130.5;//占据两个slot
      char gender = '男';
      return dateP + name2;
  }

weight 为 double 类型,index 直接从 3 蹦到了 5

image.png

static 无法调用 this

this 不存在与 static 方法的局部变量表中,所以无法调用,编译不通过

    public static void testStatic(){
        LocalVariablesTest test = new LocalVariablesTest();
        Date date = new Date();
        int count = 10;
        System.out.println(count);
        //因为this变量不存在于当前方法的局部变量表中!!
//        System.out.println(this.count);
    }

Slot的重复利用

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

静态变量与局部变量的对比

**

JAVA

**

变量的分类:
1、按照数据类型分:① 基本数据类型  ② 引用数据类型
2、按照在类中声明的位置分:
  2-1、成员变量:在使用前,都经历过默认初始化赋值
       2-1-1、类变量: linking的prepare阶段:给类变量默认赋值
              ---> initial阶段:给类变量显式赋值即静态代码块赋值
       2-1-2、实例变量:随着对象的创建,会在堆空间中分配实例变量空间,并进行默认赋值
  2-2、局部变量:在使用前,必须要进行显式赋值的!否则,编译不通过。
  1. 参数表分配完毕之后,再根据方法体内定义的变量的顺序和作用域分配。
  2. 我们知道成员变量有两次初始化的机会 第一次是在“准备阶段”,执行系统初始化,对类变量设置零值,另一次则是在“初始化”阶段,赋予程序员在代码中定义的初始值。
  3. 和类变量初始化不同的是,局部变量表不存在系统初始化的过程,这意味着一旦定义了局部变量则必须人为的初始化,否则无法使用。