java中字符串的内存分配

╰+攻爆jí腚メ 2021-09-15 00:06 339阅读 0赞

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);
        }
        public void change(String str) {
            str="10";
        }
    }

输出结果为：6

> > ![20180311120902296][]

Java中String类型变量是 **immutable（不可变的）。**

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

**在Java语言中，字符串起着非常重要的作用，字符串的声明与初始化主要有如下两种情况：**  
1）对于String s1=new String（"abc"）语句与String s2=new String（"abc"）语句，存在两个引用对象  
s1、s2，两个内容相同的字符串对象"abc"，它们在内存中的地址是不同的。只要用到new总会生成新的  
对象。  
2）对于String s1="abc"语句与String s2="abc"语句，在JVM中存在着一个字符串池，其中保存着很多  
String对象，并且可以被共享使用，s1、s2引用的是同一个常量池中的对象。由于String的实现采用了  
Flyweight的设计模式，当创建一个字符串常量时，例如String s="abc"，会首先在字符串常量池中查找是  
否已经有相同的字符串被定义，其判断依据是String类equals（Object obj）方法的返回值。若已经定义，  
则直接获取对其的引用，此时不需要创建新的对象；若没有定义，则首先创建这个对象，然后把它加入  
到字符串池中，再将它的引用返回。由于String是不可变类，一旦创建好了就不能被修改，因此String对  
象可以被共享而且不会导致程序的混乱。

具体而言：  
String s="abc"；　　　　　　　//把"abc"放到常量区中，在编译时产生  
String s="ab"+"c"；//把"ab"+"c"转换为字符串常量"abc"放到常量区中  
String s=new String（"abc"）；//在运行时把"abc"放到堆里面  
例如，  
String s1="abc"；　//在常量区里面存放了一个"abc"字符串对象  
String s2="abc"；　//s2引用常量区中的对象，因此不会创建新的对象  
String s3=new String（"abc"）　//在堆中创建新的对象  
String s4=new String（"abc"）　//在堆中又创建一个新的对象

为了便于理解，可以把String s=new String（"abc"）语句的执行人为地分解成两个过程：第一个过程  
是新建对象的过程，即new String（"abc"）；第二个过程是赋值的过程，即String s=。由于第二个过程只  
是定义了一个名为s的String类型的变量，将一个String类型对象的引用赋值给s，因此在这个过程中不会  
创建新的对象。第一个过程中new String（"abc"）会调用String类的构造函数：  
public String（String original）｛  
　//body  
｝  
在调用这个构造函数时，传入了一个字符串常量，因此语句new String（"abc"）也就等价于"abc"和  
new String（）两个操作了。若在字符串池中不存在"abc"，则会创建一个字符串常量"abc"，并将其添加  
到字符串池中；若存在，则不创建，然后new String（）会在堆中创建一个新的对象，所以s3与s4指向的  
是堆中不同的String对象，地址自然也不相同了，如图4-5所示。

> > ![20180517115438738][]

> 引申：对于String类型的变量s，赋值语句s=null与s=“”是否相同？  
> 对于赋值语句s=null，其中s是一个字符串类型的引用，它不指向任何一个字符串。而赋值语句  
> s=“”中的s是一个字符串类型的引用，它指向另外一个字符串（这个字符串的值为“”，即空字符串），因  
> 此，这两者是不同的。  
> 常见笔试题：  
> new String（"abc"）创建了几个对象？  
> 答案：一个或两个。如果常量池中原来有"abc"，那么只创建一个对象；如果常量池中原来没有字符  
> 串"abc"，那么就会创建两个对象。  
>

[20180311120902296]: /images/20210720/25496454f5e443f7a3d49cd89e69efcb.png
[20180517115438738]: /images/20210720/7b7dd0ce214c4b07873e7894f88758a9.png