1.对象实例化的方式

1.创建对象的方式

• new
  • new Construct()
  • 使用静态方法
  • Builder/Factory 的静态方法
• Class的newInstantce(): 反射的方式, 只能调用空参的构造器, 权限必须是public
• Constructor的newInstantce(xxx): 反射的方式 , 可以调用无参的构造器 , 或者是带参的 , 权限没有要求
• 使用clone(): 不调用任何构造器 , 当前的类需要实现Cloneable接口 , 实现clone()方法
• 使用反虚拟化: 从文件中,从网络中获取一个对象的二进制流
• 第三方库Objenesis

  2.创建对象的步骤

1. 判断对象对应的类是否加载 , 链接, 初始化
   1. 虚拟机遇到一条new指令, 首先去检查这个指令的参数是否能在Metaspace的常量池中定位到一个类的符号引用, 并且检查这个符号引用代码的类是否已经被加载 , 解析和初始化(即判断类元信息是否存在)
   2. 如果没有 , 那么在双亲委派模式下, 使用当前类加载器以ClassLoader+包名+类名为Key进行查找对应的.class文件, 如果没有找到文件, 则抛出ClassNotFoundException异常 , 如果找到, 则进行类加载 , 并生成对应的Class类对象.
2. 为对象分配内存
   1. 首先是计算对象占用空间大小, 接着在堆中划分一块内存给新对象 , 如果实例成员变量是引用变量, 仅分配引用空间变量即可, 即4个字节大小.
   2. 如果内存规整 (指针碰撞)
      1. 如果内存是规整的, 那么虚拟机将采用的指针碰撞法(Bump The Pointer) 来为对象分配内存
      2. 意思是所有用过的内存放在一边, 空闲的内存在另外一边, 中间放着一个指针作为分界的指示器, 分配内存就仅仅是把指针向空闲那边挪动一段和对象大小相等的距离罢了, 如果垃圾收集器选择是serial , ParNew这种基于压缩算法的, 虚拟机采用这种分配方式, 一般使用带有compact(整理)过程的收集器时, 使用指针碰撞.
   3. 如果内存不规整 (虚拟机需要维护一个列表 , 空闲列表分配)
      1. 如果内存不规整的, 已使用的内存和未使用的内存相互交错 , 那么虚拟机将采用的是空闲列表法来为对象分配内存.
      2. 意思是虚拟机维护了一个列表, 记录那些内存是可用的, 再分配的时候从列表中找到一块足够大的空间划分给对象实例 , 并更新列表上的内容, 这种分配方式成为”空闲列表(Free List)”
   4. 说明
      1. 选择那种分配方式由Java堆是否规整决定的,而Java堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定的
3. 处理并发安全问题
   1. 采用CAS配上失败重试保证更新
   2. 每个线程预先分配一块TLAB(通过-XX:+/-UseTLAB参数来设定)
4. 初始化分配到的空间(所有属性设置默认值 , 保证对象实例字段在不赋值时可以直接使用)
5. 设置对象的对象头
   1. 将对象的所属类(即类的元数据信息), 对象的HashCode和对象的GC信息, 锁信息等数据存储在对象的对象头中, 这个过程的具体设置方式取决于JVM实现
6. 执行init方法进行初始化
   1. 在Java程序员的视角来看 , 初始化才正式开始, 初始化成员变量, 执行实例化代码块 , 调用类的构造方法,并把堆内对象的首地址赋值给引用变量.
   2. 因此一般来说(由字节码中是否跟随有invokespecial指令所决定的), new指令之后会接着就是执行方法, 把对象按照程序员的意愿进行初始化, 这样一个真正可用的对象才算完全创建出来.
7. 总结:
   1. 给对象的属性赋值的操作:
      1. 属性的默认初始化
      2. 显示初始化/代码块中初始化
      3. 构造器中初始化
   2. 测试对象实例化的过程
      1. 加载类元信息
      2. 为对象分配内存,
      3. 处理并发问题
      4. 属性的默认初始化(零值初始化)
      5. 设置对象头的信息
      6. 属性的显式初始化,代码块中初始化,构造器中初始化

2.对象内存布局

1.对象头(Header)

• 运行时元数据(Mark Word)
  • 哈希值(HashCode)
  • GC分代年龄
  • 锁状态标志
  • 线程持有的锁
  • 偏向线程ID
  • 偏向时间戳
• 类型执行
  • 指向类元数据InstanceKlass,确定该对象所属的类型

• 说明: 如果是数组 , 还需要记录数组的长度

  2.实例数据(Instance Data)

• 说明

  • 它是对象真正存储的有效信息, 包括程序代码中定义的各种类型的字段(包括从父类继承下来的和本身拥有的字段)

• 规则

  • 相同宽度的字段总是被分配在一起
  • 父类中定义的变量会出现在子类之前
  • 如果CompactFields参数为true(默认是true): 子类的窄变量可能插入到父类变量的空隙

    3.对其填充(Padding)

• 不是必须的,没有特别的含义,仅仅起到占位符的作用

  4.小结: 图示

  

  3.对象访问定位

  1.图示

  

  2.创建的目的是为了使用它

  3.JVM是如何通过栈中的对象引用访问到其内部的对象实例的呢?

  定位, 通过栈上reference访问

  4.对象访问主要两种方式

• 句柄访问

  • 图示

• 实现
  • 句柄访问就是说栈的局部变量表中,记录的对象的引用, 然后在堆空间中开辟了一块空间,也就是句柄池
• 好处
  • reference中存储稳定的句柄池, 对象被移动(垃圾收集时移动对象很普遍)时只会改变句柄实例数据指针即可,reference本身不需要被修改
    • 直接指针(Hotspot采用)
• 图解

• 实现
  • 直接指针是局部变量表中的引用, 直接指向堆中的实例, 在对象实例中的有类型指针, 指向的是方法区中的对象类型数据
• 优点
  •