文章/答案/技术大牛

发布

社区首页 >专栏 >Java关键字new-----对象的内存分配原理

Java关键字new-----对象的内存分配原理

Tanyboye

发布于 2018-07-02 03:44:43

2.5K00

代码可运行

文章被收录于专栏：java技术学习之道java技术学习之道

运行总次数：0

代码可运行

一、关键字new概述

"new"可以说是Java开发者最常用的关键字，我们使用new创建对象，使用new并通过类加载器来实例化任何我们需要的东西，但你是否深入了解过new在编译的瞬间都做了什么？

在Java中使用new关键字创建对象变得很容易了，事实上，对这些事情你是不需要考虑的。需要访问一个文件吗？只需要创建一个新的File实例：new File(“jdbc.properties”)，对于大多数Java开发人员而言，这就是他们需要知道的一切，是不是很简单呢？！但当你使用了多个类加载器时，问题就不一样了。

下面是对oracle官网文章的翻译：http://docs.oracle.com/javase/tutorial/java/javaOO/objectcreation.html

我们都知道，一个类为对象提供了蓝图，你从一个类创建一个对象。以下语句从createobjectdemo程序创建一个对象并将其赋值给一个引用变量：

Point originOne = new Point(23, 94); 
Rectangle rectOne = new Rectangle(originOne, 100, 200);
Rectangle rectTwo = new Rectangle(50, 100);

第一行创建了一个 Point 类的对象，第二个和第三个线创建一个Rectangle 矩形类的对象。

这些陈述中的每一个都有三个部分（详细讨论）：

声明Declaration：粗体代码是将变量名称与对象类型关联的变量声明。

实例化Instantiating ：new关键字是一个java运算符，它用来创建对象。

初始化Initialization：new运算符，随后调用构造函数，初始化新创建的对象。

声明一个变量来指向一个对象，即引用

在此之前，你知道，要声明一个变量，你需要写：type name;

这将告诉编译器你将使用name引用一个type类型的对象。用一个原始变量，这个声明也保留了适当的内存量的变量。

你也可以在自己的行上声明一个引用变量。例如:Point originone；

如果你只是声明一个像originone这样的引用变量，其价值将待定，直到有一个对象真正被创造和分配给它。只是简单地声明一个引用变量而并没有创建一个对象。对于这样，你需要使用new运算符。在你的代码中使用它之前，你必须指定一个对象给originone。否则，你会得到一个编译器错误-----空指针异常。

处于这种状态的变量，目前没有引用任何的对象，可以说明如下（变量名，originone，一个引用没指向任何对象）。

实例化一个类对象

new运算符实例化一个类对象，通过给这个对象分配内存并返回一个指向该内存的引用。new运算符也调用了对象的构造函数。

注意：“实例化一个类的对象”的意思就是“创建对象”。创建对象时，你正在创造一个类的“实例”，因而“实例化”一个类的对象。

new运算符需要一个单一的，后缀参数，需要调用构造函数。构造函数的名称提供了需要实例化类的名称。

new运算符返回它所创建的对象的引用。此引用通常被分配给一个合适的类型的变量，如：

Point  originone =new Point（23，94）；

由new运算符返回的引用可以不需要被赋值给变量。它也可以直接使用在一个表达式中。例如:

int height = new Rectangle().height;

初始化一个类对象

这是Point类的代码

public class Point {    
    public int x = 0;    
    public int y = 0;    
    //constructor
    public Point(int a, int b) {
        x = a;
        y = b;
    }
}

这个类包含一个单一的构造函数。你可以识别一个构造函数，因为它的声明使用与类具有相同的名称，它没有返回类型。在Point类构造函数的参数是两个整数参数，如代码声明（int a，int b）。下面的语句提供了94和23作为这些参数的值：

Point originOne = new Point(23, 94);    //结果可描述为下图

这是Rectangle类，包含4个版本的构造方法

public class Rectangle {    
    public int width = 0;    
    public int height = 0;    
    public Point origin;    // four constructors
    public Rectangle() {
        origin = new Point(0, 0);
    }    
    public Rectangle(Point p) {
        origin = p;
    }    
    public Rectangle(int w, int h) {
        origin = new Point(0, 0);
        width = w;
        height = h;
    }    
    public Rectangle(Point p, int w, int h) {
        origin = p;
        width = w;
        height = h;
    }    
    // a method for moving the rectangle
    public void move(int x, int y) {
        origin.x = x;
        origin.y = y;
    }    
    // a method for computing the area of the rectangle
    public int getArea() {        
        return width * height;
    }
}
public class Rectangle {    
    public int width = 0;    
    public int height = 0;    
    public Point origin;    
    // four constructors
    public Rectangle() {
        origin = new Point(0, 0);
    }    
    public Rectangle(Point p) {
        origin = p;
    }    
    public Rectangle(int w, int h) {
        origin = new Point(0, 0);
        width = w;
        height = h;
    }    
    public Rectangle(Point p, int w, int h) {
        origin = p;
        width = w;
        height = h;
    }    
    // a method for moving the rectangle
    public void move(int x, int y) {
        origin.x = x;
        origin.y = y;
    }    // a method for computing the area of the rectangle
    public int getArea() {        
        return width * height;
    }
}

每个构造函数都允许你为矩形的起始值、宽度和高度提供初始值，同时使用原始类型和引用类型。如果一个类有多个构造函数，它们必须有不同的签名。java编译器区分构造函数基于参数的数量和类型。当java编译器遇到下面的代码，它知道在矩形类，需要一点争论，后面跟着两个整数参数调用构造函数：

Rectangle rectOne = new Rectangle(originOne, 100, 200);

结果可描述为下图：

总结：

1.Java关键字new是一个运算符。与+、-、*、/等运算符具有相同或类似的优先级。

2.创建一个Java对象需要三部：声明引用变量、实例化、初始化对象实例。

3.实例化：就是“创建一个Java对象”-----分配内存并返回指向该内存的引用。

4.初始化：就是调用构造方法，对类的实例数据赋初值。

5.Java对象内存布局：包括对象头和实例数据。如下图：

对象头：它主要包括对象自身的运行行元数据，比如哈希码、GC分代年龄、锁状态标志等；同时还包含一个类型指针，指向类元数据，表明该对象所属的类型。

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

在hotSpot虚拟机中，对象在内存中的布局可以分成对象头、实例数据、对齐填充三部分。对齐填充：它不是必要存在的，仅仅起着占位符的作用。

6.Object obj = new Object();

那“Object obj”这部分的语义将会反映到Java栈的本地变量表中，作为一个reference类型数据出现。而“new Object()”这部分的语义将会反映到Java堆中，形成一块存储了Object类型所有实例数据值（Instance Data，对象中各个实例字段的数据）的结构化内存，根据具体类型以及虚拟机实现的对象内存布局（Object Memory Layout）的不同，这块内存的长度是不固定的。另外，在Java堆中还必须包含能查找到此对象类型数据（如对象类型、父类、实现的接口、方法等）的地址信息，这些类型数据则存储在方法区中。

二、内存分配原理

内存分配，在哪分配？-------尽管Java对象的内存分配可以使用逃逸分析技术和栈外分配，但不可否认这仅仅是为了降低GC回收频率以及提升GC回收效率的一种辅助手段，所以Java堆区仍然是分配/存储对象实例的主要区域，这一点毋庸置疑。

参考《Java虚拟机规范（第7版）》的描述，JVM包含三种引用类型，分别是类型 (class type)，数组类型(array type)和接口类型(interface type)，这些引用类型的值则分别由类实例、数组实例以及实现了某个接口的派生类实例负责动态创建，那么JVM中究竟是如何为这些类型创建对应的对象实例呢？-------------如果是在Java语法层面上创建一个对象，无非就是使用一个简单的new关键字即可，但是在JVM中就没有那么简单了，其实牵扯到细节的实现相当复杂，而且过程繁多。简单地说，当Java语法层面使用new关键字创建一个Java对象时，JVM首先会检查这个new指令的参数能否在常量池中定位到一个类的符号引用，然后检查与这个符号引用相对应的类是否已经成功经历加载、解析和初始化等步骤，当类完成装载步骤之后，就已经完全确定出创建对象实例时所需的内存空间大小，接下来JVM将会对其进行内存分配，以存储所生成的对象实例。如下图所示：

为新对象分配内存是一件非常严谨和复杂的任务，JVM的设计者们不仅需要考虑内存如何分配、在哪分配等问题，并且由于内存分配算法与内存回收算法密切相关，所以还要考虑GC执行完内存回收后是否会在内存空间中产生内部碎片。如果内存空间以规整和有序的的方式分布，当为新对象分配内存时，只需要修改指针的偏移量将新对象分配在第一个空闲内存位置上，这种分配方式就叫做指针碰撞（Bump the Pointer）,反之则只能使用空闲列表（Free List）执行内存分配。

基于分代的概念，Java堆区如果进一步细分的话，还可分为：新生代 ( Young )和老年代 ( Old )；这也就是JVM采用的“分代思想”，简单说，就是针对不同特征的java对象采用不同的策略实施存放和回收，所用分配机制和回收算法就不一样。新生代 ( Young ) 又被划分为三个区域：Eden、From Survivor、To Survivor。（《Java虚拟机精讲》）

分代收集算法：采用不同算法处理[存放和回收]Java瞬时对象和长久对象。大部分Java对象都是瞬时对象，朝生夕灭，存活很短暂，通常存放在Young新生代，采用复制算法对新生代进行垃圾回收。老年代对象的生命周期一般都比较长，极端情况下会和JVM生命周期保持一致；通常采用标记-压缩算法对老年代进行垃圾回收。