实例分析Class字节码文件（三）

最新推荐文章于 2024-04-16 07:45:00 发布

javaduqing

最新推荐文章于 2024-04-16 07:45:00 发布

阅读量439

点赞数 1

分类专栏：深入理解java 文章标签： Class文件格式字节码字节码文件

本文链接：https://blog.csdn.net/disiwei1012/article/details/78224507

版权

深入理解java 专栏收录该内容

57 篇文章 2 订阅

订阅专栏

上篇必看：实例分析Class字节码文件（二）

六、属性表集合

在前面介绍的，字段表集合和方法表集合中都有使用到属性表，结构均为：

这里写图片描述

首先用2个字段标识属性表集合的大小，之后就是属性表的具体内容，属性表结构如下：

这里写图片描述

attribute_name_index : 指向运行时常量池中的某个常量
attribute_length : 属性长度
info：属性具体内容

下面开始介绍，java虚拟机可识别的属性

1.Code属性

Java程序方法体中代码经过编译后，最终变成字节码指令存储在该属性中，Code属性出现在方法表的属性集合之中，但并非所有的方法表都必须存在这个属性，譬如接口或抽象类中的方法就不存在Code属性

Code属性表结构如下：

这里写图片描述

① attribute_name_index ：属性名称，指向常量，固定值为Code

② attribute_length : 属性值的长度

③ max_stack ：操作数栈（Operand Stacks）深度的最大值，在方法执行的任意时刻，操作数栈都不会超过这个深度。虚拟机运行的时候需要根据这个值来分配栈帧（Stack Frame）中的操作栈深度

④ max_locals ：局部变量表所需的空间，单位是Slot，Slot是虚拟机为局部变量表分配内存所使用的最小单位。对于byte、char、float、int、short、boolean、returnAddress等长度不超过32位的数据结构，占用一个Slot，而double和long这种64位的数据结构需要两个Slot。

注：局部变量表存放的数据包括：
1、方法参数（包括实例方法中隐藏的参数this）
2、try-catch块，catch定义的异常
3、方法体中的局部变量

另外，并不是方法中用到了多少个局部变量，就把这些局部变量所占Slot之和作为max_locals的值，原因是局部变量表中的Slot可以复用。例如if语句

⑤code_length、code：是用来存储Java源程序编译后生成的字节码指令。前者代表字节码长度，后者是用于存储字节码指令的一系列字节流。每个指令用一个u1类型的单字节表示，当虚拟机读取到code中的一个字节码时，就可以对应找到这个字节码代表是是什么指令，并可以知道这个指令后面是否需要跟随参数，以及参数应当如何理解。

u1表示8bit，0~255，一共可以表示256个指令。

注：目前，jvm已经定义了其中约200条编码值对应的指令含义

code_length是一个u4类型，理论上指令数量可以为2的32次方减1，但是在虚拟机规范中明确限制了一个方法不允许超过65535个指令，实际上只使用了u2的长度。

继续分析字节码文件，方法的code属性为例：

max_stack : 00 01
max_locals : 00 01
code_length : 00 00 00 05
code : 2a b7 00 0a b1

通过javap 查看如下：

这里写图片描述

通过上图发现：args_size = 1，即方法参数有一个，即this，局部变量表第一个Slot就是来存放指向当前对象实例的局部变量（this）

在code后为异常信息，该实例中无异常信息。重新举例如下：

public class TestClass {

    public int inc(){

        int x;

        try {
            x = 1;
            return x;
        } catch (Exception e) {
            x = 2;
            return x;
        } finally{
            x = 3;
        }

    }
}