因为对JVM如何分配内存不甚熟悉，在网上找了许多资料，在此总结下并与大家共享。欢迎补充。

按照编译原理的观点，程序运行时的内存分配有三种原则，分别是静态的，栈式的，和堆式的。

静态存储分配时指在编译时就能确定每个数据目标在运行时刻的存储空间需求，因而在编译时就可以给他们分配固定的内存空间。这种分配策略要求程序代码中不允许有可变数据结构（比如可变数组）的存在，也不允许有嵌套或者递归的结构出现，因为他们都会导致编译程序无法计算准确的存储空间需求。
在函数中定义的一些基本类型的变量和对象的引用变量都在函数的栈内存中分配。


当某一个函数被调用时，这个函数会在栈内存里面申请一片空间，以后在这个函数内部定义的变量，都会分配到这个函数所申请到的栈空间。当函数运行结束时，分配给函数的栈空间被收回。在这个函数中被定义的变量也随之被释放和消失。通过new产生的数组和对象分配在堆内存中。堆内存中分配的内存，由JVM提供的GC（垃圾回收机制）来管理。在堆内存中产生了一个数组对象后，我们还可以在栈中定义一个变量，这个战中变量的取值等于堆中对象的首地址。栈内存中的变量就成了堆内存中数组或者对象的引用变量。我们以后就可以在程序中直接使用栈中的这个变量来访问我们在堆中分配的数组或者对象，引用变量相当于数组或者对象起的一个别名，或者代号。引用变量是一个普通的变量，定义时在栈中分配；引用变量在被运行到它的作用域之外时就被释放，而我们的数组和对象本身是在堆中分配的，即使程序运行到使用new产生对象的语句所在的函数或者代码之后，我们刚才被产生的数组和对象也不会被释放。数组和对象只是在没有引用变量指向它，也就是没有任何引用变量的值等于它的首地址，它才会变成垃圾不会被使用，但是它任然占据着内存空间不放（这也就是我们Java比较吃内存的一个原因），在随后一个不确定的时间被垃圾回收器收走。实际上，栈中的变量指向堆内存中的变量，这就是Java中的指针！

因为对JVM如何分配内存不甚熟悉，在网上找了许多资料，在此总结下并与大家共享。欢迎补充。

按照编译原理的观点，程序运行时的内存分配有三种原则，分别是静态的，栈式的，和堆式的。

静态存储分配时指在编译时就能确定每个数据目标在运行时刻的存储空间需求，因而在编译时就可以给他们分配固定的内存空间。这种分配策略要求程序代码中不允许有可变数据结构（比如可变数组）的存在，也不允许有嵌套或者递归的结构出现，因为他们都会导致编译程序无法计算准确的存储空间需求。
在函数中定义的一些基本类型的变量和对象的引用变量都在函数的栈内存中分配。


当某一个函数被调用时，这个函数会在栈内存里面申请一片空间，以后在这个函数内部定义的变量，都会分配到这个函数所申请到的栈空间。当函数运行结束时，分配给函数的栈空间被收回。在这个函数中被定义的变量也随之被释放和消失。通过new产生的数组和对象分配在堆内存中。堆内存中分配的内存，由JVM提供的GC（垃圾回收机制）来管理。在堆内存中产生了一个数组对象后，我们还可以在栈中定义一个变量，这个战中变量的取值等于堆中对象的首地址。栈内存中的变量就成了堆内存中数组或者对象的引用变量。我们以后就可以在程序中直接使用栈中的这个变量来访问我们在堆中分配的数组或者对象，引用变量相当于数组或者对象起的一个别名，或者代号。引用变量是一个普通的变量，定义时在栈中分配；引用变量在被运行到它的作用域之外时就被释放，而我们的数组和对象本身是在堆中分配的，即使程序运行到使用new产生对象的语句所在的函数或者代码之后，我们刚才被产生的数组和对象也不会被释放。数组和对象只是在没有引用变量指向它，也就是没有任何引用变量的值等于它的首地址，它才会变成垃圾不会被使用，但是它任然占据着内存空间不放（这也就是我们Java比较吃内存的一个原因），在随后一个不确定的时间被垃圾回收器收走。实际上，栈中的变量指向堆内存中的变量，这就是Java中的指针！