面试常备,字符串三剑客 String、StringBuffer、StringBuilder

开发 后端
字符串操作毫无疑问是计算机程序设计中最常见的行为之一,在 Java 大展拳脚的 Web 系统中更是如此。

[[382597]]

本文转载自微信公众号「飞天小牛肉」,作者飞天小牛肉。转载本文请联系飞天小牛肉公众号。

字符串操作毫无疑问是计算机程序设计中最常见的行为之一,在 Java 大展拳脚的 Web 系统中更是如此。

全文脉络思维导图如下:

1. 三剑客之首:不可变的 String

概述

 

「Java 没有内置的字符串类型」, 而是在标准 Java 类库中提供了一个「预定义类」 String。每个用「双引号括起来的字符串都是 String 类的一个实例」:

  1. String e = ""; // 空串 
  2. String str = "hello"

看一下 String 的源码,「在 Java 8 中,String 内部是使用 char 数组来存储数据的」。

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

可以看到,String 类是被 final 修饰的,因此 「String 类不允许被继承」。

「而在 Java 9 之后,String 类的实现改用 byte 数组存储字符串」,同时使用 coder 来标识使用了哪种编码。

  1. public final class String 
  2.     implements java.io.Serializable, Comparable<String>, CharSequence { 
  3.     /** The value is used for character storage. */ 
  4.     private final byte[] value; 
  5.  
  6.     /** The identifier of the encoding used to encode the bytes in {@code value}. */ 
  7.     private final byte coder; 

不过,无论是 Java 8 还是 Java 9,「用来存储数据的 char 或者 byte 数组 value 都一直是被声明为 final 的」,这意味着 value 数组初始化之后就不能再引用其它数组了。并且 String内部没有改变 value 数组的方法,因此我们就说 String 是不可变的。

所谓不可变,就如同数字 3 永远是数字 3 —样,字符串 “hello” 永远包含字符 h、e、1、1 和 o 的代码单元序列, 不能修改其中的任何一个字符。当然, 可以修改字符串变量 str, 让它引用另外一个字符串, 这就如同可以将存放 3 的数值变量改成存放 4 一样。

我们看个例子:

  1. String str = "asdf"
  2. String x = str.toUpperCase(); 

toUpperCase 用来将字符串全部转为大写字符,进入 toUpperCase 的源码我们发现,这个看起来会修改 String 值的方法,实际上最后是创建了一个全新的 String 对象,而最初的 String 对象则丝毫未动。

 

空串与 Null

空串 "" 很好理解,就是长度为 0 的字符串。可以调用以下代码检查一个字符串是否为空:

  1. if(str.length() == 0){ 
  2.     // todo 

或者

  1. if(str.equals("")){ 
  2.  // todo 

「空串是一个 Java 对象」, 有自己的串长度( 0 ) 和内容(空),也就是 value 数组为空。

String变量还可以存放一个特殊的值, 名为 null,这表示「目前没有任何对象与该变量关联」。要检查一个字符串是否为 null,可如下判断:

  1. if(str == null){ 
  2.     // todo 

有时要检查一个字符串既不是 null也不为空串,这种情况下就需要使用以下条件:

  1. if(str != null && str.length() != 0){ 
  2.     // todo 

有同学就会觉得,这么简单的条件判断还用你说?没错,这虽然简单,但仍然有个小坑,就是我们「必须首先检查 str 是否为 null,因为如果在一个 null 值上调用方法,编译器会报错」。

字符串拼接

上面既然说到 String 是不可变的,我们来看段代码,为什么这里的字符串 a 却发生了改变?

  1. String a = "hello"
  2. String b = "world"
  3. a = a + b; // a = "helloworld" 

实际上,在使用 + 进行字符串拼接的时候,JVM 是初始化了一个 StringBuilder 来进行拼接的。相当于编译后的代码如下:

  1. String a = "hello"
  2. String b = "world"
  3. StringBuilder builder = new StringBuilder(); 
  4. builder.append(a); 
  5. builder.append(b); 
  6. a = builder.toString(); 

关于 StringBuilder 下文会详细讲解,大家现在只需要知道 StringBuilder 是可变的字符串类型就 OK 了。我们看下 builder.toString() 的源码:

 

显然,toString方法同样是生成了一个新的 String 对象,而不是在旧字符串的内容上做更改,相当于把旧字符串的引用指向的新的String对象。这也就是字符串 a 发生变化的原因。

另外,我们还需要了解一个特性,当将一个字符串与一个非字符串的值进行拼接时,后者被自动转换成字符串(「任何一个 Java 对象都可以转换成字符串」)。例如:

  1. int age = 13; 
  2. String rating = "PG" + age; // rating = "PG13" 

这种特性通常用在输出语句中。例如:

  1. int a = 12; 
  2. System.out.println("a = " + a); 

结合上面这两特性,我们来看个小问题,「空串和 null 拼接的结果是啥」?

  1. String str = null
  2. str = str + ""
  3. System.out.println(str); 

答案是 null 大家应该都能猜出来,但为什么是 null 呢?上文说过,使用 + 进行拼接实际上是会转换为 StringBuilder 使用 append 方法进行拼接,编译后的代码如下:

String str = null;str = str + "";StringBuilder builder = new StringBuilder();builder.append(str);builder.append("");str = builder.toString();

看下 append 的源码:

 

可以看出,当传入的字符串是 null 时,会调用 appendNull 方法,而这个方法会返回 null。

检测字符串是否相等

可以使用 equals方法检测两个字符串是否相等。比如:

  1. String str = "hello"
  2. System.out.println("hello".equals(str)); // true 

equals 其实是 Object 类中的一个方法,所有的类都继承于 Object 类。讲解 equals 方法之前,我们先来回顾一下运算符 == 的用法,它存在两种使用情况:

  • 对于基本数据类型来说, == 比较的是值是否相同;
  • 对于引用数据类型来说, == 比较的是内存地址是否相同。

举个例子:

  1. String str1 = new String("hello");  
  2. String str2 = new String("hello"); 
  3. System.out.println(str1 == str2); // false 

对 Java 中数据存储区域仍然不明白的可以先回去看看第一章《万物皆对象》。对于上述代码,str1 和 str2 采用构造函数 new String() 的方式新建了两个不同字符串,以 String str1 = new String("hello"); 为例,new 出来的对象存放在堆内存中,用一个引用 str1 来指向这个对象的地址,而这个对象的引用 str1 存放在栈内存中。str1 和 str2 是两个不同的对象,地址不同,因此 == 比较的结果也就为 false。

 

而实际上,Object 类中的原始 equals 方法内部调用的还是运算符 ==,「判断的是两个对象是否具有相同的引用(地址),和 == 的效果是一样的」:

 

也就是说,如果你新建的类没有覆盖 equals 方法,那么这个方法比较的就是对象的地址。而 String 方法覆盖了 equals 方法,我们来看下源码:

 

可以看出,String 重写的 equals 方法比较的是对象的内容,而非地址。

总结下 equals()的两种使用情况:

  • 情况 1:类没有覆盖 equals() 方法。则通过 equals() 比较该类的两个对象时,等价于通过 == 比较这两个对象(比较的是地址)。
  • 情况 2:类覆盖了 equals() 方法。一般来说,我们都覆盖 equals() 方法来判断两个对象的内容是否相等,比如 String 类就是这样做的。当然,你也可以不这样做。

举个例子:

  1. String a = new String("ab"); // a 为一个字符串引用 
  2. String b = new String("ab"); // b 为另一个字符串引用,这俩对象的内容一样 
  3.  
  4. if (a.equals(b)) // true 
  5.     System.out.println("aEQb"); 
  6. if (a == b) // false,不是同一个对象,地址不同 
  7.     System.out.println("a==b"); 

字符串常量池

字符串 String 既然作为 Java 中的一个类,那么它和其他的对象分配一样,需要耗费高昂的时间与空间代价,作为最基础最常用的数据类型,大量频繁的创建字符串,将会极大程度的影响程序的性能。为此,JVM 为了提高性能和减少内存开销,在实例化字符串常量的时候进行了一些优化:

  • 为字符串开辟了一个「字符串常量池 String Pool」,可以理解为缓存区
  • 创建字符串常量时,首先检查字符串常量池中是否存在该字符串
  • 「若字符串常量池中存在该字符串,则直接返回该引用实例,无需重新实例化」;若不存在,则实例化该字符串并放入池中。

举个例子:

  1. String str1 = "hello"
  2. String str2 = "hello"
  3.  
  4. System.out.printl("str1 == str2" : str1 == str2 ) //true  

对于上面这段代码,String str1 = "hello";, 「编译器首先会在栈中创建一个变量名为 str1 的引用,然后在字符串常量池中查找有没有值为 "hello" 的引用,如果没找到,就在字符串常量池中开辟一个地址存放 "hello" 这个字符串,然后将引用 str1 指向 "hello"」。

 

需要注意的是,字符串常量池的位置在 JDK 1.7 有所变化:

  • 「JDK 1.7 之前」,字符串常量池存在于「常量存储」(Constant storage)中
  • 「JDK 1.7 之后」,字符串常量池存在于「堆内存」(Heap)中。

 

另外,我们还「可以使用 String的 intern()方法在运行过程中手动的将字符串添加到 String Pool 中」。具体过程是这样的:

当一个字符串调用 intern() 方法时,如果 String Pool 中已经存在一个字符串和该字符串的值相等,那么就会返回 String Pool 中字符串的引用;否则,就会在 String Pool 中添加一个新的字符串,并返回这个新字符串的引用。

看下面这个例子:

  1. String str1 = new String("hello");  
  2. String str3 = str1.intern(); 
  3. String str4 = str1.intern(); 
  4. System.out.println(str3 == str4); // true 

对于 str3 来说,str1.intern() 会先在 String Pool 中查看是否已经存在一个字符串和 str1 的值相等,没有,于是,在 String Pool 中添加了一个新的值和 str1 相等的字符串,并返回这个新字符串的引用。

而对于 str4 来说,str1.intern()在 String Pool 中找到了一个字符串和 str1 的值相等,于是直接返回这个字符串的引用。因此 s3 和 s4 引用的是同一个字符串,也就是说它们的地址相同,所以 str3 == str4 的结果是 true。

 

「总结:」

  • String str = "i" 的方式,java 虚拟机会自动将其分配到常量池中;
  • String str = new String(“i”) 则会被分到堆内存中。可通过 intern 方法手动加入常量池

new String("hello") 创建了几个字符串对象

下面这行代码到底创建了几个字符串对象?仅仅只在堆中创建了一个?

  1. String str1 = new String("hello");  

显然不是。对于 str1 来说,new String("hello") 分两步走:

  • 首先,"hello" 属于字符串字面量,因此编译时期会在 String Pool 中查找有没有值为 "hello" 的引用,如果没找到,就在字符串常量池中开辟地址空间创建一个字符串对象,指向这个 "hello" 字符串字面量;
  • 然后,使用 new的方式又会在堆中创建一个字符串对象。

因此,使用这种方式一共会创建两个字符串对象(前提是 String Pool 中还没有 "hello" 字符串对象)。

2. 双生子:可变的 StringBuffer 和 StringBuilder

String 字符串拼接问题

 

有些时候, 需要由较短的字符串构建字符串, 例如, 按键或来自文件中的单词。采用字符串拼接的方式达到此目的效率比较低。由于 String 类的对象内容不可改变,所以每当进行字符串拼接时,总是会在内存中创建一个新的对象。既耗时, 又浪费空间。例如:

  1. String s = "Hello"
  2. s += "World"

这段简单的代码其实总共产生了三个字符串,即 "Hello"、"World" 和 "HelloWorld"。"Hello" 和 "World" 作为字符串常量会在 String Pool 中被创建,而拼接操作 + 会 new 一个对象用来存放 "HelloWorld"。

使用 StringBuilder/ StringBuffer 类就可以避免这个问题的发生,毕竟 String 的 + 操作底层都是由 StringBuilder 实现的。StringBuilder 和 StringBuffer 拥有相同的父类:

 

但是,StringBuilder 不是线程安全的,在多线程环境下使用会出现数据不一致的问题,而 StringBuffer 是线程安全的。这是因为在 StringBuffer 类内,常用的方法都使用了synchronized 关键字进行同步,所以是线程安全的。而 StringBuilder 并没有。这也是运行速度 StringBuilder 大于 StringBuffer 的原因了。因此,如果在单线程下,优先考虑使用 StringBuilder。

初始化操作

StringBuilder 和 StringBuffer 这两个类的 API 是相同的,这里就以 StringBuilder 为例演示其初始化操作。

StringBuiler/StringBuffer不能像 String 那样直接用字符串赋值,所以也不能那样初始化。它「需要通过构造方法来初始化」。首先, 构建一个空的字符串构建器:

  1. StringBuilder builder = new StringBuilder(); 

当每次需要添加一部分内容时, 就调用 append 方法:

  1. char ch = 'a'
  2. builder.append(ch); 
  3.  
  4. String str = "ert" 
  5. builder.append(str); 

在需要构建字符串 String 时调用 toString 方法, 就能得到一个 String对象:

  1. String mystr = builder.toString(); // aert 

3. String、StringBuffer、StringBuilder 比较

  可变性 线程安全
String 不可变 因为不可变,所以是线程安全的
StringBuffer 可变 线程安全的,因为其内部大多数方法都使用 synchronized进行同步。其效率较低
StringBuilder 可变 不是线程安全的,因为没有使用 synchronized进行同步,这也是其效率高于 StringBuffer  的原因。单线程下,优先考虑使用 StringBuilder。

关于 synchronized 保证线程安全的问题,我们后续文章再说。

 

  •  References《Java 核心技术 - 卷 1 基础知识 - 第 10 版》
  • 《Thinking In Java(Java 编程思想)- 第 4 版》

 

责任编辑:武晓燕 来源: 飞天小牛肉
相关推荐

2011-03-28 16:04:44

nagios

2010-02-04 16:22:21

2019-06-27 10:06:54

Linux 性能工具

2019-08-20 14:29:45

grepsedawk

2021-05-13 10:25:29

Linuxgrep命令

2023-10-04 00:20:31

grepLinux

2009-02-26 18:22:49

桌面虚拟化Linux

2017-07-25 08:53:14

CorrectLinkCCA-SD算法

2009-03-19 20:52:58

LinuxPHPCMS

2011-04-11 11:01:03

AndroidHTC苹果

2011-07-04 09:07:54

2011-08-06 23:58:34

爱普生投影机

2023-11-25 17:08:47

ChatbotLLAMALangChain

2018-05-04 15:18:01

DockerDocker Comp容器

2014-11-26 10:18:32

Cloud Setupwindows在线打包工具

2021-03-15 07:39:48

LinuxAwk 语言

2017-10-16 15:04:32

javaAndroidAPT技术

2022-03-03 15:15:27

大数据数据湖技术

2013-08-16 11:14:48

创业

2009-02-27 09:10:53

Linux操作系统虚拟化三剑客
点赞
收藏

51CTO技术栈公众号