java.lang.String 的不可变性

我们两清 提交于 2019-11-29 02:00:45

1. 前言

   需要创建一个String类的对象时,可以选择直接

String str1 = "abc";

  或者选择 

String str2 = new String("abc");

  第一种方式称之为 字面量定义方式,其赋值方式和基本数据类型的赋值方式是一样的;所以会有很多初学小伙伴误以为 String 是基本数据类型,其实不然。第二种方式就是一般的构造器创建对象的方式。

 

2. String 的底层结构

   查看String类的源码

  

  可以发现String其实是一个char类型的数组构成的,并且其用到了一个很重要的关键字 final。既然使用了 final ,那么 value[] 在被赋值之后将不再会被改变。到这里可能有小伙伴就会有疑问了:String类的对象被赋值之后仍然是可以改变的,并不符合 final 关键字的作用,这是为什么呢?String类的不可变性又体现在哪里?

 

3. String 重要特性--不可变性

   先来看一段简单的测试代码:

 1    @Test
 2     public void test1() {
 3         String str1 = "abc"; 
 4         String str2 = "abc";
 5         System.out.println(str1 == str2);  //true
 6 
 7         str1 = "123";
 8         System.out.println(str1 == str2);  //false
 9 
10         String str3 = "abc";
11         str3 += "def";
12         System.out.println(str3 == str2);  //false
13     }

  我们都知道”==“在比较对象时比较的是对象的地址。通过测试发现 str1 和 str2 的地址是一样的,当把 str1 的值改为 "123" 之后,str1 与 str2 的地址又不一样了。代码中并没有动过 str2 ,不难想到肯定是 str1 指向了另外的地址。那么 str1 为什么指向了别的地址,而不是在原来指向的内存区域里面做修改呢?当然是因为 final 关键字啦。str1 被改为 "123" 之后,并不能在原来的内存区域修改,而是需要重新开辟一个新的内存区域来存放 "123",所以第二个结果自然就是 false,同理可推测第三个结果也是 false。

  到这里对 String 的不可变性是否有一点认识了呢?还有一个问题,那就是 str1 == str2,为什么是 true 呢?

  其实在JVM内存划分中有个方法区,方法区中有个字符串常量池,我们需要知道的是String类的对象存储的字符串都会放在字符串常量池中,并且字符串常量池中不会存储两个一样的字符串。具体通过一个示意图来看看JVM在底层到底是怎么做的吧:

  

  以字面量定义方式每创建一个String对象时,若该字符串在字符串常量池中已经存在,则将其地址返回给新创建的对象;若不存在则在字符串常量池开辟一个区域存放这个字符串,再将这个地址返回给新创建的对象。修改时也是如此,修改后的字符串在字符串常量池中存在则将其地址返回,不存在则新开辟内存区域存放修改后的字符串。

  刚开始,str1 创建时需要在字符串常量池中开辟区域存放 "abc",并将其地址返回给 str1;之后 str2 和 str3 创建时,"abc" 在字符串常量池中已经存在了,所以直接获取到其地址。str1、str2 和 str3 都指向存放 "abc" 的地址,它们的值都是 "abc"。把 str1 修改为 "123" 时,JVM会在字符串常量池中开辟一个新的区域存放 "123" ,并让 str1 指向这个新的的地址(即0x1001),所以此时再比较 str1 == str2 得到的结果肯定就是 false 了。试想若不开辟新的内存区域,直接在原来地址0x1000区域存放的数据改了,那么 str2 和 str3 也会被改;这样肯定是不对的,修改 str1 不能影响 str2 和 str3 。以后若要是有String类的对象 str4、str5、......的值为 "123" ,那么它们得到的地址仍然是存储 "123" 的地址 0x1001。

  以上是通过字面量定义的方式,我们再看一个例子:

    @Test
    public void test2(){
        String s1 = "abc";
        String s2 = "abc";

        String s3 = "abc";
        s3 += "def";

        String s4 = new String("abc");
        String s5 = new String("abc");

        System.out.println(s1 == s2);   //true
        System.out.println(s2 == s4);   //false
        System.out.println(s4 == s5);   //false
    }

   我们知道通过new创建出来的对象是放在堆空间的,在这里 s4 和 s5 是通过new方式得到的,是放在堆空间的两个不同对象,其地址自然是不一样的。但它们两个的内容又都是 "abc",它们和字符串常量池中的 "abc" 又是什么联系呢?

   

  通过上述示意图,我们发现 s4 和 s5 拥有不同的地址,但它们都指向了"abc",换句话说它们存放的都是位于字符串常量池中 "abc" 的地址。此时比较 s2 == s4,就是拿地址 0x7799(内容为0x1122) 和地址 0x1122(内容为 "abc") 作比较,结果自然是 false。

  以上就是String类不可变性的具体体现,其代表不可变的字符序列。

 

4. StringBuffer、StringBuilder

   String 代表不可变的字符序列,有不可变的自然就有可变的。StringBuilder 和 StringBudder 就代表可变的字符序列,修改它们的对象的内容时,确实是在其所指向的内存区域做了修改。

  细心的小伙伴会发现String类对字符串进行增、删、改的方法返回的对象和原来对象作 == 比较总是false,而 StringBuilder 和 StringBudder 总是 true 。原因就在于可变与不可变。

 

5. 两个面试题

1. String str = new String("aaa");方式创建String对象,在内存中创建了几个对象? 答:两个。一个是new出来存放在堆空间的str对象,另一个是char[]对应字符串常量池中的 aaa。2.
public class Test {
    String str = new String("good");
    char[] ch = {'t','e','s','t'};
 
    public void change(String str, char[] ch){
        str ="test ok";
        ch[0] = 'b';
    }

    public static void main(String[] args) {
        Test test = new Test();
        test.change(test.str, test.ch);

        System.out.println(test.str);  //good
        System.out.println(test.ch);   //best
    }
}

 

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!