从“关于Java堆与栈的思考”一帖看错误信息的传播.docVIP

我对转贴的信息一直有敌意，原因如下：首先，除了制造更多的信息垃圾，转贴不会带来新的价值，想收藏的话一个链接足矣；其次，将错误信息以讹传讹，混淆视听。不妨选一个典型的例子说明一二。 相信《关于Java堆与栈的思考》这个帖子大家并不陌生，转载量极大。但内容如何呢？我就试着分析一下。说明：以下内容，黑色字体为引用别人的帖子，红色字体是我的分析，蓝色字体是引用相关文献。 1. 栈(stack)与堆(heap)都是Java用来在Ram中存放数据的地方。与C++不同，Java自动管理栈和堆，程序员不能直接地设置栈或堆。 与C++不同，对于堆来说是有道理的。但C++的栈也是由编译器负责安排和布局的，这和java没什么区别。其实，java里提到的堆和栈应该是逻辑层面上的，是jvm划分的，并不同于C++的实际运行时内存，因此根本不是一个层面上的东西，最好不要进行比较。 2. 栈的优势是，存取速度比堆要快，仅次于直接位于CPU中的寄存器。但缺点是，存在栈中的数据大小与生存期必须是确定的，缺乏灵活性。另外，栈数据可以共享，详见第3点。堆的优势是可以动态地分配内存大小，生存期也不必事先告诉编译器，Java的垃圾收集器会自动收走这些不再使用的数据。但缺点是，由于要在运行时动态分配内存，存取速度较慢。 在逻辑上看，可以认为栈比堆快，但是请不要和寄存器比。上面已经提到，java所谓的堆和栈是逻辑上的，《The Java Virtual Machine Specification》中，将运行时数据区分为pc寄存器、java虚拟机栈、堆、方法区、运行时常量池、本地方法栈共6个部分，而CPU中的寄存器是物理实体。 比如java执行一个加法操作，逻辑上看是读取栈顶的两个数据，执行加法，将结果写回栈顶，但实际的代码经过jvm jit编译之后很可能就是在寄存器中执行加法。因此逻辑意义上的比较根本没有什么价值。 栈数据可以共享，这个说法是该帖子创造性的提出来的。翻遍所有的java 资料，根本找不到这样的说法（现在看来，也不全是，国内已经有书籍将这个帖子完全照搬了，抄袭可耻！貌似有本《java程序员面试宝典》，看过的都知道，呵呵）。 3. Java中的数据类型有两种。 一种是基本类型(primitive types), 共有8种，即int, short, long, byte, float, double, boolean, char(注意，并没有string的基本类型)。这种类型的定义是通过诸如int a = 3; long b = 255L;的形式来定义的，称为自动变量。值得注意的是，自动变量存的是字面值，不是类的实例，即不是类的引用，这里并没有类的存在。如int a = 3; 这里的a是一个指向int类型的引用，指向3这个字面值。 这里混淆了一个问题。首先要知道什么是字面值，所谓的字面值是形如1，3，2.0,2.0f,c,Hello这样的形式出现的常量。基本类型变量里存的是什么？值。存到变量中就不存在字面值一说了！如int a = 3; 这里的a是一个指向int类型的引用，这个例子就太不恰当了，我们要注意的是，int a = 3;我们得到的是一个空间，里面存的是3这个数。这里又int类型的引用云云，岂不缪哉？ 这些字面值的数据，由于大小可知，生存期可知(这些字面值固定定义在某个程序块里面，程序块退出后，字段值就消失了)，出于追求速度的原因，就存在于栈中。 基本类型的变量存在栈里或者堆里不是由大小可知，生存期可知就能确定了。关键是上下文。 比如 void func(){ int a = 3; } 这自然是存在栈里的。 而 class Test{ int a = 3; } 这就肯定是随对象放到堆里的。 因此，不要孤立的看到基本类型就说放到栈里，看到引用类型就说放到堆里。区分引用变量和对象本身特别重要，这个下面再说。 另外，栈有一个很重要的特殊性，就是存在栈中的数据可以共享。假设我们同时定义 int a = 3; int b = 3； 编译器先处理int a = 3；首先它会在栈中创建一个变量为a的引用，然后查找有没有字面值为3的地址，没找到，就开辟一个存放3这个字面值的地址，然后将a指向3的地址。接着处理int b = 3；在创建完b的引用变量后，由于在栈中已经有3这个字面值，便将b直接指向3的地址。这样，就出现了a与b同时均指向3的情况。 特别注意的是，这种字面值的引用与类对象的引用不同。假定两个类对象的引用同时指向一个对象，如果一个对象引用变量修改了这个对象的内部状态，那么另一个对象引用变量也即刻反映出这个变化。相反，通过字面值的引用来修改其值，不会导致另一个指向