Java内存管理大杂烩

public class SendValue{
    public String str="6";
    public static void main(String[] args) {
        SendValue sv=new SendValue();
        sv.change(sv.str);
        System.out.println(sv.str);	// 6
    }
    public void change(String str) {
        str="10";
    }
}

• Java中String类型变量是immutable（不可变的）。
• 尽管 change()方法中的str与sv.str都是实例成员变量值"6"的引用， 由于String类型的 不可变性，change()方法中的str="10"语句实际上是将传入的str副本引用指向了一个值为“10”的新的内存地址，但原数据引用 sv.str的引用值（也就是“6”的内存地址）并没有发生改变，因此sv.str指向的值仍旧为6.
  

1. 内存分配策略

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

• 静态存储分配是指在编译时就能确定每个数据目标在运行时刻的存储空间需求，因而在编译时就可以给他们分配固定的内存空间。这种分配策略要求程序代码中不允许有可变数据结构(比如可变数组)的存在，也不允许有嵌套或者递归的结构出现，因为它们都会导致编译程序无法计算准确的存储空间需求。
• 栈式存储分配也可称为动态存储分配，是由一个类似于堆栈的运行栈来实现的。和静态存储分配相反，在栈式存储方案中，程序对数据区的需求在编译时是完全未知的，只有到运行的时候才能够知道，但是规定在运行中进入一个程序模块时，必须知道该程序模块所需的数据区大小才能够为其分配内存。和我们在数据结构所熟知的栈一样，栈式存储分配按照先进后出的原则进行分配。
• 静态存储分配要求在编译时能知道所有变量的存储要求，栈式存储分配要求在过程的入口处必须知道所有的存储要求，而堆式存储分配则专门负责对在编译时或运行时模块入口处都无法确定存储要求的数据结构的内存分配，比如可变长度串和对象实例。堆由大片的可利用块或空闲块组成，堆中的内存可以按照任意顺序分配和释放。

链接：https://www.nowcoder.com/questionTerminal/5abf3271880c40a2b9b9db9cbfd85a8d
来源：牛客网

2. JVM中的堆和栈

JVM是基于堆栈的虚拟机，java把内存分为栈内存和堆内存。JVM为每个新创建的线程都分配一个堆栈，也就是说，对于一个Java程序来说，它的运行就是通过对堆栈的操作来完成的，堆栈以帧为单位保存线程的状态。

• 栈(stack)与堆(heap)都是Java用来在RAM中存放数据的地方。与C++不同，Java自动管理栈和堆，程序员不能直接地设置栈或堆。
• 栈(stack)：是一个先进后出的数据结构，通常用于保存方法(函数)中的参数，局部变量。
• 堆(heap)：是一个可动态申请的内存空间(其记录空闲内存空间的链表由操作系统维护)，是一个运行时数据区，C中的malloc语句所产生的内存空间就在堆中。
• 堆和栈优缺点比较：

• 栈的优势是，存取速度比堆要快，仅次于直接位于CPU中的寄存器。但缺点是，存在栈中的数据大小与生存期必须是确定的，缺乏灵活性。另外，栈数据可以共享。
• 堆的优势是可以动态地分配内存大小，生存期也不必事先告诉编译器，Java的垃圾收集器会自动收走这些不再使用的数据。但缺点是，由于要在运行时动态分配内存，存取速度较慢。

3. Java中的数据类型有两种

3.1 基本类型

• 共有8种，即int, short, long, byte, float, double, boolean, char(注意，并没有string的基本类型)。

3.2 包装类数据

• 如Integer, String, Double等将相应的基本数据类型包装起来的类。这些类数据全部存在于堆中，Java用new()语句来显示地告诉编译器，在运行时才根据需要动态创建，因此比较灵活，但缺点是要占用更多的时间。
• String是一个特殊的包装类数据。即可以用String str = new String(“abc”);的形式来创建，也可以用String str = “abc”；的形式来创建(作为对比，在JDK 1.5.0之前，你从未见过Integer i = 3;的表达式，因为类与字面值是不能通用的，除了String。而在JDK 1.5.0中，这种表达式是可以的！因为编译器在后台进行Integer i = new Integer(3)的转换)。前者是规范的类的创建过程，即在Java中，一切都是对象，而对象是类的实例，全部通过new()的形式来创建。Java中的有些类，如DateFormat类，可以通过该类的getInstance()方法来返回一个新创建的类，似乎违反了此原则，其实不然，该类运用了单例模式来返回类的实例，只不过这个实例是在该类内部通过new()来创建的，而getInstance()向外部隐藏了此细节。那为什么在String str = “abc”中，并没有通过new()来创建实例，是不是违反了上述原则？其实没有。

4. String在内存中的存放

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

• String str = new String(“abc”)；第一种创建方式是用new()来新建对象的，它会存放于堆中。每调用一次就会创建一个新的对象。

• 使用new String()创建的对象会存储在heap中，是运行期新创建的，栈中的s指向堆内存，并酌情添加到字符串常量池中：
  　　①若字符串常量池中存在该字面量，则跳，省略复制一份字面量到字符串常量池的步骤。
  　　 ②如在字符串常量池中不存在，则在常量池中生成一个字符串
• new关键字创建的String对象每次会在堆中开辟一块内存给字符串，就算创建的字符串内容相同，但还是在堆开辟了多个区域分别存储这些对象，引用不同（String是不可修改的，且java运行环境中对string对象有一个对象池保存）
• String s = new String(“abc”);创建了几个StringObject？ 两个或一个都有可能

• String str = “abc”;

• JVM为了减少字符串对象的重复创建，其维护了一个特殊的内存，这段内存被成为字符串常量池。代码中出现字面量形式创建字符串对象时，JVM首先会对这个字面量进行检查，如果字符串常量池中存在相同内容的字符串对象的引用，则将这个引用返回；否则新的字符串对象被创建，然后将其放入字符串常量池，并返回该引用
• 通过字面量赋值创建字符串。
  　　①若字符串常量池中存在该字面量，则将栈中的引用直接指向该字符串
  　　②如在字符串常量池中不存在，则在常量池中生成一个字符串，再将栈中的引用指向该字符串

5. 数组在内存中的存放

• int x[] 或者int []x 时，在内存栈空间中创建一个数组引用，通过该数组名来引用数组(这是因为只是声明了数组，却没创建)。
• x = new int[5] 将在堆内存中分配5个保存int型数据的空间，堆内存的首地址放到栈内存中，每个数组元素被初始化为0。

6. static变量在内存中的存放

• 用 static的修饰的变量和方法，实际上是指定了这些变量和方法在内存中的“固定位置”－static storage。既然要有“固定位置”那么他们的 “大小”似乎就是固定的了，有了固定位置和固定大小的特征了，在栈中或堆中开辟空间那就是非常的方便了。如果静态的变量或方法在不出其作用域的情况下，其引用句柄是不会发生改变的。

7. java中变量在内存中的分配

7.1、成员变量之类变量（static修饰的变量）

• 在程序加载时系统就为它在堆(方法区更合适)中开辟了内存，堆中的内存地址存放于栈以便于高速访问。静态变量的生命周期一直持续到整个”系统”关闭

7.2、成员变量之实例变量

• 当你使用java关键字new的时候，系统在堆中开辟并不一定是连续的空间分配给变量（比如说类实例），然后根据零散的堆内存地址，通过哈希算法换算为一长串数字以表征这个变量在堆中的”物理位置”。
• 实例变量的生命周期–当实例变量的引用丢失后，将被GC（垃圾回收器）列入可回收“名单”中，但并不是马上就释放堆中内存

7.3、局部变量

• 局部变量，由声明在某方法，或某代码段里（比如for循环），执行到它的时候在栈中开辟内存，当局部变量一但脱离作用域，内存立即释放

7.4 成员变量与局部变量的区别有哪些？

• 从语法形式上看，成员变量是属于类的，而局部变量是在代码块或方法中定义的变量或是方法的参数；成员变量可以被 public,private,static 等修饰符所修饰，而局部变量不能被访问控制修饰符及 static 所修饰；但是，成员变量和局部变量都能被 final 所修饰。
• 从变量在内存中的存储方式来看,如果成员变量是使用 static 修饰的，那么这个成员变量是属于类的，如果没有使用 static 修饰，这个成员变量是属于实例的。而对象存在于堆内存，局部变量则存在于栈内存。
• 从变量在内存中的生存时间上看，成员变量是对象的一部分，它随着对象的创建而存在，而局部变量随着方法的调用而自动消失。
• 从变量是否有默认值来看，成员变量如果没有被赋初，则会自动以类型的默认值而赋值（一种情况例外:被 final 修饰的成员变量也必须显式地赋值），而局部变量则不会自动赋值。

https://www.nowcoder.com/questionTerminal/5abf3271880c40a2b9b9db9cbfd85a8d