20200819——Java中堆栈的内存分配

前言

关于java中堆栈和内存分配

堆/栈

寄存器

最快的存储区，由编译器根据需求进行分配，我们在程序中无法控制。

堆

存放所有new出来的对象

栈

存放基本类型的变量数据和对象的引用。但是对象本身不存放在栈中，而是存放堆（new出来对象）或者常量池中（字符串常量对象存放常量池中）

静态域

之前属于方法区，现在都被转移到堆中
存放静态成员，static修饰的

常量池

同静态域
存放字符串常量和基本类型常量（public static final）

非RAM存储

硬盘等永久存储空间。

总结

栈中的数据大小和生命周期是可以确定的，当没有引用指向数据的时候，这个数据就会消失。堆中的对象由垃圾回收处理器负责回收，因此大小和生命周期不需要确定，具有很大的灵活性。

对于字符串，其对象的引用都是存储在栈中的，如果是编译期已经创建好的就存储在常量池中，如果是运行期（new 出来的）才能存储在堆中，对于equals相等的字符串，在常量池中永远只有一份。

new String(“china”) 对于通过new产生一个字符串对象，会先去常量池看是否有china对象，如果没有则在常量池创建一个此字符串对象，然后在堆中在创建一个常量池对象的拷贝。

对于成员变量和局部变量，成员变量是方法外部，类的内部定义的变量，局部变量是方法快语句内部定义的变量，局部变量必须初始化。

形式参数是局部变量，局部变量的数据存在栈的内存中，栈内存的局部变量随着方法的消失而消失。

java中内存分配中的栈

函数中定义的基本类型的变量数据和对应的引用变量都在函数的栈内存中分配，当一段代码定义一个变量时，java在栈中为这个变量分配内存空间，当该变量退出作作用域的时候，java会自动释放掉为该变量所分配的内存空间，该内存空间可以立即作为其他的作用

java中内存分配中的堆

堆内存用来分配new创建的数组和对象，分配的内存，由java虚拟机自带的垃圾回收器进行回收。

在堆中分配了一个数组或者对象之后，还可以在栈中定义一个特殊的变量，让栈中这个变量的取值等于数组或对象在堆内存中的首地址，栈中这个变量就成了数组或对象的引用变量。引用变量就相当于数组或者对象起的一个名称，以后就可以在程序中栈中的引用变量来访问堆中的数组或者对象了。

引用变量是普通的变量，定义时在栈中分配，引用变量在程序运行到其作用域外就会被释放，而对象和数组在堆中分配，即使程序运行到使用new产生数组或者独享的语句在代码之外，数组和对象本身占据的内存不会被释放，数组和对象在没有引用变量指向它的时候，它才变成垃圾，被回收器回收。

实际上，栈中的变量指向堆内存中的变量，就是java的指针。

常量池

常量池的定义就是在编译期确定，并被保存在已编译.class文件中的一些数据，除了包含代码中所定义的各种基本类型和对象型的常量值，还包含一些以文本形式出现的符号引用。

类和接口的全限定名
字段的名称的描述符
方法和名称的描述符

虚拟机必须为每个被装载的类型维护一个常量池。常量池就是该类型所用到常量的一个有序集和，包括直接常量（string,integer和 floating point常量）和对其他类型，字段和方法的符号引用。

对于String常量，它的值是在常量池中的。而JVM中的常量池在内存当中是以表的形式存在的， 对于String类型，有一张固定长度的CONSTANT_String_info表用来存储文字字符串值，注意：该表只存储文字字符串值，不存储符号引 用。说到这里，对常量池中的字符串值的存储位置应该有一个比较明了的理解了。在程序执行的时候,常量池 会储存在Method Area,而不是堆中。

再详细的说一下栈

栈的优势是，存取速度比堆要快，仅次于寄存器，栈数据可以共享。但缺点是，存在栈中的数据大小与生存期必须是确定的，缺乏灵活性。栈中主要存放一些基本类型的变量数据（int, short, long, byte, float, double, boolean, char）和对象句柄(引用)。

栈有一个很重要的特殊性，就是存在栈中的数据可以共享。假设我们同时定义：

int a = 3; int b = 3； 编译器先处理int a = 3；首先它会在栈中创建一个变量为a的引用，然后查找栈中是否有3这个值，如果没找到，就将3存放进来，然后将a指向3。接着处理int b = 3；在创建完b的引用变量后，因为在栈中已经有3这个值，便将b直接指向3。这样，就出现了a与b同时均指向3的情况。

这时，如果再令 a=4；那么编译器会重新搜索栈中是否有4值，如果没有，则将4存放进来，并令a指向4；如果已经有了，则直接将a指向这个地址。因此a值的改变不会影响 到b的值。

要注意这种数据的共享与两个对象的引用同时指向一个对象的这种共享是不同的，因为这种情况a的修改并不会影响到b, 它是由编译器完成的，它有利于节省空间。而一个对象引用变量修改了这个对象的内部状态，会影响到另一个对象引用变量。