深入理解Java虚拟机：对象实例化及直接内存详解-51CTO.COM

前言

在Java世界中，万物皆对象。当我们谈论一个对象时，其实质是指代一段具有特定属性和行为的内存区域。在JVM的视角下，对象的存储并非简单的字节序列堆积，而是遵循着严谨的结构设计与管理规则。从创建到消亡，一个Java对象在JVM中的生命历程主要围绕堆内存展开，而堆正是JVM内存模型中用于存储对象实例的主要区域。

本文将围绕对象的实例化、对象内存布局、对象的访问定位和直接内存展开介绍说明。

对象实例化

图片

创建对象的方式

最常见的方式new、Xxx的静态方法，XxxBuilder/XxxFactory的静态方法：

Student student = new Student();

Class的newInstance方法：反射的方式，只能调用空参的构造器，权限必须是public：

Class clazz = Class.forName("org.yian.Student");
Student student = (Student) clazz.newInstance();

Constructor的newInstance(XXX)：反射的方式，可以调用空参、带参的构造器，权限没有要求：

Student.class.getConstructor().newInstance();

使用clone()：不调用任何的构造器，要求当前的类需要实现Cloneable接口，实现clone()：

Student clone = student.clone();

使用序列化：从文件中、从网络中获取一个对象的二进制流：

public class Student implements Serializable {
    private String name;
    private Integer age;
 
    public String getName() {
        return name;
    }
 
    public void setName(String name) {
        this.name = name;
    }
 
    public Integer getAge() {
        return age;
    }
 
    public void setAge(Integer age) {
        this.age = age;
    }
 
    public void say() {
        System.out.println("hello i'm yian!"+this.age);
    }
 
 
    public static void main(String[] args) throws Exception {
 
        Student student = new Student();
        student.setAge(10);
        String filePath = "com";
        ObjectOutputStream oos = new ObjectOutputStream(new FileOutputStream(filePath));
        oos.writeObject(student);
        oos.close();
        System.out.println("序列化完成！");
 
        ObjectInputStream ois = new ObjectInputStream(new FileInputStream(filePath));
        Student student1 = (Student) ois.readObject();
        ois.close();
        student1.say();
        System.out.println("反序列化完成！");
 
    }
}

第三方库 Objenesis：

Objenesis objenesis = new ObjenesisStd();
ObjectInstantiator<Student> instantiator = objenesis.getInstantiatorOf(Student.class);
Student st = instantiator.newInstance();

创建对象的步骤

字节码分析对象创建

javap -v -p Student.class：

图片

new：会首先检查这个Class有没有加载，即加载、链接、初始化？并按照编译中的大小信息分配空间，进行创建对象 ,并对其临时初始化
dup：第一句new会在操作数栈中生成一个指向该对象的引用，dup指令会将这个引用再复制一遍，放到操作数栈的栈顶，上面那个引用是作为一个句柄指向方法区的对应方法。
invokespecial ：进行真实初始化，为其赋实际的初始值【即调用构造器方法<init>】

注意：

<init>与<clinit>的区别：前者是一个类的构造器在字节码中对应的方法，后者习惯被称为类构造器方法，他会在类加载的初始化阶段对类的静态部分进行初始化【如静态代码块，静态成员变量等】

JVM创建对象的步骤

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

虚拟机遇到一条new指令，首先去检查这个指令的参数能否在Metaspace的常量池中定位到一个类的符号引用，并且检查这个符号引用代表的类是否已经被加载，解析和初始化（即判断类元信息是否存在）

如果没有，那么在双亲委派模式下，使用当前类加载器以ClassLoader + 包名 + 类名为key进行查找对应的.class文件；

如果没有找到文件，则抛出ClassNotFoundException异常
如果找到，则进行类加载，并生成对应的Class对象

2.为对象分配内存

首先计算对象占用空间的大小，接着在堆中划分一块内存给新对象。如果实例成员变量是引用变量，仅分配引用变量空间即可，即4个字节大小

如果内存规整：虚拟机将采用的是指针碰撞法（Bump The Point）来为对象分配内存。

所有用过的内存在一边，空闲的内存放另外一边，中间放着一个指针作为分界点的指示器，分配内存就仅仅是把指针指向空闲那边挪动一段与对象大小相等的距离罢了。如果垃圾收集器选择的是Serial、ParNew这种基于压缩算法的，虚拟机采用这种分配方式。一般使用带Compact（整理）过程的收集器时，使用指针碰撞

如果内存不规整：虚拟机需要维护一个空闲列表（Free List）来为对象分配内存

已使用的内存和未使用的内存相互交错，那么虚拟机将采用的是空闲列表来为对象分配内存。意思是虚拟机维护了一个列表，记录上那些内存块是可用的，再分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的内容

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

3.处理并发问题

采用CAS失败重试、区域加锁保证更新的原子性
每个线程预先分配一块TLAB：通过设置-XX:+UseTLAB参数来设定

4.初始化分配到的内存

所有属性设置默认值，保证对象实例字段在不赋值时可以直接使用

5.设置对象的对象头

Mark Word：存储对象自身的运行时元数据，如哈希码（HashCode）、GC分代年龄、锁状态标志、偏向线程ID等。这些信息直接影响对象的内存管理、线程同步以及方法调用等操作
类型指针：指向方法区中的类型信息，如类的元数据、方法表、常量池等。通过类型指针，JVM能够快速定位到对象所属类的详细定义，实现方法调度、字段访问等操作

6.执行init方法进行初始化

在Java程序的视角看来，初始化才正式开始。初始化成员变量，执行实例化代码块，调用类的构造方法，并把堆内对象的首地址赋值给引用变量
对象初始化初始化顺序为：默认 -> 显式或静态代码块 -> 构造方法 -> setter

对象内存布局

图片

对象头

对象头包含了两部分，分别是运行时元数据和类型指针。如果是数组，还需要记录数组的长度。

运行时元数据：

哈希值（HashCode）
GC分代年龄
锁状态标志
线程持有的锁
偏向线程ID
偏向时间戳

类型指针：

指向类元数据InstanceKlass，确定该对象所属的类型

实例数据

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

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

对齐填充

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

小结：

public class Customer{
    int id = 1001;
    String name;
    Account acct;

    {
        name = "匿名客户";
    }

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

public class CustomerTest{
    public static void main(string[] args){
        Customer cust = new Customer();
    }
}

图片