对象实例化内存布局与访问定位

写在最前，本篇文章大部分来源于b站尚硅谷JVM全套教程的提炼，并附带自己的理解。主要是为了帮助自己理解，和用于复习。如果同时还能对其他人有所裨益，那就更好不过了。如果有谬误的地方，还请不吝指出。

常见面试题

对象的实例化

创建对象的方式

1. new: 直接new；静态方法返回；
2. Class的newInstance()方法： 反射的方式，只能调用空参的构造器，权限必须为public
3. Constructor的newInstance():反射的方式，可以调用空参或带参，且没有权限要求
4. clone()：不需要构造器，当前类必须实现cloneable接口。
5. 反序列化：从文件中，或网络中获取一个对象的二进制流
6. 第三方库Objenesis

创建对象的步骤

1. 判断对象对应的类是否被加载、链接、初始化。
   当JVM遇到一条new指令时，首先检查指令的参数是否能在Metaspace的常量池中定位到一个类的符号引用，并检查是否加载、解析、初始化。
   如果没有，则在双亲委派模式下，使用当前类加载器以ClassLoader+包名+类名为Key来寻找对应的.class文件。
   如果没有找到，则抛出CNF异常。如果找到，则进行类加载。
2. 为对象分配内存，首先计算对象占用空间的大小。接着在堆中划分一块内存给新对象。如果实例成员变量是引用变量，仅分配引用变量空间，4个字节。
   • 如果堆中内存规整（即所有被使用过的内存都在一边，空闲内存在另一边，中间有指针作为分界点指示器）：指针碰撞，即把指针向空闲方向挪动一段与对象大小相等的距离。
     如果垃圾收集器选择Serial，ParNew这种基于压缩算法，虚拟机会采用这样规整的分配方式，标记压缩算法。
   • 如果堆中内存不规整（已使用内存和空闲内存相互交错）：空闲列表，即虚拟机维护一个列表，记录哪些内存块是可用的，分配时从列表中找到一块足够大的空间划分给对象实例，并更新列表记录。
     CMS，标记清除算法
3. 处理并发安全问题：CAS失败重试、区域加锁保证原子性；每个线程分配一块TLAB，通过-XX:+UseTLAB指令来设定。
4. 初始化分配到的空间：所有属性设置默认初始值，保证不赋值也可以使用
5. 设置对象的对象头：类的元数据信息、对象的hashcode、对象的GC信息、锁信息等数据存在对象头。具体设置由JVM实现。
6. 执行init方法初始化：显示初始化/代码块初始化（代码顺序）---->构造器初始化 ---->将堆内对象的首地址赋值给引用变量。

对象的内存布局

对象头

1. 运行时元数据
   • 哈希值
   • GC分代年龄（年龄计数器）
   • 锁状态标志
   • 线程持有的锁
   • 偏向线程ID
   • 偏向时间戳
2. 类型指针：指向类元数据InstanceClass，确定该对象所属的类型。
3. 注意：如果是数组还要记录数组的长度。

实例数据

说明：对象真正存储的有效信息，包括程序代码中定义的各种类型的字段（包括父类和本身）
规则：相同宽度字段总被分配在一起；父类中定义的变量会出现在之类之前；如果CompactFields参数为true（默认为true）：子类的窄变量可能插入到父类变量的空隙。

对齐填充

没有特别含义，起到占位符的作用。

图示表示

对象的访问定位

JVM如何通过栈帧中的对象引用其访问内部的对象实例呢？
通过栈上的referencce访问

访问方式：

• 句柄访问
  堆空间开辟句柄池：到对象实例数据的指针；到对象类型数据的指针。
  

• 直接指针
  引用直接指向对象实体，对象实体之中存在一个指针指向类元信息（方法区）
  

java 虚拟机并未明确规定采用何种方式，HotSpot采用直接指针的方式，效率稍高一点。

句柄访问：如果对象在堆中的位置发生了改变，句柄池中的指针会改变值，而栈中的引用不用因此改变。