Java内存之"栈"与"堆"

        昨天中午，发了一篇equals和==区别的博文，晚上再看时有几位大牛指出了其中的一些错误，很感谢他们的留言，一句简简单单的留言给了我对这些错误知识点改正的机会。或许这就是从事互联网行业所提倡的互帮互助的精神吧，因为有分享，有交流，互联网才会发展的如此迅猛。大牛提的一个观点很好，好的东西可以拿出来分享，错的东西却可能带给别人错误的理解，这一点我确实得向看了我写了一些bug博客的人道个歉。

        针对大牛所指出的错误，晚上翻出了资料，重新温习了一遍。继续总结一下：

       

        一、在JVM中，内存是如何被划分的？

        java把内存分两种：一种是栈内存，另一种是堆内存

        1. 在函数中定义的基本类型变量和对象的引用变量都在函数的栈内存中分配；(所以int的东西放在栈中)

        2. 堆内存用来存放由new创建的对象和数组以及对象的实例变量。

        在函数（代码块）中声明（这里并没有实例化）一个变量时，java就在栈中为这个变量分配内存空间，当超过变量的作用域后，java会自动释放掉为该变量所分配的内存空间；在堆中分配的内存由java虚拟机的自动垃圾回收器来管理

 

        二、堆和栈的优缺点比较
        1. 堆的优势是可以动态分配内存大小，生存期也不必事先告诉编译器，因为它是在运行时动态分配内存的；缺点就是要在运行时动态分配内存，存取速度较慢。

        2. 栈的优势是，存取速度比堆要快，仅次于直接位于CPU中的寄存器，栈数据可以共享；但缺点是，存在栈中的数据大小与生存期必须是确定的，缺乏灵活性。

 

        三、new出来的对象存在内存的什么地方？

        在Java中，创建一个对象包括对象的声明和对象的实例化两部分。程序员需要通过关键字new为每个对象申请内存空间（基本类型除外），所有的对象都在堆（heap）中分配空间。

public class NewTest {
	double aaa;
	double bbb;
	public NewTest(double aa,double bb){
		aaa = aa;
		bbb = bb;
	}
}

        上面的这段代码，当我们使用NewTest  test = new NewTest()时，我们做如下分析：

        NewTest  test : 声明一个对象test时，将在栈内存为对象的引用变量test分配内存空间，但NewTest的值为空，称test是一个空对象。空对象不能使用，因为它还没有引用任何"实体"。

        test = new NewTest()时，在堆内存中为类的成员变量aaa,bbb分配内存，并将其初始化为各数据类型的默认值；接着进行显式初始化（类定义时的初始化值）；最后调用构造方法，为成员变量赋值，返回堆内存中对象的引用（相当于首地址）给引用变量test,以后就可以通过test来引用堆内存中的对象了。

 

NewTest  test1 = new NewTest()；
NewTest  test2 = new NewTest()；

        在使用同一个类创建两个不同的对象的时候，这些对象实例将在堆中被分配到不同的内存空间，改变其中一个对象的状态不会影响其他对象的状态。

 

        四、Java基本类型在内存中的存储

        这里重点讨论一下八种基本类型（int, short, long, byte, float, double, boolean, char）在内存中时如何存放的。我们所指的八种基本类型定义的变量，是指形式如 int a=3、char aa ='a'类型的，即不通过new的。这里的aa时指向char类型的一个引用，指向'a'这个字面值。这些字面值的数据，由于大小可知，生存期可知(这些字面值定义在某个程序块里面，程序块退出后，字段值就消失了)，出于追求速度的原因，就存在于栈中。

        另外，栈有一个很重要的特殊性，就是存在栈中的数据可以共享。

        比如：我们同时定义：

                long a =3;

                long b =3;

        编译器处理的过程是:

        1. 编译器先处理long a = 3；首先它会在栈中创建一个变量为a的引用，然后查找有没有字面值为3的地址，没找到，就开辟一个存放3这个字面值的地址，然后将a指向3的地址。

        2. 接着处理long b = 3；在创建完b这个引用变量后，由于在栈中已经有3这个字面值，便将b直接指向3的地址。这样，就出现了a与b同时均指向3的情况。

        定义完a与b的值后，如果再令a = 4，这时，b不会等于4，还是等于3。在编译器内部，遇到时，它就会重新搜索栈中是否有4的字面值，如果没有，重新开辟地址存放4的值；如果已经有了，则直接将a指向这个地址。因此a值的改变不会影响到b的值。

 

        五、基本类型对应的包装类

        基本类型都有对应的包装类：如int对应Integer类，double对应Double类等，基本类型的定义都是直接在栈中，如果用包装类来创建对象，就和普通对象一样了。例如：

        int a=0；a直接存储在栈中。

        Integer b= new Integer(5)；b对象数据(这里指的是5)存储在堆中，b的引用存储在栈中，通过栈中的引用来操作对象。

   

        六、String在内存中的存放

        String是一个特殊的包装类数据，可以用用以下两种方式创建：

        String str = new String("abc")；第一种创建方式，和普通对象的的创建过程一样；

        String str = "abc";  第二种创建方式，类似于基本数据类型的创建，变量名和数据(更正)存放在栈空间中,数据放在常量池中。

 

        七、数组在内存中的存放

         int x[] 或者int []x 时，在内存栈空间中创建一个数组引用，通过该数组名来引用数组。

         x = new int[5] 将在堆内存中分配5个保存int型数据的空间，堆内存的首地址放到栈内存中，每个数组元素被初始化为0.

 

         八、static变量在内存中的存放

         用static的修饰的变量和方法，实际上是指定了这些变量和方法在内存中的"固定位置"－static storage，可以理解为所有实例对象共有的内存空间。static变量有点类似于C中的全局变量的概念；静态表示的是内存的共享，就是它的每一个实例都指向同一个内存地址。把static拿来，就是告诉JVM它是静态的，它的引用（含间接引用）都是指向同一个位置，在那个地方，你把它改了，它就不会变成原样，你把它清理了，它就不会回来了。

         那静态变量与方法是在什么时候初始化的呢？

         对于两种不同的类属性，static属性与instance属性，初始化的时机是不同的。instance属性在创建实例的时候初始化，static属性在类加载，也就是第一次用到这个类的时候初始化，对于后来的实例的创建，不再进行初始化。

 

——2013年1月29日凌晨写于刘洋寝室

评论

8 楼 songbgi 2013-01-29  

大神们这个对么 栈有一个很重要的特殊性，就是存在栈中的数据可以共享

学习了

7 楼 keke8614 2013-01-29  

这个贴不能看，只能参考，问题多多呀！

6 楼 java门徒CZP 2013-01-29  

JVM的内存在JVM规范里是分为7个不同区域的,String str = "abc";想这张声明
在没有JIT优化的情况下，str是在栈里分配占用4个字节,abc是在常量池分配。
建议楼主写之前多查看相关资料，有兴趣可以参考：http://www.cnblogs.com/czpblog/archive/2013/01/17/2865285.html

5 楼 zyyzjsoros 2013-01-29  

各个JVM提供商对内存的设计都不一样，oracle（sun）的hotspot还有别的内存区域，并不只有堆栈

4 楼 BuN_Ny 2013-01-29  

1. 新手帖
2. 月经帖
3. 很多错误

3 楼 cshuser 2013-01-29  

有误导嫌疑

2 楼 wuliaolll 2013-01-29  

String str = "abc";  第二种创建方式，类似于基本数据类型的创建，变量名和数据存放在栈空间中。


谁告诉你这个是栈空间，"abc"是对象，怎么可能放在栈里



String str = new String("abc")；第一种创建方式，和普通对象的的创建过程一样；

这个也不一样了，和普通对象的创建过程不一样的是它创建了两个对象。



楼主在自己没有弄明白前不要误导人啊……还标红

1 楼 ray_linn 2013-01-29  

你从虚拟机的观点来看，JVM 就是个 CPU 模拟器，有指令集、有寄存器（特殊寄存器）、有栈、有堆。另外就是以操作数栈代替通用寄存器...和 QEMU 比，JVM 模拟的东西少些。