资讯专栏INFORMATION COLUMN

上云采购季！| 爆款云服务器低至4.6元/月，首单享0.9折

免费试用
首页/文章专栏/String：String类型为什么不可变

String：String类型为什么不可变

zhiwei / 864人阅读

摘要：性能当字符串是不可变时，字符串常量池才有意义。字符串常量池的出现，可以减少创建相同字面量的字符串，让不同的引用指向池中同一个字符串，为运行时节约很多的堆内存。

在学习Java的过程中，我们会被告知 String 被设计成不可变的类型。为什么 String 会被 Java 开发者有如此特殊的对待？他们的设计意图和设计理念到底是什么？因此，我带着以下三个问题，对
String 进行剖析：

String 真的不可变吗？

为什么会将 String 设计为不可变？

如何通过技术实现实现 String 不可变 ？

String 真的不可变？

String 底层实现：

public final class String
    implements java.io.Serializable, Comparable, CharSequence {
    /** The value is used for character storage. */
    private final char value[];

    /** Cache the hash code for the string */
    private int hash; // Default to 0
    
    //other codes
}

String 的底层实现是依靠 char[] 数组，既然依靠的是基础类型变量，那么他一定是可变的， String 之所以不可变，是因为 Java 的开发者通过技术实现，隔绝了使用者对 String 的底层数据的操作。但是，我们可以同反射的机制，操作 String 的底层，检验其不可变的猜想。

反射的方式操作 String ：

        //创建字符串"Hello World"， 并赋给引用s  
        String s = "Hello World";   
          
        System.out.println("s = " + s);    // Hello World  
          
        //获取String类中的value字段  
        Field valueFieldOfString = String.class.getDeclaredField("value");  
          
        //改变value属性的访问权限  
        valueFieldOfString.setAccessible(true);  
          
        //获取s对象上的value属性的值  
        char[] value = (char[]) valueFieldOfString.get(s);  
          
        //改变value所引用的数组中的第5个字符  
        value[5] = "_";  
          
        System.out.println("s = " + s);    //Hello_World

通过两次字符串的输出，我们可以看到，String 被改变了，但是在代码里，几乎不会使用反射的机制去操作 String 字符串，所以，我们会认为 String 类型是不可变的。

为什么会将 String 设计为不可变

安全

引发安全问题，譬如，数据库的用户名、密码都是以字符串的形式传入来获得数据库的连接，或者在socket编程中，主机名和端口都是以字符串的形式传入。因为字符串是不可变的，所以它的值是不可改变的，否则黑客们可以钻到空子，改变字符串指向的对象的值，造成安全漏洞

保证线程安全，在并发场景下，多个线程同时读写资源时，会引竞态条件，由于 String 是不可变的，不会引发线程的问题而保证了线程

HashCode，当 String 被创建出来的时候，hashcode也会随之被缓存，hashcode的计算与value有关，若 String 可变，那么 hashcode 也会随之变化，针对于 Map、Set 等容器，他们的键值需要保证唯一性和一致性，因此，String 的不可变性使其比其他对象更适合当容器的键值。

性能

当字符串是不可变时，字符串常量池才有意义。字符串常量池的出现，可以减少创建相同字面量的字符串，让不同的引用指向池中同一个字符串，为运行时节约很多的堆内存。若字符串可变，字符串常量池失去意义，基于常量池的String.intern()方法也失效，每次创建新的 String 将在堆内开辟出新的空间，占据更多的内存

实例代码：

String 的不可变性：

    public static String appendStr(String s){
        s+="bbb";
        return s;
    }

    //可变的StringBuilder
    public static StringBuilder appendSb(StringBuilder sb){
        return sb.append("bbb");
    }

    public static void main(String[] args){
        //String做参数
        String s=new String("aaa");
        String ns=Test.appendStr(s);
        System.out.println("String aaa >>> "+s.toString()); // aaa

        //StringBuilder做参数
        StringBuilder sb=new StringBuilder("aaa");
        StringBuilder nsb=Test.appendSb(sb);
        System.out.println("StringBuilder aaa >>> "+sb.toString()); // aaabbb
    }
String 不可变的技术实现

打开JDK的源码：

public final class String
    implements java.io.Serializable, Comparable, CharSequence {
    /** The value is used for character storage. */
    private final char value[];

    /** Cache the hash code for the string */
    private int hash; // Default to 0
    
    //other codes
}

String 类由关键字 final 修饰，说明该类不可继承

char value[] 属性也被 final 所修饰，说明 value 的引用在创建之后，就不能被改变

以上两点并不能完全实现 String 不可变 ，原因在于：

final int[] value={1,2,3}
      int[] another={4,5,6};
value=another;    // 编译器报错，final不可变

value 被 final 修饰，只能保证引用不被改变，但是 value 所指向的堆中的数组，才是真实的数据，只要能够操作堆中的数组，依旧能改变数据。【解释：String实际上是可变的】

final int[] value={1,2,3};
value[2]=100;  //这时候数组里已经是{1,2,100}

所有的成员属性均被 private 关键字所修饰

为了实现 String 不可变，关键在于Java的开发者在设计和开发 String 的过程中，没有暴露任何的内部成员，与此同时 API 的设计是均没有操作 value 的值 , 而是采用 new String() 的方式返回新的字符串，保证了 String 的不可变。

JDK String API 源码：

    public static String valueOf(char c) {
        char data[] = {c};
        return new String(data, true);  //采用 new String() 的方式返回新的字符串
    }
    
    

    public String concat(String str) {
        int otherLen = str.length();
        if (otherLen == 0) {
            return this;
        }
        int len = value.length;
        char buf[] = Arrays.copyOf(value, len + otherLen);
        str.getChars(buf, len);
        return new String(buf, true);  //采用 new String() 的方式返回新的字符串
    }

整个String设成final禁止继承，避免被其他人继承后破坏。所以String是不可变的关键都在底层的实现，而不是一个final。考验的是工程师构造数据类型，封装数据的功力。

String s = "abcd";
s = "abcdel";

String 不可变性的图示：

超融合服务器 私有云 js 数据转string类型 String _String public string

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/70172.html

相关文章

  • Java的String不可变性

    摘要：但是通过构造函数的并不是。通过构造函数创建的变量在机制上与其他对象一致，都是在上创建新的对象，然后把引用赋给变量。此外，的方法和等方法实现均是调用了构造函数创建了新的对象，所以他们返回的也都是存在于上的新对象。 String经常在一个语言中或多或少都有些特殊地位。在Java亦不例外。今天先来讨论，String是不可变的。 String是引用类型，String变量储存一个地址，地址指向内...

    atinosun 评论0 收藏0

  • java中的String为什么是不可变的

    摘要：什么是不可变对象如果一个对象，在它创建完成后，不能在改变它的状态，那么这个对象就是不可变的。而在中，是封装的数组，是在这个数组中的起始位置，是所占的字符的个数。 这是之前在网上看到的一个问题，我就是总结一下。什么是不可变对象:如果一个对象，在它创建完成后，不能在改变它的状态，那么这个对象就是不可变的。不能改变这个对象的状态就是：不改变对象内的成员变量，包括基本数据类型的值不能改变，引用...

    cfanr 评论0 收藏0

  • Java程序员常犯的10个错误

    摘要：原文出自本文总结了程序员常犯的个错误。可以看看为什么在中被设计成不可变父类和子类的构造函数以上这段代码出现编译错误，因为默认的父类构造函数未定义。如果程序员定义构造函数，编译器将不插入默认的无参数构造函数。 原文出自：http://www.programcreek.com/2014/05/top-10-mistakes-java-developers-make/ 本文总结了J...

    Andrman 评论0 收藏0

  • 第3章：抽象数据类型（ADT）和面向对象编程（OOP） 3.1数据类型和类型检查

    摘要：所有变量的类型在编译时已知在程序运行之前，因此编译器也可以推导出所有表达式的类型。像变量的类型一样，这些声明是重要的文档，对代码读者很有用，并由编译器进行静态检查。对象类型的值对象类型的值是由其类型标记的圆。 大纲 1.编程语言中的数据类型2.静态与动态数据类型3.类型检查4.易变性和不变性5.快照图6.复杂的数据类型：数组和集合7.有用的不可变类型8.空引用9.总结 编程语言中的数据...

    zhangqh 评论0 收藏0

  • 经验拾忆（纯手工）=> Python基本数据类型

    摘要：不要疑惑，告诉你答案这个代表正负号的正。虽然一点技术含量没有，但是你要懂序列也许叫可迭代对象更为合适，但是我喜欢叫序列。 数据结构 可变类型与不可变类型（重头戏） 基操： 可变类型：[], {} # 可增删改 查 不可变类型: int float str () # 无法增删改， 只可查 升操： + 与...

    Andrman 评论0 收藏0

发表评论

登陆后可评论

0条评论

zhiwei

男|高级讲师
我要私信

TA的文章

阅读更多
最新活动
阅读需要支付1元查看
<