栈和堆存储的说明

<1>:

JVM数据区
先上一张Java虚拟机运行时数据区中堆、栈以及方法区存储数据的概要图，如下所示：

然后我们来具体解析一下堆和栈

堆
堆是存储时的单位，对于绝大多数应用来说，这块区域是 JVM 所管理的内存中最大的一块。线程共享，主要是存放对象实例和数组。

栈
栈是运行时的单位，Java 虚拟机栈，线程私有，生命周期和线程一致。描述的是 Java 方法执行的内存模型：每个方法在执行时都会创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行结束，就对应着一个栈帧从虚拟机栈中入栈到出栈的过程。

局部变量表：存放了编译期可知的各种基本类型(boolean、byte、char、short、int、float、long、double)、对象引用(reference 类型)和 returnAddress 类型(指向了一条字节码指令的地址)

堆和栈的对比
一、栈解决程序的运行问题，即程序如何执行，或者说如何处理数据；堆解决的是数据存储的问题，即数据怎么放、放在哪儿。

二、栈因为是运行单位，因此里面存储的信息都是跟当前线程相关的信息。包括：局部变量、程序运行状态、方法返回值等等；而堆只负责存储对象信息。

三、在方法中定义的一些基本类型的变量和对象的引用变量都是在函数的栈内存中分配。堆内存用于存放由new创建的对象和数组。

四、在Java中一个线程就会相应有一个线程栈与之对应，这点保证了程序的并发运行。

而堆则是所有线程共享的，也可以理解为多个线程访问同一个对象，比如多线程去读写同一个对象的值

五、栈内存溢出包括StackOverflowError和OutOfMemoryError。StackOverflowError：线程请求的栈深度大于虚拟机所允许的深度。OutOfMemoryError：如果虚拟机栈可以动态扩展，而扩展时无法申请到足够的内存；堆内存溢出是OutOfMemoryError。如果堆中没有内存完成实例分配，并且堆也无法再扩展时，抛出OutOfMemoryError异常。

代码分析
最后，借助网上看到的一个例子帮助对栈内存，堆内存的存储进行理解：

对于以上这段代码，date为局部变量，i,d,m,y都是形参为局部变量，day，month，year为成员变量。下面分析一下代码执行时候的变化：

1. main

方法开始执行：int date = 9;

date

局部变量，基础类型，引用和值都存在栈中。

2. Test test = new Test();

test

为对象引用，存在栈中，对象(new Test())存在堆中。

3. test.change(date);

调用change(int i)方法，i为局部变量，引用和值存在栈中。当方法change执行完成后，i就会从栈中消失。

4. BirthDate d1= new BirthDate(7,7,1970);

调用BIrthDate类的构造函数生成对象。

d1为对象引用，存在栈中；

对象(new BirthDate())存在堆中；

其中d,m,y为局部变量存储在栈中，且它们的类型为基础类型，因此它们的数据也存储在栈中；

day,month,year为BirthDate对象的的成员变量，它们存储在堆中存储的new BirthDate()对象里面；

当BirthDate构造方法执行完之后，d,m,y将从栈中消失。

5.main方法执行完之后。

date变量，test，d1引用将从栈中消失；

new Test(),new BirthDate()将等待垃圾回收器进行回收。

<2.>

创建一个对象的时候，到底是在栈中分配还是在堆中分配需要看2个方面：对象类型和在Java中存在的位置

• 如果是基本数据类型，byte、short、int、long、float、double、char，如果是在方法中声明，则存储在栈中，其它情况都是在堆中（比方说类的成员变量就在堆中）；
• 除了基本数据类型之外的对象，JVM会在堆中创建对象，对象的引用存于虚拟机栈中的局部变量表中
• 并不是所有的对象都在堆中存储，可以走栈上分配，在不在栈上分配取决于Hotspot的一个优化技术:“逃逸分析”

逃逸分析中有方法逃逸和线程逃逸

• 方法逃逸：
  就是当一个对象在方法中定义后，它可能被外部方法访问到，比如说通过参数传递到其它方法中
• 线程逃逸：
  就是当一个对象在方法中定义后，它可能赋值给其它线程中访问的变量

如果不满足逃逸分析就会在栈上分配
栈上分配的好处就是方法出栈后内存就释放了，不需要通过gc来进行垃圾回收

需要注意的是：如果执行方法频次比较低的话，是不会触发栈上分配的