根据 Java 虚拟机规范,类文件由单个 ClassFile 结构组成:
ClassFile {
u4 magic; //Class 文件的标志
u2 minor_version;//Class 的小版本号
u2 major_version;//Class 的大版本号
u2 constant_pool_count;//常量池的数量
cp_info constant_pool[constant_pool_count-1];//常量池
u2 access_flags;//Class 的访问标记
u2 this_class;//当前类
u2 super_class;//父类
u2 interfaces_count;//接口
u2 interfaces[interfaces_count];//一个类可以实现多个接口
u2 fields_count;//Class 文件的字段属性
field_info fields[fields_count];//一个类会可以有多个字段
u2 methods_count;//Class 文件的方法数量
method_info methods[methods_count];//一个类可以有个多个方法
u2 attributes_count;//此类的属性表中的属性数
attribute_info attributes[attributes_count];//属性表集合
}
参考:类文件结构 更加详细的内容都在这里了。
在这里主要针对常量池做一下说明,在jvm内存结构那一章节中,在方法区的部分有提到常量池相关的内容,分为class常量池、运行时常量池、全局字符串池(全局常量池),它们之间到底是什么样的关系呢?
全局字符串池:
全局字符串池里的内容是在类加载完成,经过验证,准备阶段之后在堆中生成字符串对象实例,然后将该字符串对象实例的引用值存到string pool中
(记住:string pool中存的是引用值而不是具体的实例对象,具体的实例对象是在堆中开辟的一块空间存放的。)。
在HotSpot VM里实现的string pool功能的是一个StringTable类,它是一个哈希表,里面存的是驻留字符串(也就是我们常说的用双引号括起来的)的引用
(而不是驻留字符串实例本身),也就是说在堆中的某些字符串实例被这个StringTable引用之后就等同被赋予了”驻留字符串”的身份。
这个StringTable在每个HotSpot VM的实例只有一份,被所有的类共享。
class文件常量池:
主要存放两大常量:字面量和符号引用。
字面量:如文本字符串、被声明为final的常量值等
符号引用: 是一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可。
运行时常量池:
当类加载到内存中后,jvm会将class常量池中的内容存放到运行时常量池中,而经过解析(resolve)之后,
也就是把符号引用替换为直接引用,解析的过程会去查询全局字符串池,也就是上面所说的StringTable,
以保证运行时常量池所引用的字符串与全局字符串池中所引用的是一致的。
类的加载过程主要分为:加载、连接、初始化,其中连接又分为:验证、准备、解析
通过全类名获取定义此类的二进制字节流
将字节流所代表的静态存储结构转换为方法区的运行时数据结构
在内存中生成一个代表该类的 Class 对象,作为方法区这些数据的访问入口
加载.class文件的方式:从本地系统中直接加载、通过网络下载.class文件、从zip,jar等归档文件中加载.class文件、从专有数据库中提取.class文件、将Java源文件动态编译为.class文件等。
确保被加载的类的正确性。
验证是连接阶段的第一步,这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全。验证阶段大致会完成4个阶段的检验动作:
验证阶段是非常重要的,但不是必须的,它对程序运行期没有影响,如果所引用的类经过反复验证,那么可以考虑采用-Xverifynone参数来关闭大部分的类验证措施,以缩短虚拟机类加载的时间。
为类的静态变量分配内存,并将其初始化为默认值。
准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些内存都将在方法区中分配,这时候进行内存分配的仅包括类变量(static),而不包括实例变量,实例变量会在对象实例化时随着对象一块分配在Java堆中,这里所设置的初始值通常情况下是数据类型默认的零值(如0、0L、null、false等),而不是被在Java代码中被显式地赋予的值。
例:
// 在准备阶段 val1 的初始值是0,在之后的初始化阶段才会真正的赋值3
public static int val1 = 3;
// val2 同时被final和static修饰,它在准备阶段将直接赋值3,我们可以理解为static final常量在编译期就将其结果放入了调用它的类的常量池中
public static final int val2 = 3;
把类中的符号引用转换为直接引用。
符号引用:即用字符串符号的形式来表示引用,实际引用的类、方法或者变量可能还没有被加载到内存中。
直接引用:是有具体引用地址的指针,被引用的类、方法或者变量已经被加载到内存中
符号引用要转换成直接引用才有效,这也说明直接引用的效率要比符号引用高。那为什么要用符号引用呢?这是因为类加载之前,javac会将源代码编译成.class文件,这个时候javac是不知道被编译的类中所引用的类、方法或者变量他们的引用地址在哪里,所以只能用符号引用来表示。
所以解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程,解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符7类符号引用进行。符号引用就是一组符号来描述目标,可以是任何字面量。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
初始化,为类的静态变量赋予正确的初始值。
只有主动去使用类才会初始化类:
类的加载过程主要是通过类加载器来完成,JVM 中内置的三个重要的 ClassLoader:
当某个类加载器需要加载某个.class文件时,它首先把这个任务委托给他的上级类加载器,递归这个操作,如果上级的类加载器没有加载,自己才会去加载这个类。
** 双亲委派模型的好处是什么?(重要)**
** 如何实现自定义的类加载器?(重要)** 继承ClassLoader类,实现findClass 方法即可。
** 如果不想遵循双亲委派模型应该怎么做? ** 继承ClassLoader类,重写loadClass方法
强烈建议大家,自己写一个类加载器,跟踪一下类加载的过程。
待完成
对象的实例化过程是分成两部分:类的初始化,对象的初始化
类的初始化过程在前面 类加载过程中提过,类的初始化是执行类构造器(注意不是对象构造器),为类变量赋值,执行静态代码块等。
对象的初始化过程:参考:java 内存区域
类加载检查:虚拟机遇到一条 new 指令时,首先将去检查这个指令的参数是否能在常量池中定位到这个类的符号引用,并且检查这个符号引用代表的类是否已被加载过、解析和初始化过。如果没有,那必须先执行相应的类加载过程
分配内存:对象所需的内存大小在类加载完成后便可确定,为对象分配空间的任务等同于把一块确定大小的内存从 Java 堆中划分出来。分配方式有 “指针碰撞” 和 “空闲列表” 两种,选择哪种分配方式由 Java 堆是否规整决定,而 Java 堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定。指针碰撞:内存规整的情况下,已使用的内存在一端,未使用的内存在另一端,利用中间指针像游标一样移动为对象分配内存。空闲列表:内存不规整时,维护一个列表指向空闲区域,分配内存时从列表中选择合适的一块完成分配。
初始化零值: 内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头),这一步操作保证了对象的实例字段在 Java 代码中可以不赋初始值就直接使用,程序能访问到这些字段的数据类型所对应的零值。
设置对象头:初始化零值完成之后,虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。 这些信息存放在对象头中。 另外,根据虚拟机当前运行状态的不同,如是否启用偏向锁等,对象头会有不同的设置方式。
初始化:执行方法,将对象中的属性初始化成实际的值。
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。