Java内存区域.md 28.6 KB
Newer Older
S
SnailClimb 已提交
1 2
点击关注[公众号](#公众号)及时获取笔主最新更新文章,并可免费领取本文档配套的《Java面试突击》以及Java工程师必备学习资源。

S
SnailClimb 已提交
3 4
<!-- TOC -->

5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
- [Java 内存区域详解](#java-内存区域详解)
    - [写在前面 (常见面试题)](#写在前面-常见面试题)
        - [基本问题](#基本问题)
        - [拓展问题](#拓展问题)
    - [一 概述](#一-概述)
    - [二 运行时数据区域](#二-运行时数据区域)
        - [2.1 程序计数器](#21-程序计数器)
        - [2.2 Java 虚拟机栈](#22-java-虚拟机栈)
        - [2.3 本地方法栈](#23-本地方法栈)
        - [2.4 堆](#24-堆)
        - [2.5 方法区](#25-方法区)
            - [2.5.1 方法区和永久代的关系](#251-方法区和永久代的关系)
            - [2.5.2 常用参数](#252-常用参数)
            - [2.5.3 为什么要将永久代 (PermGen) 替换为元空间 (MetaSpace) 呢?](#253-为什么要将永久代-permgen-替换为元空间-metaspace-呢)
        - [2.6 运行时常量池](#26-运行时常量池)
        - [2.7 直接内存](#27-直接内存)
    - [三 HotSpot 虚拟机对象探秘](#三-hotspot-虚拟机对象探秘)
        - [3.1 对象的创建](#31-对象的创建)
            - [Step1:类加载检查](#step1类加载检查)
            - [Step2:分配内存](#step2分配内存)
            - [Step3:初始化零值](#step3初始化零值)
            - [Step4:设置对象头](#step4设置对象头)
            - [Step5:执行 init 方法](#step5执行-init-方法)
        - [3.2 对象的内存布局](#32-对象的内存布局)
        - [3.3 对象的访问定位](#33-对象的访问定位)
    - [四  重点补充内容](#四--重点补充内容)
        - [4.1 String 类和常量池](#41-string-类和常量池)
        - [4.2 String s1 = new String("abc");这句话创建了几个字符串对象?](#42-string-s1--new-stringabc这句话创建了几个字符串对象)
        - [4.3 8 种基本类型的包装类和常量池](#43-8-种基本类型的包装类和常量池)
    - [参考](#参考)
S
Shuang Kou 已提交
35
    - [公众号](#公众号)
S
SnailClimb 已提交
36 37

<!-- /TOC -->
38 39 40

# Java 内存区域详解

S
SnailClimb 已提交
41 42
如果没有特殊说明,都是针对的是 HotSpot 虚拟机。

43
## 写在前面 (常见面试题)
S
Snailclimb 已提交
44

S
SnailClimb 已提交
45
### 基本问题
S
Snailclimb 已提交
46 47 48 49 50

- **介绍下 Java 内存区域(运行时数据区)**
- **Java 对象的创建过程(五步,建议能默写出来并且要知道每一步虚拟机做了什么)**
- **对象的访问定位的两种方式(句柄和直接指针两种方式)**

S
SnailClimb 已提交
51
### 拓展问题
S
Snailclimb 已提交
52

53 54
- **String 类和常量池**
- **8 种基本类型的包装类和常量池**
S
Snailclimb 已提交
55

S
SnailClimb 已提交
56
## 一 概述
S
Snailclimb 已提交
57

顾仁才 已提交
58
对于 Java 程序员来说,在虚拟机自动内存管理机制下,不再需要像 C/C++程序开发程序员这样为每一个 new 操作去写对应的 delete/free 操作,不容易出现内存泄漏和内存溢出问题。正是因为 Java 程序员把内存控制权利交给 Java 虚拟机,一旦出现内存泄漏和溢出方面的问题,如果不了解虚拟机是怎样使用内存的,那么排查错误将会是一个非常艰巨的任务。
S
Snailclimb 已提交
59

S
SnailClimb 已提交
60 61 62
## 二 运行时数据区域
Java 虚拟机在执行 Java 程序的过程中会把它管理的内存划分成若干个不同的数据区域。JDK. 1.8 和之前的版本略有不同,下面会介绍到。

63
**JDK 1.8 之前:**
S
Snailclimb 已提交
64

S
SnailClimb 已提交
65
<div align="center">  
66
<img src="https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-3/JVM运行时数据区域.png" width="600px"/>
S
SnailClimb 已提交
67
</div>
S
SnailClimb 已提交
68

S
SnailClimb 已提交
69 70 71
**JDK 1.8 :**

<div align="center">  
72
<img src="https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-3Java运行时数据区域JDK1.8.png" width="600px"/>
S
SnailClimb 已提交
73
</div>
S
Snailclimb 已提交
74 75 76 77 78 79 80 81 82 83 84

**线程私有的:**

- 程序计数器
- 虚拟机栈
- 本地方法栈

**线程共享的:**

-
- 方法区
85
- 直接内存 (非运行时数据区的一部分)
S
Snailclimb 已提交
86 87

### 2.1 程序计数器
zouxiaodong552's avatar
zouxiaodong552 已提交
88
程序计数器是一块较小的内存空间,可以看作是当前线程所执行的字节码的行号指示器。**字节码解释器工作时通过改变这个计数器的值来选取下一条需要执行的字节码指令,分支、循环、跳转、异常处理、线程恢复等功能都需要依赖这个计数器来完成。**
S
Snailclimb 已提交
89 90 91

另外,**为了线程切换后能恢复到正确的执行位置,每条线程都需要有一个独立的程序计数器,各线程之间计数器互不影响,独立存储,我们称这类内存区域为“线程私有”的内存。**

92 93 94 95 96
**从上面的介绍中我们知道程序计数器主要有两个作用:**

1. 字节码解释器通过改变程序计数器来依次读取指令,从而实现代码的流程控制,如:顺序执行、选择、循环、异常处理。
2. 在多线程的情况下,程序计数器用于记录当前线程执行的位置,从而当线程被切换回来的时候能够知道该线程上次运行到哪儿了。

S
SnailClimb 已提交
97
**注意:程序计数器是唯一一个不会出现 OutOfMemoryError 的内存区域,它的生命周期随着线程的创建而创建,随着线程的结束而死亡。**
98

S
Snailclimb 已提交
99
### 2.2 Java 虚拟机栈
S
Snailclimb 已提交
100

101
**与程序计数器一样,Java 虚拟机栈也是线程私有的,它的生命周期和线程相同,描述的是 Java 方法执行的内存模型,每次方法调用的数据都是通过栈传递的。**
S
Snailclimb 已提交
102

103
**Java 内存可以粗糙的区分为堆内存(Heap)和栈内存 (Stack),其中栈就是现在说的虚拟机栈,或者说是虚拟机栈中局部变量表部分。** (实际上,Java 虚拟机栈是由一个个栈帧组成,而每个栈帧中都拥有:局部变量表、操作数栈、动态链接、方法出口信息。)
S
Snailclimb 已提交
104

105
**局部变量表主要存放了编译器可知的各种数据类型**(boolean、byte、char、short、int、float、long、double)、**对象引用**(reference 类型,它不同于对象本身,可能是一个指向对象起始地址的引用指针,也可能是指向一个代表对象的句柄或其他与此对象相关的位置)。
S
Snailclimb 已提交
106

S
Snailclimb 已提交
107
**Java 虚拟机栈会出现两种错误:StackOverFlowError 和 OutOfMemoryError。**
108

S
Snailclimb 已提交
109 110
- **StackOverFlowError:** 若 Java 虚拟机栈的内存大小不允许动态扩展,那么当线程请求栈的深度超过当前 Java 虚拟机栈的最大深度的时候,就抛出 StackOverFlowError 错误。
- **OutOfMemoryError:** 若 Java 虚拟机栈的内存大小允许动态扩展,且当线程请求栈时内存用完了,无法再动态扩展了,此时抛出 OutOfMemoryError 错误。
111

112
Java 虚拟机栈也是线程私有的,每个线程都有各自的 Java 虚拟机栈,而且随着线程的创建而创建,随着线程的死亡而死亡。
113

S
SnailClimb 已提交
114 115
**扩展:那么方法/函数如何调用?**

116
Java 栈可用类比数据结构中栈,Java 栈中保存的主要内容是栈帧,每一次函数调用都会有一个对应的栈帧被压入 Java 栈,每一个函数调用结束后,都会有一个栈帧被弹出。
S
SnailClimb 已提交
117

118
Java 方法有两种返回方式:
S
SnailClimb 已提交
119 120 121 122 123 124

1. return 语句。
2. 抛出异常。

不管哪种返回方式都会导致栈帧被弹出。

S
Snailclimb 已提交
125 126
### 2.3 本地方法栈

S
Snailclimb 已提交
127
和虚拟机栈所发挥的作用非常相似,区别是: **虚拟机栈为虚拟机执行 Java 方法 (也就是字节码)服务,而本地方法栈则为虚拟机使用到的 Native 方法服务。** 在 HotSpot 虚拟机中和 Java 虚拟机栈合二为一。
S
Snailclimb 已提交
128

129 130
本地方法被执行的时候,在本地方法栈也会创建一个栈帧,用于存放该本地方法的局部变量表、操作数栈、动态链接、出口信息。

S
Snailclimb 已提交
131
方法执行完毕后相应的栈帧也会出栈并释放内存空间,也会出现 StackOverFlowError 和 OutOfMemoryError 两种错误。
132

S
Snailclimb 已提交
133
### 2.4 堆
134

S
Snailclimb 已提交
135
Java 虚拟机所管理的内存中最大的一块,Java 堆是所有线程共享的一块内存区域,在虚拟机启动时创建。**此内存区域的唯一目的就是存放对象实例,几乎所有的对象实例以及数组都在这里分配内存。**
S
Snailclimb 已提交
136

137
Java 堆是垃圾收集器管理的主要区域,因此也被称作**GC 堆(Garbage Collected Heap)**.从垃圾回收的角度,由于现在收集器基本都采用分代垃圾收集算法,所以 Java 堆还可以细分为:新生代和老年代:再细致一点有:Eden 空间、From Survivor、To Survivor 空间等。**进一步划分的目的是更好地回收内存,或者更快地分配内存。**
S
Snailclimb 已提交
138

S
Snailclimb 已提交
139 140
在 JDK 7 版本及JDK 7 版本之前,堆内存被通常被分为下面三部分:

L
liwenguang 已提交
141
1. 新生代内存(Young Generation)
S
Snailclimb 已提交
142 143 144 145 146 147 148 149 150 151 152
2. 老生代(Old Generation)
3. 永生代(Permanent Generation)

![JVM堆内存结构-JDK7](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-11/JVM堆内存结构-JDK7.jpg)

JDK 8 版本之后方法区(HotSpot 的永久代)被彻底移除了(JDK1.7 就已经开始了),取而代之是元空间,元空间使用的是直接内存。

![JVM堆内存结构-JDK8](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-11/JVM堆内存结构-jdk8.jpg)

**上图所示的 Eden 区、两个 Survivor 区都属于新生代(为了区分,这两个 Survivor 区域按照顺序被命名为 from 和 to),中间一层属于老年代。**

S
Snailclimb 已提交
153
大部分情况,对象都会首先在 Eden 区域分配,在一次新生代垃圾回收后,如果对象还存活,则会进入 s0 或者 s1,并且对象的年龄还会加  1(Eden 区->Survivor 区后对象的初始年龄变为 1),当它的年龄增加到一定程度(默认为 15 岁),就会被晋升到老年代中。对象晋升到老年代的年龄阈值,可以通过参数 `-XX:MaxTenuringThreshold` 来设置。
S
Snailclimb 已提交
154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176

> 修正([issue552](https://github.com/Snailclimb/JavaGuide/issues/552)):“Hotspot遍历所有对象时,按照年龄从小到大对其所占用的大小进行累积,当累积的某个年龄大小超过了survivor区的一半时,取这个年龄和MaxTenuringThreshold中更小的一个值,作为新的晋升年龄阈值”。
>
> **动态年龄计算的代码如下**
>
> ```c++
> uint ageTable::compute_tenuring_threshold(size_t survivor_capacity) {
> 	//survivor_capacity是survivor空间的大小
>   size_t desired_survivor_size = (size_t)((((double) survivor_capacity)*TargetSurvivorRatio)/100);
>   size_t total = 0;
>   uint age = 1;
>   while (age < table_size) {
>     total += sizes[age];//sizes数组是每个年龄段对象大小
>     if (total > desired_survivor_size) break;
>     age++;
>   }
>   uint result = age < MaxTenuringThreshold ? age : MaxTenuringThreshold;
> 	...
> }
> 
> ```
>
> 
177

S
Snailclimb 已提交
178
堆这里最容易出现的就是  OutOfMemoryError 错误,并且出现这种错误之后的表现形式还会有几种,比如:
S
Snailclimb 已提交
179 180 181 182 183

1. **`OutOfMemoryError: GC Overhead Limit Exceeded`** : 当JVM花太多时间执行垃圾回收并且只能回收很少的堆空间时,就会发生此错误。
2. **`java.lang.OutOfMemoryError: Java heap space`** :假如在创建新的对象时, 堆内存中的空间不足以存放新创建的对象, 就会引发`java.lang.OutOfMemoryError: Java heap space` 错误。(和本机物理内存无关,和你配置的对内存大小有关!)
3. ......

S
Snailclimb 已提交
184 185
### 2.5 方法区

S
Snailclimb 已提交
186
方法区与 Java 堆一样,是各个线程共享的内存区域,它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。虽然 **Java 虚拟机规范把方法区描述为堆的一个逻辑部分**,但是它却有一个别名叫做 **Non-Heap(非堆)**,目的应该是与 Java 堆区分开来。
S
SnailClimb 已提交
187 188 189

方法区也被称为永久代。很多人都会分不清方法区和永久代的关系,为此我也查阅了文献。

190
#### 2.5.1 方法区和永久代的关系
S
SnailClimb 已提交
191

Y
yellowgg 已提交
192
> 《Java 虚拟机规范》只是规定了有方法区这么个概念和它的作用,并没有规定如何去实现它。那么,在不同的 JVM 上方法区的实现肯定是不同的了。  **方法区和永久代的关系很像 Java 中接口和类的关系,类实现了接口,而永久代就是 HotSpot 虚拟机对虚拟机规范中方法区的一种实现方式。** 也就是说,永久代是 HotSpot 的概念,方法区是 Java 虚拟机规范中的定义,是一种规范,而永久代是一种实现,一个是标准一个是实现,其他的虚拟机实现并没有永久代这一说法。
S
SnailClimb 已提交
193

194
#### 2.5.2 常用参数
S
SnailClimb 已提交
195 196 197 198

JDK 1.8 之前永久代还没被彻底移除的时候通常通过下面这些参数来调节方法区大小

```java
199 200
-XX:PermSize=N //方法区 (永久代) 初始大小
-XX:MaxPermSize=N //方法区 (永久代) 最大大小,超过这个值将会抛出 OutOfMemoryError 异常:java.lang.OutOfMemoryError: PermGen
S
SnailClimb 已提交
201 202
```

Y
yellowgg 已提交
203
相对而言,垃圾收集行为在这个区域是比较少出现的,但并非数据进入方法区后就“永久存在”了。
S
SnailClimb 已提交
204

205
JDK 1.8 的时候,方法区(HotSpot 的永久代)被彻底移除了(JDK1.7 就已经开始了),取而代之是元空间,元空间使用的是直接内存。
S
SnailClimb 已提交
206 207 208 209

下面是一些常用参数:

```java
210 211
-XX:MetaspaceSize=N //设置 Metaspace 的初始(和最小大小)
-XX:MaxMetaspaceSize=N //设置 Metaspace 的最大大小
S
SnailClimb 已提交
212
```
S
Snailclimb 已提交
213

S
SnailClimb 已提交
214
与永久代很大的不同就是,如果不指定大小的话,随着更多类的创建,虚拟机会耗尽所有可用的系统内存。
S
Snailclimb 已提交
215

216
#### 2.5.3 为什么要将永久代 (PermGen) 替换为元空间 (MetaSpace) 呢?
S
Snailclimb 已提交
217

L
fix-579  
liwenguang 已提交
218 219
1. 整个永久代有一个 JVM 本身设置固定大小上限,无法进行调整,而元空间使用的是直接内存,受本机可用内存的限制,虽然元空间仍旧可能溢出,但是比原来出现的几率会更小。
>当你元空间溢出时会得到如下错误: `java.lang.OutOfMemoryError: MetaSpace`
S
Snailclimb 已提交
220

L
fix-579  
liwenguang 已提交
221 222 223 224
你可以使用 `-XX:MaxMetaspaceSize` 标志设置最大元空间大小,默认值为 unlimited,这意味着它只受系统内存的限制。`-XX:MetaspaceSize` 调整标志定义元空间的初始大小如果未指定此标志,则 Metaspace 将根据运行时的应用程序需求动态地重新调整大小。  

2. 元空间里面存放的是类的元数据,这样加载多少类的元数据就不由 `MaxPermSize` 控制了, 而由系统的实际可用空间来控制,这样能加载的类就更多了。  

L
fix-579  
liwenguang 已提交
225
3. 在 JDK8,合并 HotSpot 和 JRockit 的代码时, JRockit 从来没有一个叫永久代的东西, 合并之后就没有必要额外的设置这么一个永久代的地方了。
S
Snailclimb 已提交
226 227 228 229 230

### 2.6 运行时常量池

运行时常量池是方法区的一部分。Class 文件中除了有类的版本、字段、方法、接口等描述信息外,还有常量池信息(用于存放编译期生成的各种字面量和符号引用)

S
Snailclimb 已提交
231
既然运行时常量池是方法区的一部分,自然受到方法区内存的限制,当常量池无法再申请到内存时会抛出 OutOfMemoryError 错误。
S
Snailclimb 已提交
232

233
**JDK1.7 及之后版本的 JVM 已经将运行时常量池从方法区中移了出来,在 Java 堆(Heap)中开辟了一块区域存放运行时常量池。** 
S
Snailclimb 已提交
234

S
Snailclimb 已提交
235 236
![](http://my-blog-to-use.oss-cn-beijing.aliyuncs.com/18-9-14/26038433.jpg)
——图片来源:https://blog.csdn.net/wangbiao007/article/details/78545189
S
Snailclimb 已提交
237

S
Snailclimb 已提交
238 239 240

### 2.7 直接内存

S
Snailclimb 已提交
241
**直接内存并不是虚拟机运行时数据区的一部分,也不是虚拟机规范中定义的内存区域,但是这部分内存也被频繁地使用。而且也可能导致 OutOfMemoryError 错误出现。**
S
Snailclimb 已提交
242

S
SnailClimb 已提交
243
JDK1.4 中新加入的 **NIO(New Input/Output) 类**,引入了一种基于**通道(Channel)****缓存区(Buffer)** 的 I/O 方式,它可以直接使用 Native 函数库直接分配堆外内存,然后通过一个存储在 Java 堆中的 DirectByteBuffer 对象作为这块内存的引用进行操作。这样就能在一些场景中显著提高性能,因为**避免了在 Java 堆和 Native 堆之间来回复制数据**
S
Snailclimb 已提交
244

Y
yidasanqian 已提交
245
本机直接内存的分配不会受到 Java 堆的限制,但是,既然是内存就会受到本机总内存大小以及处理器寻址空间的限制。
S
Snailclimb 已提交
246 247


S
SnailClimb 已提交
248
## 三 HotSpot 虚拟机对象探秘
S
Snailclimb 已提交
249
通过上面的介绍我们大概知道了虚拟机的内存情况,下面我们来详细的了解一下 HotSpot 虚拟机在 Java 堆中对象分配、布局和访问的全过程。
S
Snailclimb 已提交
250 251

### 3.1 对象的创建
S
Snailclimb 已提交
252
下图便是 Java 对象的创建过程,我建议最好是能默写出来,并且要掌握每一步在做什么。
S
SnailClimb 已提交
253
![Java创建对象的过程](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-6/Java创建对象的过程.png)
254 255 256 257

#### Step1:类加载检查

 虚拟机遇到一条 new 指令时,首先将去检查这个指令的参数是否能在常量池中定位到这个类的符号引用,并且检查这个符号引用代表的类是否已被加载过、解析和初始化过。如果没有,那必须先执行相应的类加载过程。
S
Snailclimb 已提交
258

259
#### Step2:分配内存
S
Snailclimb 已提交
260

261
**类加载检查**通过后,接下来虚拟机将为新生对象**分配内存**。对象所需的内存大小在类加载完成后便可确定,为对象分配空间的任务等同于把一块确定大小的内存从 Java 堆中划分出来。**分配方式****“指针碰撞”****“空闲列表”** 两种,**选择那种分配方式由 Java 堆是否规整决定,而 Java 堆是否规整又由所采用的垃圾收集器是否带有压缩整理功能决定**
S
Snailclimb 已提交
262 263 264 265 266 267


**内存分配的两种方式:(补充内容,需要掌握)**

选择以上两种方式中的哪一种,取决于 Java 堆内存是否规整。而 Java 堆内存是否规整,取决于 GC 收集器的算法是"标记-清除",还是"标记-整理"(也称作"标记-压缩"),值得注意的是,复制算法内存也是规整的

S
SnailClimb 已提交
268
![内存分配的两种方式](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-6/内存分配的两种方式.png)
S
Snailclimb 已提交
269

S
Snailclimb 已提交
270 271 272 273
**内存分配并发问题(补充内容,需要掌握)**

在创建对象的时候有一个很重要的问题,就是线程安全,因为在实际开发过程中,创建对象是很频繁的事情,作为虚拟机来说,必须要保证线程是安全的,通常来讲,虚拟机采用两种方式来保证线程安全:

S
Snailclimb 已提交
274
- **CAS+失败重试:** CAS 是乐观锁的一种实现方式。所谓乐观锁就是,每次不加锁而是假设没有冲突而去完成某项操作,如果因为冲突失败就重试,直到成功为止。**虚拟机采用 CAS 配上失败重试的方式保证更新操作的原子性。**
275
- **TLAB:** 为每一个线程预先在 Eden 区分配一块儿内存,JVM 在给线程中的对象分配内存时,首先在 TLAB 分配,当对象大于 TLAB 中的剩余内存或 TLAB 的内存已用尽时,再采用上述的 CAS 进行内存分配
S
Snailclimb 已提交
276

277
#### Step3:初始化零值
S
Snailclimb 已提交
278

279
内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头),这一步操作保证了对象的实例字段在 Java 代码中可以不赋初始值就直接使用,程序能访问到这些字段的数据类型所对应的零值。
S
Snailclimb 已提交
280

281
#### Step4:设置对象头
S
Snailclimb 已提交
282

J
J.K.SAGE 已提交
283
初始化零值完成之后,**虚拟机要对对象进行必要的设置**,例如这个对象是那个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的 GC 分代年龄等信息。 **这些信息存放在对象头中。** 另外,根据虚拟机当前运行状态的不同,如是否启用偏向锁等,对象头会有不同的设置方式。
S
Snailclimb 已提交
284

285
#### Step5:执行 init 方法
S
Snailclimb 已提交
286

287
 在上面工作都完成之后,从虚拟机的视角来看,一个新的对象已经产生了,但从 Java 程序的视角来看,对象创建才刚开始,`<init>` 方法还没有执行,所有的字段都还为零。所以一般来说,执行 new 指令之后会接着执行 `<init>` 方法,把对象按照程序员的意愿进行初始化,这样一个真正可用的对象才算完全产生出来。
S
Snailclimb 已提交
288 289 290 291


### 3.2 对象的内存布局

292
在 Hotspot 虚拟机中,对象在内存中的布局可以分为 3 块区域:**对象头****实例数据****对齐填充**
S
Snailclimb 已提交
293

294
**Hotspot 虚拟机的对象头包括两部分信息****第一部分用于存储对象自身的自身运行时数据**(哈希码、GC 分代年龄、锁状态标志等等),**另一部分是类型指针**,即对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是那个类的实例。
S
Snailclimb 已提交
295 296 297

**实例数据部分是对象真正存储的有效信息**,也是在程序中所定义的各种类型的字段内容。

298
**对齐填充部分不是必然存在的,也没有什么特别的含义,仅仅起占位作用。** 因为 Hotspot 虚拟机的自动内存管理系统要求对象起始地址必须是 8 字节的整数倍,换句话说就是对象的大小必须是 8 字节的整数倍。而对象头部分正好是 8 字节的倍数(1 倍或 2 倍),因此,当对象实例数据部分没有对齐时,就需要通过对齐填充来补全。
S
Snailclimb 已提交
299 300

### 3.3 对象的访问定位
Y
yidasanqian 已提交
301
建立对象就是为了使用对象,我们的 Java 程序通过栈上的 reference 数据来操作堆上的具体对象。对象的访问方式由虚拟机实现而定,目前主流的访问方式有**①使用句柄****②直接指针**两种:
S
Snailclimb 已提交
302

303
1. **句柄:** 如果使用句柄的话,那么 Java 堆中将会划分出一块内存来作为句柄池,reference 中存储的就是对象的句柄地址,而句柄中包含了对象实例数据与类型数据各自的具体地址信息;
S
SnailClimb 已提交
304 305

  ![对象的访问定位-使用句柄](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-6/对象的访问定位-使用句柄.png)
S
Snailclimb 已提交
306

307
2. **直接指针:**  如果使用直接指针访问,那么 Java 堆对象的布局中就必须考虑如何放置访问类型数据的相关信息,而 reference 中存储的直接就是对象的地址。
S
Snailclimb 已提交
308

S
SnailClimb 已提交
309
![对象的访问定位-直接指针](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-6/对象的访问定位-直接指针.png)
S
Snailclimb 已提交
310

S
Snailclimb 已提交
311
**这两种对象访问方式各有优势。使用句柄来访问的最大好处是 reference 中存储的是稳定的句柄地址,在对象被移动时只会改变句柄中的实例数据指针,而 reference 本身不需要修改。使用直接指针访问方式最大的好处就是速度快,它节省了一次指针定位的时间开销。**
S
Snailclimb 已提交
312

313

S
Snailclimb 已提交
314 315
## 四  重点补充内容

316
### 4.1 String 类和常量池
S
Snailclimb 已提交
317

318
**String 对象的两种创建方式:**
S
Snailclimb 已提交
319 320

```java
321
String str1 = "abcd";//先检查字符串常量池中有没有"abcd",如果字符串常量池中没有,则创建一个,然后 str1 指向字符串常量池中的对象,如果有,则直接将 str1 指向"abcd"";
322 323 324 325
String str2 = new String("abcd");//堆中创建一个新的对象
String str3 = new String("abcd");//堆中创建一个新的对象
System.out.println(str1==str2);//false
System.out.println(str2==str3);//false
S
Snailclimb 已提交
326 327
```

328
这两种不同的创建方法是有差别的。
S
Snailclimb 已提交
329

330 331
- 第一种方式是在常量池中拿对象;
- 第二种方式是直接在堆内存空间创建一个新的对象。
S
Snailclimb 已提交
332

333
记住一点:**只要使用 new 方法,便需要创建新的对象。**
334 335 336 337

再给大家一个图应该更容易理解,图片来源:<https://www.journaldev.com/797/what-is-java-string-pool>

![String-Pool-Java](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-3String-Pool-Java1-450x249.png)
S
Snailclimb 已提交
338

339
**String 类型的常量池比较特殊。它的主要使用方法有两种:**
S
Snailclimb 已提交
340

S
Snailclimb 已提交
341
- 直接使用双引号声明出来的 String 对象会直接存储在常量池中。
L
LicoCode 已提交
342
- 如果不是用双引号声明的 String 对象,可以使用 String 提供的 intern 方法。String.intern() 是一个 Native 方法,它的作用是:如果运行时常量池中已经包含一个等于此 String 对象内容的字符串,则返回常量池中该字符串的引用;如果没有,JDK1.7之前(不包含1.7)的处理方式是在常量池中创建与此 String 内容相同的字符串,并返回常量池中创建的字符串的引用,JDK1.7以及之后的处理方式是在常量池中记录此字符串的引用,并返回该引用。
S
Snailclimb 已提交
343 344 345 346 347 348

```java
	      String s1 = new String("计算机");
	      String s2 = s1.intern();
	      String s3 = "计算机";
	      System.out.println(s2);//计算机
349 350
	      System.out.println(s1 == s2);//false,因为一个是堆内存中的 String 对象一个是常量池中的 String 对象,
	      System.out.println(s3 == s2);//true,因为两个都是常量池中的 String 对象
S
Snailclimb 已提交
351
```
352 353
**字符串拼接:**

S
Snailclimb 已提交
354 355 356
```java
		  String str1 = "str";
		  String str2 = "ing";
S
SnailClimb 已提交
357
		 
S
Snailclimb 已提交
358 359 360 361 362 363 364
		  String str3 = "str" + "ing";//常量池中的对象
		  String str4 = str1 + str2; //在堆上创建的新的对象	  
		  String str5 = "string";//常量池中的对象
		  System.out.println(str3 == str4);//false
		  System.out.println(str3 == str5);//true
		  System.out.println(str4 == str5);//false
```
K
Kou Shuang 已提交
365
![字符串拼接](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-7/字符串拼接-常量池2.png)
S
Snailclimb 已提交
366

S
Snailclimb 已提交
367
尽量避免多个字符串拼接,因为这样会重新创建对象。如果需要改变字符串的话,可以使用 StringBuilder 或者 StringBuffer。
368
### 4.2 String s1 = new String("abc");这句话创建了几个字符串对象?
S
Snailclimb 已提交
369

Y
yidasanqian 已提交
370
**将创建 1 或 2 个字符串。如果池中已存在字符串常量“abc”,则只会在堆空间创建一个字符串常量“abc”。如果池中没有字符串常量“abc”,那么它将首先在池中创建,然后在堆空间中创建,因此将创建总共 2 个字符串对象。**
S
Snailclimb 已提交
371 372 373 374

**验证:**

```java
C
Charles Wu 已提交
375
		String s1 = new String("abc");// 堆内存的地址值
S
Snailclimb 已提交
376
		String s2 = "abc";
377 378
		System.out.println(s1 == s2);// 输出 false,因为一个是堆内存,一个是常量池的内存,故两者是不同的。
		System.out.println(s1.equals(s2));// 输出 true
S
Snailclimb 已提交
379 380 381 382 383 384 385 386 387
```

**结果:**

```
false
true
```

388
### 4.3 8 种基本类型的包装类和常量池
S
Snailclimb 已提交
389

K
Kou Shuang 已提交
390
- **Java 基本类型的包装类的大部分都实现了常量池技术,即 Byte,Short,Integer,Long,Character,Boolean;这 5 种包装类默认创建了数值[-128,127] 的相应类型的缓存数据,但是超出此范围仍然会去创建新的对象。** 为啥把缓存设置为[-128,127]区间?([参见issue/461](https://github.com/Snailclimb/JavaGuide/issues/461))性能和资源之间的权衡。
S
Snailclimb 已提交
391 392 393 394 395
- **两种浮点数类型的包装类 Float,Double 并没有实现常量池技术。**

```java
		Integer i1 = 33;
		Integer i2 = 33;
396
		System.out.println(i1 == i2);// 输出 true
S
Snailclimb 已提交
397 398
		Integer i11 = 333;
		Integer i22 = 333;
399
		System.out.println(i11 == i22);// 输出 false
S
Snailclimb 已提交
400 401
		Double i3 = 1.2;
		Double i4 = 1.2;
402
		System.out.println(i3 == i4);// 输出 false
S
Snailclimb 已提交
403 404 405 406 407 408
```

**Integer 缓存源代码:** 

```java
/**
409
*此方法将始终缓存-128 到 127(包括端点)范围内的值,并可以缓存此范围之外的其他值。
S
Snailclimb 已提交
410 411 412 413 414 415 416 417 418 419
*/
    public static Integer valueOf(int i) {
        if (i >= IntegerCache.low && i <= IntegerCache.high)
            return IntegerCache.cache[i + (-IntegerCache.low)];
        return new Integer(i);
    }

```

**应用场景:**
420
1. Integer i1=40;Java 在编译的时候会直接将代码封装成 Integer i1=Integer.valueOf(40);,从而使用常量池中的对象。
S
Snailclimb 已提交
421 422 423 424 425
2.  Integer i1 = new Integer(40);这种情况下会创建新的对象。

```java
  Integer i1 = 40;
  Integer i2 = new Integer(40);
426
  System.out.println(i1==i2);//输出 false
S
Snailclimb 已提交
427
```
428
**Integer 比较更丰富的一个例子:**
S
Snailclimb 已提交
429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458

```java
  Integer i1 = 40;
  Integer i2 = 40;
  Integer i3 = 0;
  Integer i4 = new Integer(40);
  Integer i5 = new Integer(40);
  Integer i6 = new Integer(0);
  
  System.out.println("i1=i2   " + (i1 == i2));
  System.out.println("i1=i2+i3   " + (i1 == i2 + i3));
  System.out.println("i1=i4   " + (i1 == i4));
  System.out.println("i4=i5   " + (i4 == i5));
  System.out.println("i4=i5+i6   " + (i4 == i5 + i6));   
  System.out.println("40=i5+i6   " + (40 == i5 + i6));     
```

结果:

```
i1=i2   true
i1=i2+i3   true
i1=i4   false
i4=i5   false
i4=i5+i6   true
40=i5+i6   true
```

解释:

459
语句 i4 == i5 + i6,因为+这个操作符不适用于 Integer 对象,首先 i5 和 i6 进行自动拆箱操作,进行数值相加,即 i4 == 40。然后 Integer 对象无法与数值进行直接比较,所以 i4 自动拆箱转为 int 值 40,最终这条语句转为 40 == 40 进行数值比较。
S
Snailclimb 已提交
460

S
SnailClimb 已提交
461
## 参考
S
Snailclimb 已提交
462

463 464
- 《深入理解 Java 虚拟机:JVM 高级特性与最佳实践(第二版》
- 《实战 java 虚拟机》
S
SnailClimb 已提交
465 466 467 468
- <https://docs.oracle.com/javase/specs/index.html>
- <http://www.pointsoftware.ch/en/under-the-hood-runtime-data-areas-javas-memory-model/>
- <https://dzone.com/articles/jvm-permgen-%E2%80%93-where-art-thou>
- <https://stackoverflow.com/questions/9095748/method-area-and-permgen>
L
LicoCode 已提交
469
- 深入解析String#intern<https://tech.meituan.com/2014/03/06/in-depth-understanding-string-intern.html>
S
SnailClimb 已提交
470 471 472 473 474 475 476 477 478

## 公众号

如果大家想要实时关注我更新的文章以及分享的干货的话,可以关注我的公众号。

**《Java面试突击》:** 由本文档衍生的专为面试而生的《Java面试突击》V2.0 PDF 版本[公众号](#公众号)后台回复 **"Java面试突击"** 即可免费领取!

**Java工程师必备学习资源:** 一些Java工程师常用学习资源[公众号](#公众号)后台回复关键字 **“1”** 即可免费无套路获取。 

S
Shuang Kou 已提交
479
![我的公众号](https://my-blog-to-use.oss-cn-beijing.aliyuncs.com/2019-6/167598cd2e17b8ec.png)