JVM08-对象的实例化和访问

1 对象的实例化

1.1 创建对象的方式

1，new
通过new关键字直接或使用单例/工厂模式间接创建对象

2，Class的newInstance()方法
使用反射机制，但只能使用无参构造方法，且权限必须是public

3，Constructor的newInstance(arg)
使用反射机制，可以调用无参或带参构造方法，对权限无要求

4，使用clone()
要求当前类实现Cloneable接口，实现clone()方法复制对象

5，使用反序列化
从文件/网络中获取一个对象的二进制流，转换成对象

6，第三方库Objenesis

1.2 对象创建的步骤

1.2.1 从字节码的角度

来看一个简单的创建对象的过程，先从字节码角度来分析对象创建的过程：

0 new #2 <java/lang/Object>
// #2是<java/lang/Object>
// 执行本条指令时，先在方法区查看 <java/lang/Object>是否已经被加载
// 如果没有被加载 使用类加载器将其加载到方法区
// 接着在堆中为该对象分配空间 并进行默认初始化 即0/false/null
 
3 dup
// 复制该对象的引用

4 invokespecial #1 <java/lang/Object.<init>>
// #1是<java/lang/Object.<init>>
// 即调用Object类的无参构造器 为对象赋值 显式初始化

7 astore_1
// 将当前变量从操作数栈存放到局部变量表中

8 return

1.2.2 从执行的角度

接下来从执行的角度看看创建对象的步骤：

1，判断对象对应的类是否被加载，链接，初始化

虚拟机遇到一条new指令，首先检查new后面的参数(类信息)是否已被加载到方法区
如果没有则使用类加载器来查找对应的class文件，找到了进行类加载
如果没找到则抛出ClassNotFoundException异常

2，为对象分配内存

首先计算对象占用空间的大小，接着在堆中划分一块内存给该对象
int成员分配4字节，long分配8字节，引用类型分配4字节...
通过计算能明确该对象需要的空间大小

指针碰撞：当内存整齐的情况下，使用指针碰撞在堆中为该对象分配空间

空闲列表：当内存不整齐的情况下，使用空闲列表在堆中为该对象分配空间

选择哪种分配方式由堆是否整齐决定，而堆是否整齐又由所采用的垃圾收集器是否带有压缩整理功能决定

3，处理并发安全问题

在堆中为对象分配内存空间时，由于堆是线程共享的，需要考虑并发的问题，即A线程想在某地址为对象分配空间，B线程也想在该地址为对象分配空间，此时如果不处理并发，必然会导致某个线程为对象分配空间失败

为了解决该问题，有两种策略：

1，在堆中Eden区为每个线程分配一块TLAB
即堆中线程私有的缓冲区，每个线程创建对象，在私有的缓冲区内创建

2，使用CAS失败重试，区域加锁保证操作的原子性

4，默认初始化

当为该对象创建好空间后，进行默认初始化
即为所有成员默认赋值，int long赋值为0
double赋值为0.0 boolean赋值为false 引用类型赋值为null

5，设置对象的对象头

将对象所属的类信息，对象的HashCode和对象的GC信息
锁信息等数据存储在对象的对象头中，这个过程由JVM实现

6，显式初始化

即执行构造方法，为对象中的成员赋值
并把对象的首地址赋值给引用变量

如Person person = new Person();
person就是引用变量，本质是一个指针，指向了堆中一个Person类对象
该对象使用无参构造进行显式初始化

2 对象的内存布局

对象存储在堆中，接下来看看对象的结构，一个对象由什么组成：

堆中的对象由 对象头+实例数据+对齐填充 组成

对象头：

由类型指针和运行时元数据组成

类型指针：指向类元数据，即标明该对象所属类型
运行时元数据：哈希值 + GC分代年龄 + 锁状态标志 + 线程持有锁 + 偏向线程ID + 偏向时间戳

实例数据：

存储对象真正的有效信息，即各种类型的成员(自己的成员和父类的成员)

父类中的成员出现在子类之前
相同宽度的成员被分配在一起

对齐填充：

仅仅起到占位符的作用，不是必须的

来看这样一个简单代码：

public class Customer {

    int id = 1001;
    String name;
    Account acct;

    {
        name = "匿名用户";
    }

    public Customer() {
        acct = new Account();
    }
}

class Account {}

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

Customer cust = new Customer();

cust对象在堆中的结构：

3 对象的访问定位

Person person = new Person();

person是一个引用变量，可以通过这个引用变量访问堆中真实的对象
对象访问的方式有两种：句柄访问 和 直接指针

句柄访问：

堆中开辟出句柄池和实例池 引用变量指向的是堆中句柄池某句柄中的指针
想要访问对象需要先找到指向对象实例的句柄指针 通过该句柄指针才能访问到对象实例

优点：引用变量稳定存储句柄地址，对象被移动时(GC时移动对象很普遍)
只会改变句柄中指向对象的指针，引用变量本身不需要修改

缺点：开辟句柄池占用堆空间，经过两次指向才能访问到对象实例，效率低

直接指针：

引用变量的值就是对象在堆中的地址

优点：高效，直接，不占用堆空间

缺点：当发生GC时 对象被移动后 引用变量的值需要被修改

使用直接指针访问对象实例也是HotSpot VM访问对象的默认实现