java内存分配分析/栈内存、堆内存

首先学习JVM相关需要需要内存的组成。

基本内容

• 堆
  java动态创建对象，即对于new的一个实例对象。但是需要注意的是该实例对象的成员变量都存储在各自的堆区域中，其中对象方法是在堆中共享，即不是每次创建都复制一份。
• 栈
  保存局部变量的值包括
  1. 基本数据变量
  2. 引用变量的保存，即堆对象的引用。当然也可以用来保存加载方法时的帧。
• 寄存器
  JVM内部虚拟寄存器，存取速度非常快，程序不可控制。
• 常量池
  • 首先明确的是：常量池存在于堆中。
  • 即JVM为每个已加载的类型开辟一块区域，包括基本类型和String类型（其中Float和Double除外），对其他类型、方法、字段的符号引用。
  • 池中的数据和数组一样通过索引访问。
  • 由于常量池包含了一个类型所有的对其他类型、方法、字段的符号引用，所以常量池在Java的动态链接中起了核心作用。
• 代码区
  用来存放从硬盘上读取的源程序代码。
• 数据段
  用来存放static修饰的静态成员（在java中static的作用就是说明该变量，方法，代码块是属于类的还是属于实例的

示意图展示

内存组成.jpg

）。

个人经验之谈

---

总结：

1. 分清什么是对象引用变量（引用变量）什么是对象。Class a= new Class();此时a叫对象引用变量，而不能说a是对象。引用变量在栈中，对象在堆中，操作引用变量实际上是通过引用间接操作对象。多个引用变量可以引用到同一个对象。
2. 栈中的数据和堆中的数据销毁并不是同步的。方法一旦结束，栈中的局部变量立即销毁，但是堆中对象不一定销毁。因为可能有其他变量也指向了这个对象，直到栈中没有变量指向堆中的对象时，它才销毁，而且还不是马上销毁，要等垃圾回收扫描时才可以被销毁。****
3. 每个方法执行的时候都会建立自己的栈区，在方法中定义的局部变量（参数，方法中定义的变量）都在栈区中存放当方法结束时这些局部变量也就结束了，但是堆内存中的对象不会随着方法的结束而销毁而是判断还有没有引用变量引用到这个对象如果有的话就是说这个对象可达所以不会轻易的被GC回收，如果这个对象没有被引用如果这时垃圾回收系统开始回收但发现这个对象没有引用的话就会调用finalize（）方法来判断这个对象是否可以再次可达如果可以的不会回收但是不过不可达的话可能会被回收（不是一定会被回收这里是不一定会回收因为这里还有对象的引用类型如：强引用，软引用（softReference来实现），弱引用（WeakReference来实现）等因素有关，还要考虑其他的因素不在这里一一说明）如果可达的话还是不会回收的。
4. 以上的栈、堆、代码段、数据段等等都是相对于应用程序而言的。每一个应用程序都对应唯一的一个JVM实例，每一个JVM实例都有自己的内存区域，互不影响，调用JVM也就是激活一个进程。并且这些内存区域是所有线程共享的。这里提到的栈和堆都是整体上的概念，这些堆栈还可以细分。
5. 类中定义的实例成员变量在不同对象中各不相同，都有自己的存储空间(成员变量在堆中的对象中)。而类中定义的方法却是该类的所有对象共享的，只有一套，对象使用方法的时候方法才被压入栈，方法不使用则不占用内存。

以上分析只涉及了栈和堆，还有一个非常重要的内存区域：常量池，这个地方往往出现一些莫名其妙的问题。只要记住它维护了一个已加载类的常量就可以了。接下来结合一些例子说明常量池的特性。

预备知识：

---

基本类型和基本类型的包装类。基本类型有：byte、short、char、int、long、boolean。基本类型的包装类分别是：Byte、Short、Character、Integer、Long、Boolean。注意区分大小写。二者的区别是：基本类型体现在程序中是普通变量，基本类型的包装类是类，体现在程序中是引用变量。因此二者在内存中的存储位置不同：基本类型存储在栈中，而基本类型包装类存储在堆中。上边提到的这些包装类都****实现了常量池技术，而两种浮点数类型的包装类则没有实现。另外，String类型也实现了常量池技术。

实例：

public class test {  
    public static void main(String[] args) {      
        objPoolTest();  
    }  
    public static void objPoolTest() {  
        int i = 40;  
        int i0 = 40;  
        Integer i1 = 40;  
        Integer i2 = 40;  
        Integer i3 = 0;  
        Integer i4 = new Integer(40);  
        Integer i5 = new Integer(40);  
        Integer i6 = new Integer(0);  
        Double d1=1.0;  
        Double d2=1.0;  
          //在java中对于引用变量来说“==”就是判断这两个引用变量所引用的是不是同一个对象
        System.out.println("i==i0\t" + (i == i0));  
        System.out.println("i1==i2\t" + (i1 == i2));  
        System.out.println("i1==i2+i3\t" + (i1 == i2 + i3));  
        System.out.println("i4==i5\t" + (i4 == i5));  
        System.out.println("i4==i5+i6\t" + (i4 == i5 + i6));      
        System.out.println("d1==d2\t" + (d1==d2));   
        System.out.println();          
    }  
}  

结果：

i==i0    true  
i1==i2   true  
i1==i2+i3        true  
i4==i5   false  
i4==i5+i6        true  
d1==d2   false  

结果分析：

---

1. i和i0均是普通类型(int)的变量，所以数据直接存储在栈中，而栈有一个很重要的特性：栈中的数据可以共享。当我们定义了int i = 40;，再定义int i0 = 40;这时候会自动检查栈中是否有40这个数据，如果有，i0会直接指向i的40，不会再添加一个新的40。
2. i1和i2均是引用类型，在栈中存储指针，因为Integer是包装类。由于Integer包装类实现了常量池技术，因此i1、i2的40均是从常量池中获取的，均指向同一个地址，因此i1==12。
3. 很明显这是一个加法运算，Java的数学运算都是在栈中进行的，Java会自动对i1、i2进行拆箱操作转化成整型，因此i1在数值上等于i2+i3。
4. i4和i5均是引用类型，在栈中存储指针，因为Integer是包装类。但是由于他们各自都是new出来的，因此不再从常量池寻找数据，而是从堆中各自new一个对象，然后各自保存指向对象的指针，所以i4和i5不相等，因为他们所存地址不同，所引用到的对象不同。
5. 这也是一个加法运算，和3同理。
6. d1和d2均是引用类型，在栈中存储指针，因为Double是包装类。但Double包装类没有实现常量池技术，因此Doubled1=1.0;相当于Double d1=new Double(1.0);，是从堆new一个对象，d2同理。因此d1和d2存放的指针不同，指向的对象不同，所以不相等。

小结：

---

1. 以上提到的几种基本类型包装类均实现了常量池技术，但他们维护的常量仅仅是【-128至127】这个范围内的常量，如果常量值超过这个范围，就会从堆中创建对象，不再从常量池中取。比如，把上边例子改成Integer i1 = 400; Integer i2 = 400;，很明显超过了127，无法从常量池获取常量，就要从堆中new新的Integer对象，这时i1和i2就不相等了。
2. String类型也实现了常量池技术，但是稍微有点不同。String型是先检测常量池中有没有对应字符串，如果有，则取出来；如果没有，则把当前的添加进去。