Class类文件结构浅析

欢迎转载,转载需注明出处!

-------------

前言

class文件时java虚拟机执行引擎的数据入口,也是java技术体系的基础支柱之一,了解class文件的结构对后面进一步了解虚拟机执行引擎有很重要的意义。

概要:

class文件是一组以八位字节为基础单位的二进制流,各个数据项目严格按照顺序紧凑地排列在class文件中,中间没有添加任何分隔符,这使得整个class文件中存储的内容几乎全部都是程序运行的必要数据,没有空隙存在。当需要占用8位字节以上的空间数据时,则会按照高位在前的方式分割成若干个8位字节进行存储。

class文件结构介绍:

根据java虚拟机规范的规定,class文件格式采用一种类似c语言结构体的伪结构来存储,这种伪结构中只有两种数据类型:无符号数和表

无符号数:无符号数属于基本的数据类型,以u1,u2,u4,u8来分别代表1个字节,2个字节,4个字节和8个字节的无符号数,无符号数可以用来描述数字、索引引用、数量值,或者按照utf-8编码构成字符串值。

表:表是由多个无符号数或者其他表作为数据项构成的复合数据类型,所有表都习惯性地以“_info“结尾。表用于描述有层次关系的复合结构的数据,整个class文件本质上就是一张表,它由下列数据项构成:

ClassFile {
    u4 magic;//魔数(0xCAFEBABE)
    u2 minor_version;//次版本号
    u2 major_version;//主版本号
    u2 constant_pool_count;//常量池容量计数值
    cp_info constant_pool[constant_pool_count-1];//常量池
    u2 access_flags;//访问标志
    u2 this_class;//类索引
    u2 super_class;//父类索引
    u2 interfaces_count;//接口计数器
    u2 interfaces[interfaces_count];//接口索引集合
    u2 fields_count;//字段计数器
    field_info fields[fields_count];//字段表
    u2 methods_count;//方法计数器
    method_info methods[methods_count];//方法表
    u2 attributes_count;//属性表计数器
    attribute_info attributes[attributes_count];//属性表集合
}

无论是无符号数还是表,当需要描述的同一类型但是数量不定的多个数据时,经常会使用一个前置的容量计数器加若干个连续的数据项的形式(比如说一个类可能实现了多个接口,这时候需要一个计数器来指定接口的数量),这时候称这一系列连续的某一类型的数据为某一类型的集合。上面的文件格式是固定的,每个数据项的顺序,占用字节数都是被严格限定的,不允许改变。

下面依次介绍每个数据项的含义:

1.魔数:class文件头四个字节代表魔数,它的作用是用于确定该文件是一个能被虚拟机接受的class文件,其值为0xCAFEBABE.

2.版本:魔数后四个字节代表class文件的版本号,其中前两个字节代表次版本号,后两个字节代表主版本号。高版本的jdk能向下兼容以前版本的class文件,但不能运行以后版本的class文件。

3.常量池:主版本之后的是常量池入口,常量池是class文件结构中与其他项目关联最多的数据类型,也是占用class文件空间最大的数据项目之一,同时还是在class文件中第一个出现的表类型的数据项目。因为常量池中常量数量不固定,所以在常量池入口前需要放置一个计数器,占用两个字节。比如如果该位置的值为0x0016,那就代表常量池中有21项常量(从1开始),第0项空出来是为了满足后面某些指向常量池的索引值的数据在特定情况下需要表达”不引用任何一个常量池项目“的意思,这种情况就可以把索引置为0来表示。class文件结构只有常量池的容量计数器是从1开始的,其他集合类型都是从0开始的。

常量池中主要存放两类数据:字面量和符号引用;

(1)字面量:比如文本字符串,被声明为final的常量值等。

(2)符号引用:包括类和接口的权限定名,字段的名称和描述符,方法的名称和描述符。

注:class文件并不保存各个方法和字段的最终内存布局信息,因此这些字段和方法的符号引用不经过转换的话是无法直接被虚拟机使用的,当虚拟机运行时,需要从常量池中获得对应的符号引用,再在类创建时或者运行时解析并翻译到具体的内存地址上(执行引擎在类加载的解析阶段完成符号引用到直接引用的转化)。

常量池中的每一项常量都是一个表,每种表都有一个特点,那就是第一位是一个u1类型的标志位(tag,取值为1-12,缺少2),代表当前这个常量属于哪种常量类型,所有常量类型所代表的的含义如下:

而这每一种类型都有自己的结构,具体如下:

4.访问标志(access_flags):常量池之后,紧接着的两个字节代表访问标志,这个标志用于识别一些类或者接口层次的访问信息(比如这个class是否是public是否是final等等),具体如下:

5.类索引,父类索引,接口索引:类索引和父类索引都是一个u2类型的数据,而接口索引集合时一组u2类型的数据的集合,class文件中由这三项数据来确定这个类的继承关系。类索引用于确定这个类的全限定名,父类索引用于确定这个类的父类的全限定名(除了kava.lang.Object以外所有类的父类索引均不为0)。接口索引集合用来描述这个类实现了哪些接口。

类索引和父类索引用两个u2类型的索引值表示,它们各自指向一个类型为CONSTANT_Class_info的类描述符常量,通过CONSTANT_Class_info类型的常量中的索引值可以找到定义在CONSTANT_Utf8_info类型的常量中的全限定名字符串。

6.字段表集合:字段表集合用于描述接口或者类中声明的变量。字段包括了类级变量或者实例级变量,但是不包括方法内部声明的变量。其结构如下:

首先两个字节是访问符,这跟类中的access_flags非常类似,都是u2数据类型,其中可以设置的标志位的含义如下:

其次是name_index,这是一个指向常量池的引用,代表字段的简单名称(指没有类型和参数修饰的方法或者字段名称);

紧接着两个字节是descriptor_index,字段方法描述符。描述符的作用是用来描述字段的数据类型、方法的参数列表(包括数量,类型以及顺序)和返回值。根据规则,基本数据类型及代表无返回值的void类型都用一个大写字符来表示,而对象类型则用字符L加对象的全限定名来表示。

对于数组类型,每一维度会使用‘[’字符来表示,比如定义java.lang.String[][]类型的二维数组,将被记录为[[Ljava/lang/String,而整型数组则标记为[I。

用描述符来描述方法时,按照县参数列表,后返回值的顺序,参数列表按照参数的严格顺序放在一组小括号”()“之内。比如void func(),描述符为()V,void foo(int[] a,cha b),描述为([IC)V.

描述符之后是属性表集合(attributes,当然之前是属性表计数器),它用于存储一些额外的信息。

7.方法表集合:内容跟属性表集合基本一致,下面是其结构:

但是access_flags访问标志与字段表是有区别的:

另外,方法里的java代码,经过javac编译器编译成字节码指令后,将存放在方法的属性表集合(attributes)中的一个名为code的属性里面.

8.属性表集合:在class文件、字段表、方法表中都可以携带字节的属性表集合,用于描述某些场景专有的信息。属性表中的数据项目不需要有严格的顺序,java虚拟机在运行时会自动的忽略掉不认识的属性,其中系统预定义了9种虚拟机应该识别的属性,如下:

每一种属性的名称都是引用的常量池中的常量,属性值的结构可以自定义,但是需要符合下面的结构:

重点介绍下Code属性。

Code属性:java程序方法体里面的代码经过javac编译器处理后,最终变为字节码指令存储在code属性中,code属性出现在方法表的属性集合中,并非所有方法表都必须有code属性,比如抽象方法,code属性结构如下:

首先attribute_name_index是一项指向常量池的引用(CONSTANT_Utf8_info),值为Code,它代表属性名称;attribute_length代表属性值的长度;max_stack代表操作数栈的最大深度,在方法执行的任意时刻,操作数栈都不会超过这个深度,虚拟机运行的时候将根据这个值来分配栈帧中的操作数栈深度。紧接着max_locals代表局部变量表所需的存储空间。这里需要注意的是,max_locals的单位是slot,slot即槽,是虚拟机为局部变量分配内存所使用的最小单位。基本数据类型除了double和long都占用1slot,double和long占用2slot,另外reference和returnAddress占1slot;code_length和code用来存储java源程序编译后生成的字节码指令。

Class类文件结构浅析,码迷,mamicode.com

时间: 2024-09-28 00:18:44

Class类文件结构浅析的相关文章

class文件结构浅析(2)

欢迎转载,转载需声明出处 ------------------ 请先看上一篇:Class类文件结构浅析 上一篇讲的都是理论,下面我们亲自实践一下. 首先编写一个简单的java类: public class Test { private int m; private String str; public int func(int m,String str) { str += "OK"; m = 10; return -1; } public static void main(String

JVM总结(三):类文件结构

这一节我们来总结一下类文件结构方面的知识.目录如下: 类文件结构 字节码的意义 Class类文件的结构 Class类文件的存储形式 Class文件的格式 Class类文件结构详解 举例详解 一.写程序 二.查看生成的相应的Class文件的16进制形式 三.深入解析 类文件结构 字节码的意义 为什么存在字节码?  字节码是构成Java平台无关性的基石.实现语言无关性的基础是虚拟机和字节码存储格式.  Java语言中的各种变量.关键字和运算符的语义最终是由多条字节码命令组成,因此字节码命令所能提供的

深入理解JVM读书笔记: Class类文件结构

Class文件是一组以8位字节为基础单位的二进制流.采用一种类似于C语言结构体的微结构来存储数据,只有两种数据类型:无符号数和表.其中无符号数数据基本的数据类型,以u1.u2.u4.u8表示1.2.4.8字节的无符号数,用于描述数字.索引引用.数量值或者UTF-8编码字符串:表则是由无符号树和其他表的复合数据类型,以_info后缀.整个Class文件本质上就是一张表: 解析Class文件各个数据项含义: 魔数 头4个字节为魔数Magic Number,唯一作用是识别文件是否能被虚拟机接受. 版本

java类文件结构(字节码文件)

[0]README 0.1)本文部分文字描述转自 "深入理解jvm",旨在学习类文件结构  的基础知识: 0.2)本文荔枝以及荔枝的分析均为原创: 0.3)下面的截图中有附注t*编号,不关乎博文内容: [1]类文件概述 1)各种不同平台的虚拟机与所有平台都统一使用存储格式--字节码,他是构成平台无关性的基石: 2)时至今日,商业机构和开源机构已经在 java语言外发展出一大批在 jvm 上运行的语言,如 Groovy, JRuby, Jython,Scala等: 3)实现语言无关性的基

Java类文件结构

Java类文件结构 阅读目录 一.概述 二.Class类文件的结构 三.字节码指令 四.参考资料 回到顶部 一.概述 实现语言无关性的基础是虚拟机和字节码存储格式.Java虚拟机不和包括Java在内的任何语言绑定,只与"Class文件"这种特定的二进制文件所关联,Class文件中包含了Java虚拟机指令集合符号表以及若干其它辅助信息.Java虚拟机作为一个通用的.机器无关的执行平台,任何其他语言都可以将其作为语言的产品交付媒介. 回到顶部 二.Class类文件的结构 Class文件是一

Java虚拟机 - Class类文件结构

[深入Java虚拟机]之二:Class类文件结构 平台无关性 Java是与平台无关的语言,这得益于Java源代码编译后生成的存储字节码的文件,即Class文件,以及Java虚拟机的实现.不仅使用Java编译器可以把Java代码编译成存储字节码的Class文件,使用JRuby等其他语言的编译器也可以把程序代码编译成Class文件,虚拟机并不关心Class的来源是什么语言,只要它符合一定的结构,就可以在Java中运行.Java语言中的各种变量.关键字和运算符的语义最终都是由多条字节码命令组合而成的,

深入了解Java虚拟机(3)类文件结构

虚拟机执行子系统 一.类文件结构 1.魔数和class版本 1.magic-魔数:0xCAFEBABE:4字节 2.minor_version:次版本,丶之后的数字:2字节 3.major_version:主版本,丶之前的数字:2字节 2.常量池 1.constant_pool_count:常量池常量数量(= 此值 - 1):2字节 由于常量池中常量的数量是不固定的,所以在常量池的入口需要放置一项u2类型的数据,代表常量池容量计数值. 2.constant_pool:常量,第一位为类型位,之后的

Class类文件结构、类加载机制以及字节码执行

一.Class类文件结构 Class类文件严格按照顺序紧凑的排列,由无符号数和表构成,表是由多个无符号数或其他数据项构成的符合数据结构. Class类文件格式按如下顺序排列:   类型 名称 数量 u4 magic(魔术) 1 u2 minor_version(次版本号) 1 u2 major_version(主版本号) 1 u2 constant_pool_count(常量个数) 1  cp_info constant_pool(常量池表) constant_pool_count-1 u2 a

(转)《深入理解java虚拟机》学习笔记5——Java Class类文件结构

Java语言从诞生之时就宣称一次编写,到处运行的跨平台特性,其实现原理是源码文件并没有直接编译成机器指令,而是编译成Java虚拟机可以识别和运行的字节码文件(Class类文件,*.class),字节码文件是一种平台无关的中间编译结果,字节码文件由java虚拟机读取,解析和执行,java虚拟机屏蔽了不同操作系统和硬件平台的差异性. 如今的java虚拟机已经称为一种通用平台,不但能够运行java语言,Groovy,JRuby,Jython等一大批动态语言也可以直接在Java虚拟机上运行,其原理也是这