- 当前位置：首页 >人工智能 >jvm中类和对象定义存储基础知识
jvm中类和对象定义存储基础知识
发布时间：2025-11-05 01:28:19 来源：云智核 作者：人工智能
来源：京东技术
导读
一个java程序类文件由程序员编写并且编译二进制后，中知识如何能更节约空间、类和更安全的对象定义、更高效寻址等等，存储可以从本文略知一二。基础
本文将从以下几个点说明：
1、中知识类、类和方法、对象定义普通字段域、存储静态字段域等等字节码存储
2、基础类对象如何实例化，中知识内存分配如何，类和分配的对象定义过程中存在什么问题等等
3、方法调用的存储当前线程栈的运行情况
01类文件数据结构类型
在今年的敏捷团队建设中，我通过Suite执行器实现了一键自动化单元测试。基础Juint除了Suite执行器还有哪些执行器呢？由此我的Runner探索之旅开始了！Class文件结构主要有两种数据结构：无符号数和表
无符号数：用来表述数字，索引引用、数量值以及字符串等，比如图1中类型为u1,u2,u4,u8分别代表1个字节，2个字节，4个字节，8个字节的无符号数。
表：表是有由多个无符号数以及其它的表组成的复合结构，高防服务器比如图1中类型以_info结尾的项为表类型。
02类结构定义
理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目标页面展示到屏幕。Class类文件是紧凑、顺序、无空隙的，魔数（MagicNumber）、Class文件版本（Version）、常量池（Constant_Pool）、访问标记（Access_flag）、本类（This_class）、父类（Super_class）、接口（Interfaces）、字段集合（Fields）、方法集合（Methods ）、属性集合（Attributes）。其中因为java多继承所以interfaces接口类型为数组；attribute_info则是方法表中定义的code索引，云南idc服务商指向具体的方法体字节码。如下图（图1）所示。
图1
下面用一段程序做说明，此类有接口，有方法、类变量和实例变量，机器是如何识别字节码然后按照上面的规则来定义此class类呢？
package com.jd.crm.Logback;public class TestClass implements Super{ private static final int staticVar = 0; private int instanceVar=0; public int instanceMethod(int param) throws Exception{ return param ++; }}interface Super{ }通过javap帮助解析class文件格式如下：
Classfile /D:/spm-workspace/test/target/classes/com/jd/crm/Logback/TestClass.class Last modified 2023-4-14; size 597 bytes MD5 checksum 9d5dd9fc2145ac17393fee7a707d3b9c Compiled from "TestClass.java"public class com.jd.crm.Logback.TestClass implements com.jd.crm.Logback.Super minor version: 0 major version: 52 flags: ACC_PUBLIC, ACC_SUPERConstant pool: #1 = Methodref #4.#26 // java/lang/Object."<init>":()V #2 = Fieldref #3.#27 // com/jd/crm/Logback/TestClass.instanceVar:I #3 = Class #28 // com/jd/crm/Logback/TestClass #4 = Class #29 // java/lang/Object #5 = Class #30 // com/jd/crm/Logback/Super #6 = Utf8 staticVar #7 = Utf8 I #8 = Utf8 ConstantValue #9 = Integer 0 #10 = Utf8 instanceVar #11 = Utf8 <init> #12 = Utf8 ()V #13 = Utf8 Code #14 = Utf8 LineNumberTable #15 = Utf8 LocalVariableTable #16 = Utf8 this #17 = Utf8 Lcom/jd/crm/Logback/TestClass; #18 = Utf8 instanceMethod #19 = Utf8 (I)I #20 = Utf8 param #21 = Utf8 Exceptions #22 = Class #31 // java/lang/Exception #23 = Utf8 MethodParameters #24 = Utf8 SourceFile #25 = Utf8 TestClass.java #26 = NameAndType #11:#12 // "<init>":()V #27 = NameAndType #10:#7 // instanceVar:I #28 = Utf8 com/jd/crm/Logback/TestClass #29 = Utf8 java/lang/Object #30 = Utf8 com/jd/crm/Logback/Super #31 = Utf8 java/lang/Exception{ public com.jd.crm.Logback.TestClass(); descriptor: ()V flags: ACC_PUBLIC Code: stack=2, locals=1, args_size=1 0: aload_0 1: invokespecial #1 // Method java/lang/Object."<init>":()V 4: aload_0 5: iconst_0 6: putfield #2 // Field instanceVar:I 9: return LineNumberTable: line 3: 0 line 7: 4 LocalVariableTable: Start Length Slot Name Signature 0 10 0 this Lcom/jd/crm/Logback/TestClass; public int instanceMethod(int) throws java.lang.Exception; descriptor: (I)I flags: ACC_PUBLIC Code: stack=1, locals=2, args_size=2 0: iload_1 1: iinc 1, 1 4: ireturn LineNumberTable: line 10: 0 LocalVariableTable: Start Length Slot Name Signature 0 5 0 this Lcom/jd/crm/Logback/TestClass; 0 5 1 param I Exceptions: throws java.lang.Exception MethodParameters: Name Flags param}SourceFile: "TestClass.java"以上是javap帮助生成的class文件解析结果，只是给人看，而非机器。
通过编译后生成class文件格式如下,因为class文件是以8位作为一个字节的二进制流。为了方便计算，用16进制表示二进制(1个字节=2个十六进制的数，故下面每2个数就代表1个字节)
图2
2.1 魔法数
前四个字节cafebabe是固定值,任何语言编译成jvm认识的二进制流，前四位必须是固定的cafebabe字节。2.2 版本号
紧接着2个字节00表示次版本号为0 ；0034代表主版本为52（jdk版本号对应的jdk版本为1.8）参考jdk版本和class字节版本的对应关系。2.3 常量个数
常量个数const_pool_count字节码为00 20对应的说明常量个数为32，实际为31个，企商汇因为首位jvm作为保留位使用。2.4 常量池
常量池存放两大常量：字面量和符号引，字面量如文本字符串，被生命的final常量值等，而符号引用则包含类、接口的全限名称、字段、方法名称和描述符号等等。参考javap生成的类文件信息。这里只分析下其中一个常量，在上面常量个数2个字节后面紧接着一个字节0a十进制为10，参考常量池类型10代表类中方法的符号引用。继续参考方法类型MethodRef_info个格式定义：前两个字节0004代表方法所在类名称的索引，后两个字节0001a代表一个NameAndType类型的索引。
图3 2.5 类访问标志
紧接常量池定义完后的u2标识访问标志，本例标识为0x0021和下图标志位按位或计算，如0x0001为真，0x0020也为真，其他为否 最终确认访问标志位ACC_PUBLIC、ACC_SUPER
图4
2.6 本类、父类、接口索引集合
根据图1的规则，u2两个字节0003标识当前类名的引用到，引用常量池数组下标为#3，根据图3所示子项的类名为com/jd/crm/Logback/TestClass；0004代表父类类名的引用常量池数组下标为#4，根据图4所示引用的父类类名为java/lang/Object；紧接着0001标识接口个数，指明数量为1,0005标识第一个接口数组中接口的名称，指向常量池中下标为5的名称为com/jd/crm/Logback/Super；比如查找当前类索引如下图
图5
2.7 字段表集合
字段表以数组的形式定义存储在常量表中
图6
图7字段结构定义 字段域的访问标志请参考类访问标志，逻辑计算一致，只是规则不一样而已 如下图
图8
2.8 方法表集合
和域字段集合表定义类似，也是数组方式定义在常量池中 ，其中方法的结构体第四个字段attributes_count代表方法的属性数量，attribute_info就是属性的集合参考属性表集合。
图9
图10 方法表访问标识类型
通过上面方法的访问标志、名称索引和描述索引定义方法的基本信息，方法的代码块则存放于类型为Code的属性表中。2.9 属性表集合
类、字段表、方法表本身可包含属性表，属性表格结构体如下，属性表结构类型较多，比如有Code类型、Exception类型、MethodParameters类型等等，具体参考属性表类型。所有的属性都是引用常量池中的属性类型名称。然后根据属性的长度指定该属性的内容，根据属性的不同类型解析不同的属性值。格式定义如下
图11
图12
图13
2.10 字节码简介指令
加载和存储指令
运算指令
类型转换指令
对象创建和访问指令
操作数栈管理指令
控制转移指令
异常处理指令
同步指令
方法调用和返回执行invokervirtual：调用对象的实例方法 invokerinterface 调用接口方法，自动运行期搜索一个实现接口的对象进行方法调用；invokerspeical：调用init、私有和父类调用的特殊方法调用；invokedynamic：运行时动态解析。
03类文件加载
理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目标页面展示到屏幕。
图14
3.1 加载
jvm通过classLoader(双亲委派)将class类文件二进制流加载到元数据区内存，将字节流所标识的静态存储结构转换为元数据区的动态存储在堆内存创建一个Class对象，堆中的Class并不存储静态变量、常量、方法等实际信息（实际存储元空间），可以看做只是一个句柄，通过对象头的类指针指向元空间类信息。这样在强制转换或者InstanceOf判断时，会根据对象中的类指针指向元空间的类常量池进行判断是否为同一个类。3.2 验证
1、文件格式验证
2、元数据验证
3、字节码验证
4、符号引用验证3.3 准备
准备阶段是为类变量(静态变量)分配内存并设置类变量初始值的阶段，分配这些内存是在元数据区里面进行的，但是类变量(无final修饰的静态变量)、字符串常量在1.8及以后都放入了堆区间。这个阶段有两点需要重点介绍以下的：1、只有类变量（被static修饰的变量赋值初始值，static final修饰的赋值为程序指定值）会分配内存，不包括实例变量，实例变量是在对象实例化的时候在堆中分配内存的。2、设置类变量的初始值是数量类型对应的默认值，而不是代码中设置的默认值。例如public static int number=111,这类变量number在准备阶段之后的初始值是0而不是111。而给number赋值为111是在类的初始化阶段。3.4 解析
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程，解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符7类符号引用进行。符号引用：常量池中类、字段的常量字符串表示方式类和接口的解析举例：假如类A引用了类B，加载阶段是静态解析，这时候B还没有被放到JVM内存中，这时候A引用的只是代表B的符号，这是符号引用。直接引用: 指向目标的指针或者相对偏移量类和接口的解析举例：类A在解析阶段发现自己符号引用了B，如果这个时候B还没被加载。就是直接触发B的类加载，加载后会在运行常量池存储B的有效类信息地址，并且直接引用。类和接口的解析
字段解析根据常量池字段filedrf_info中的符号进行解析，首先在符号引用的类中根据简单名称和字段描述符查找，如果查到则返回这个字段的直接引用并结束，否则从下往上地柜各个父类查找，如果还未查到则抛出NoSuckFieldError异常
方法解析
接口方法解析
04 类实例初始化理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目初始化，为类的静态变量赋予正确的初始值，JVM负责对类进行初始化，主要对类变量进行初始化clinit方法。在Java中对类变量进行初始值设定有两种方式：定义静态变量并指定值、使用静态代码块。对象初始化
图15 4.1 初始化对象前检查
jvm碰到一个new指令，首先判断改指令指向的常量池的类全名是否被加载、解析初始化过，如果没有则进行类加载，参考类文件加载。
4.2 内存分配
通过jvm内存分配机制，此分配机制取决回收机制，通过指针碰撞方法或者空闲列表方式进行堆内存分配；1.指针碰撞法。假设Java堆中内存是完整的，已分配的内存和空闲内存分别在不同的一侧，通过一个指针作为分界点，需要分配内存时，仅仅需要把指针往空闲的一端移动与对象大小相等的距离。使用的GC收集器：Serial、ParNew，适用堆内存规整（即没有内存碎片）的情况下。这两种都是新生代垃圾收集器，因此都是使用复制算法，可以得到比较完整的内存区域。2.空闲列表法。事实上，Java堆的内存并不是完整的，已分配的内存和空闲内存相互交错，JVM通过维护一个列表，记录可用的内存块信息，当分配操作发生时，从列表中找到一个足够大的内存块分配给对象实例，并更新列表上的记录。使用的GC收集器：CMS，适用堆内存不规整的情况下。从名字中的Mark Sweep这两个词可以看出，CMS 收集器是一种“标记-清除”算法实现的，因此会得到很多碎片因此和空闲列表配合使用。内存分配并发问题在创建对象的时候有一个很重要的问题，就是线程安全，因为在实际开发过程中，创建对象是很频繁的事情，作为虚拟机来说，必须要保证线程是安全的，通常来讲，虚拟机采用两种方式来保证线程安全：CAS：CAS 是乐观锁的一种实现方式。所谓乐观锁就是，每次不加锁而是假设没有冲突而去完成某项操作，如果因为冲突失败就重试，直到成功为止。虚拟机采用 CAS 配上失败重试的方式保证更新操作的原子性。TLAB（本地现成缓冲区）：为每一个线程预先分配一块堆内存，JVM在给线程中的对象分配内存时，首先在TLAB分配，当对象大于TLAB中的剩余内存或TLAB的内存已用尽时，再采用上述的CAS进行内存分配。4.3 初始化0值
内存分配完成后，虚拟机需要将分配到的内存空间都初始化为零值（不包括对象头），这一步操作保证了对象的实例字段在 Java 代码中可以不赋初始值就直接使用，程序能访问到这些字段的数据类型所对应的零值。
4.4 对象头设置
初始化零值完成之后，虚拟机要对对象进行必要的设置，例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。这些信息存放在对象头中。另外，根据虚拟机当前运行状态的不同，如是否启用偏向锁等，对象头会有不同的设置方式。
4.5 实例构造器初始化
略
4.6 对象的内存布局
对象在对中的存储布局主要分为三部分，对象头、实例数据、对齐填充
图16
主要两类：其主要包括两部分数据：Mark Word、Class对象指针。特别地对于数组对象而言，其还包括了数组长度数据。在64位的HotSpot虚拟机下，Mark Word占8个字节，其记录了Hash Code、GC信息、锁信息等相关信息；而Class对象指针则指向该实例的Class对象。
图17
HotSpot对象头
实例数据：对象定义的实例变量，这部分数据存储受到虚拟机分配策略参数(-XX:FieldsAllocationStype)和字段定义的顺序影响。HotSpot默认分配的策略是将相同宽度字段一起存放，父类的变量会出现在子类变量之前。
对齐填充：jvm存储任何大小必须是8个字节的整数倍，不够补齐。这个和类二级制字节流一致。下面是个无锁状态的对象实例化后的数据结构，使用jol工具打印出的实例布局如下
图1805 对象的访问理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目标页面展示到屏幕。 
图19
5.1 句柄访问Java堆中将会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自的具体地址信息。
5.2 直接访问
直接访问是reference中直接存储的实例对象的地址，实例对象中包含了类对象的访问指针，也就是如果访问类对象需要多一层引用优缺点这两种对象访问方式各有优势，使用句柄来访问的最大好处就是reference中存储的是稳定的句柄地址，在对象被移动（垃圾收集时移动对象是非常普遍的行为）时只会改变句柄中的实例数据指针，而reference本身不需要修改。使用直接指针访问方式的最大好处就是速度更快，它节省了一次指针定位的时间开销，由于对象的访问在Java中非常频繁，因此这类开销积少成多后也是一项非常可观的执行成本。就本文讨论的主要虚拟机Sun HotSpot而言，它是使用第二种方式进行对象访问的，但从整个软件开发的范围来看，各种语言和框架使用句柄来访问的情况也十分常见。
06 虚拟机字节码执行引擎理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目6.1 运行时栈帧结构
1.局部变量表：在class文件被编译时，就已知某个方法的局部变量槽有几个，主要存放方法参数和方法内部定义的局部变量2.操作数栈：和局部变量表相似，编译时就明确了操作数栈的深度3.动态链接：大部分类在类加载解析过程中，会将符号引用转为直接引用，也就是在类加载阶段清楚调用哪个类的哪个方法(这些方法调用参考字节码指令简介中invoke*指令)，但是有一部分必须在运行期间才能确定目标的方法的直接引用。4.方法返回地址6.2 方法调用
1.解析:在内解析阶段，会将符号引用转换为直接引用，这种在解析阶段就能确定的调用方法版本称为解析，比如invokesatic invokespecial invokevirtual等等指令指示的方法调用2.静态分派：方法的重载，虚拟机需要根据方法的入参个数和类型方能定位到某个具体方法，发生在编译阶段，故也属于一种解析方式3.重载方法匹配优先级：方法重载过程中，涉及方法的入参和个数，而入参存在自动类型转换，比如重载方法入参为char类型，如果不存在入参为char类型的方法匹配，则char进行自动类型转换为int类型，在最终匹配了Int入参类型的方法。方法重载的本质4.动态分配：如下图所示，man和women和重新man引用指向women然后方法调用sayHello，此时字节码显示的符号引用都是Human#sayHello，但是实际执行结果和指令码不一致，这是因为invokevirtual指令，在指令调用之前都会aload_x来加载实际的数据类型，这就是方法重写的本质。
图20
6.3 基于栈的字节码解释执行引擎
jvm是基于栈的指令集合，这种指令自身不带参数，使用操作数栈的输入输出作为指令本身的参数。物理机一般是基于寄存器的指令集，指令本身携带参数并存放在寄存器。下面是一个基于栈来展示在虚拟机中字节码是如何执行的。
图21
图2207 容易混淆点理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目 7.1 文件常量池
类加载后，类的域字段、方法和类描述信息会加载到元数据区，既属于类的静态常量池。7.2 运行时常量池
上面说的class文件中的常量池，它会在类加载后进入方法区中的运行时常量池。并非只有Class定义的文件常量合并处理后放入运行时常量池，在运行期间也可以将新的常量放入池中，比如String类的intern方法。
图23
7.3 字符串常量池
字符串常量池存放在堆内存(>=1.8)中，堆里边的字符串常量池存放的是字符串的引用或者字符串(两者都有)，如下图描述字符串创建的堆分布。
图24
字符串相加：先创建StringBuilder对象，然后apend字符串a、apend字符串b 然后toString(new方法)生成字符串ab对象并在字符串常量池生成引用返回，为什么不要字符串相加，就是因为会生成大量StringBuilder对象
String s = "a"+"b";//返回的是常量池的ab字符串的引用String s1 ="ab";System.out.println(s == s1);//因两个最终都指向字符串常量池，所以为truenew 字符串相当于堆创建两个对象，一个String对象，然后创建字符串堆存储，然后String对象引用到字符串的堆存储
String s1 ="a";String s = new String ("a").intern();//强制生成字符串常量池引用System.out.println(s == s1);//返回trueString s1 ="a";String s = new String ("a");System.out.println(s == s1);//返回false08附件
理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目标页面展示到屏幕。jvm常量池类型和结构体定义
图25
常量池类型
图26
常量池类型结构定义
图27
常见的属性类型
图28 jdk版本好class字节版本号对应关系 
图29
属性表类型09 结束语理解，首先 MCube 会依据模板缓存状态判断是否需要网络获取最新模板，当获取到模板后进行模板加载，加载阶段会将产物转换为视图树的结构，转换完成后将通过表达式引擎解析表达式并取得正确的值，通过事件解析引擎解析用户自定义事件并完成事件的绑定，完成解析赋值以及事件绑定后进行视图的渲染，最终将目只有对技术底层细节有一定掌握，在平时工作中碰到一些堆溢出、泄露等异常才能快速的处理，能更高的理解java GC的原理。- 轻松学会以戴尔电脑分区桌面教程（简明易懂，快速操作）
- 搞懂MySQL聚集索引与非聚集索
- 冷门知识点：进程间通信如何加锁？
- Mysql建库字符集和排序规则及说明
- USP无线网卡安装教程（详细指南帮助您轻松安装和使用USP无线网卡）
- 三种管理 C 程序中标志位的方法，最后一种比较秀
- Redis 7.0 源码调试环境搭建与源码导读技巧
- Undermoon - 基于 Redis Cluster Protocol 的自管理 Redis 集群系统
- 电脑PPT转Word的操作方法和注意事项（简便高效的转换工具及常见问题解决方案）
- 堪称一站式管理平台，同时支持Linux、MySQL、Redis、MongoDB可视化管理！
随便看看
- Copyright © 2025 Powered by jvm中类和对象定义存储基础知识,云智核 滇ICP备2023006006号-28sitemap