简谈Java String

前言

前阵子和同事在吃饭时聊起Java的String，以为本身以前的笔记写的略显零散。故此又从新整理了一下。

String在Java中算是一个有意思的类型，是final类型，所以不能够继承这个类、不能修改这个类。

两个小问题

咱们先来看一段代码：

String s = "Hello";
s = s + " world!";

试问：这两行代码执行后，原始的 String 对象中的内容到底变了没有？

答案是没有。由于 String 被设计成不可变(immutable)类，因此它的全部对象都是不可变对象。在 这段代码中，s 原先指向一个 String 对象，内容是 "Hello"，而后咱们对 s 进行了+操做。这时，s 不指向原来那个对象了， 而指向了另外一个 String 对象，内容为"Hello world!"，原来那个对象还存在于内存之中，只 是 s 这个引用变量再也不指向它了。

经过上面的说明，咱们很容易导出另外一个结论，若是常常对字符串进行各类各样的修改，或 者说，不可预见的修改，那么使用 String 来表明字符串的话会引发很大的内存开销。由于 String 对象创建以后不能再改变，因此对于每个不一样的字符串，都须要一个 String 对象来 表示。这时，应该考虑使用 StringBuffer类，它容许修改，而不是每一个不一样的字符串都要生 成一个新的对象。而且，这两种类的对象转换十分容易。

同时，咱们还能够知道，若是要使用内容相同的字符串，没必要每次都 new 一个 String。例 如咱们要在构造器中对一个名叫 s 的 String 引用变量进行初始化，把它设置为初始值，应当这样作：

public class Demo {
   private String s;
   ...
   public Demo {
     s = "Initial Value";
      }
      ...
      //而非 s = new String("Initial Value");
}

前者每次都会调用构造器，生成新对象，性能低下且内存开销大，而且没有意义，由于 String 对象不可改变，因此对于内容相同的字符串，只要一个 String 对象来表示就能够了。也就 说，屡次调用上面的构造器建立多个对象，他们的 String 类型属性 s 都指向同一个对象。 上面的结论还基于这样一个事实：对于字符串常量，若是内容相同，Java 认为它们表明同 一个 String 对象。而用关键字 new 调用构造器，老是会建立一个新的对象，不管内容是否 相同。

再请你们看一段代码：

String s = new String("xyz");

问题：建立了几个 String Object?两者之间有什么区别？

一个或两个 。

• ”xyz”对应一个对象，这个对象放在字符串常量池，常量”xyz”无论出现多少遍，都是缓冲区中的那一个。New String 每写一遍，就建立一个新的对象在堆上。
• 若是之前就用过’xyz’，这句表明就不会 建立”xyz”本身了，直接从字符串常量池拿。

常量池

在Java中，其实有不少常量池相关的概念：

常量池表（constant_pool table）

• Class文件中存储全部常量（包括字符串）的table
• 这是Class文件中的内容，还不是运行时的内容，不要理解它是个池子，其实就是Class文件中的字节码指令

运行时常量池（Runtime Constant Pool）

• JVM内存中方法区的一部分，这是运行时的内容
• 这部份内容（绝大部分）是随着JVM运行时候，从常量池转化而来，每一个Class对应一个运行时常量池
• 前面说的绝大部分是由于：除了 Class中常量池内容，还可能包括动态生成并加入这里的内容

字符串常量池（String Pool）

• 这部分也在方法区中，但与Runtime Constant Pool不是一个概念，String Pool是JVM实例全局共享的，全局只有一个
• JVM规范要求进入这里的String实例叫“被驻留的interned string”，各个JVM能够有不一样的实现，HotSpot是设置了一个哈希表StringTable来引用堆中的字符串实例，被引用就是被驻留。

相似这种常量池的思想即涉及到了一个设计模式——享元模式。顾名思义，共享元素。

也就是说：一个系统中若是有多处用到了相同的一个元素，那么咱们应该只存储一份此元素，而让全部地方都引用这一个元素

不可变的String

那么为何要不可变呢？

• 主要是为了安全与效率。

安全

String被许多的Java类库用来当作参数。例：

• URL、IP
• 文件路径path
• 反射机制所须要的String参数
• 等等...

倘若String不是固定不变的,将会引发各类安全隐患。

效率

在前面提到过常量池的享元模式。这样在拷贝或者建立内容相同对象时，就没必要复制对象自己，而是只要引用它便可。这样的开销比起copy object是天差地别的。另外，也就只有不可变对象才能使用常量池，由于能够保证引用同一常量值的多个变量不产生相互影响。

一样也是因为String对象的不可变特性，因此String对象能够自身缓存HashCode。Java中String对象的哈希码被频繁地使用, 好比在hashMap 等容器中。字符串不变性保证了hash码的惟一性,所以能够放心地进行缓存。这也是一种性能优化手段，意味着没必要每次都去计算新的哈希码：

public final class String
    implements java.io.Serializable, Comparable<String>, 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

其余

String 和 StringBuffer

JAVA 平台提供了两个类：String 和 StringBuffer，它们能够储存和操做字符串，即包含多个字符的字符数据。这个 String 类提供了数值不可改变的字符串。而这个 StringBuffer 类提供 的字符串进行修改。当你知道字符数据要改变的时候你就可使用 StringBuffer。典型地， 你可使用 StringBuffers 来动态构造字符数据。另外，String 实现了 equals 方法，new String(“abc”).equals(newString(“abc”)的结果为true,而StringBuffer没有实现equals方法， 因此，new StringBuffer(“abc”).equals(newStringBuffer(“abc”)的结果为 false。

接着要举一个具体的例子来讲明，咱们要把1到100的全部数字拼起来，组成一个串。

StringBuffer sbf = new StringBuffer();
 for(int i=0;i<100;i++){
           sbf.append(i);
    }

上面的代码效率很高，由于只建立了一个 StringBuffer 对象，而下面的代码效率很低，由于 建立了101个对象。

String str = new String();
   for(int i=0;i<100;i++) {
             str = str + i;
}

在讲二者区别时，应把循环的次数搞成10000，而后用 endTime-beginTime 来比较二者执 行的时间差别。

String 覆盖了 equals 方法和 hashCode 方法，而 StringBuffer没有覆盖 equals 方法和 hashCode 方法，因此，将 StringBuffer对象存储进 Java集合类中时会出现问题。

StringBuilder与 StringBuffer

StringBuilder不是线程安全的，可是单线程中中的性能比StringBuffer高。

Demo Code

String对象建立方式

String str1 = "abcd";
  String str2 = new String("abcd");
  System.out.println(str1==str2);//false

这两种不一样的建立方法是有差异的：

• 第一种方式是在常量池中拿对象
• 第二种方式是直接在堆内存空间建立一个新的对象。只要使用new方法，便会建立新的对象

链接表达式 +

1. 只有使用引号包含文本的方式建立的String对象之间使用“+”链接产生的新对象才会被加入字符串池中。
2. 对于全部包含new方式新建对象（包括null）的“+”链接表达式，它所产生的新对象都不会被加入字符串池中。

String str1 = "str";
String str2 = "ing";

String str3 = "str" + "ing";
String str4 = str1 + str2;
System.out.println(str3 == str4);//false

String str5 = "string";
System.out.println(str3 == str5);//true

链接表达式demo1

public static final String str1 = "ab";
public static final String str2 = "cd";

public static void main(String[] args) {
    String s = str1 + str2;  // 将两个常量用+链接对s进行初始化
    String t = "abcd";
    if (s == t) {
        System.out.println("s等于t，它们是同一个对象");
    } else {
        System.out.println("s不等于t，它们不是同一个对象");
    }
}

• s等于t，它们是同一个对象
• A和B都是常量，值是固定的，所以s的值也是固定的，它在类被编译时就已经肯定了。也就是说：String s=A+B; 等同于：String s="ab"+"cd";

链接表达式demo2

public static final String str1;
public static final String str2;

static {
    str1 = "ab";
    str2 = "cd";
}

public static void main(String[] args) {
// 将两个常量用+链接对s进行初始化
    String s = str1 + str2;
    String t = "abcd";
    if (s == t) {
        System.out.println("s等于t，它们是同一个对象");
    } else {
        System.out.println("s不等于t，它们不是同一个对象");
    }
}

• s不等于t，它们不是同一个对象
• A和B虽然被定义为常量，可是它们都没有立刻被赋值。在运算出s的值以前，他们什么时候被赋值，以及被赋予什么样的值，都是个变数。所以A和B在被赋值以前，性质相似于一个变量。那么s就不能在编译期被肯定，而只能在运行时被建立了。

intern方法

运行时常量池相对于Class文件常量池的另一个重要特征是具有动态性，Java语言并不要求常量必定只有编译期才能产生，也就是并不是预置入Class文件中常量池的内容才能进入方法区运行时常量池，运行期间也可能将新的常量放入池中，这种特性被开发人员利用比较多的就是String类的intern()方法。

String的intern()方法会查找在常量池中是否存在一份equal相等的字符串,若是有则返回该字符串的引用,若是没有则添加本身的字符串进入常量池。

public static void main(String[] args) {    
   String s1 = new String("计算机");
   String s2 = s1.intern();
   String s3 = "计算机";
   System.out.println("s1 == s2? " + (s1 == s2));
   System.out.println("s3 == s2? " + (s3 == s2));
}
//s1 == s2? false
//s3 == s2? true

一个较为丰富的demo

public class Test {
    public static void main(String[] args) {
        String hello = "Hello", lo = "lo";
        System.out.println((hello == "Hello") + " ");
        System.out.println((Other.hello == hello) + " ");
        System.out.println((other.Other.hello == hello) + " ");
        System.out.println((hello == ("Hel" + "lo")) + " ");
        System.out.println((hello == ("Hel" + lo)) + " ");
        System.out.println(hello == ("Hel" + lo).intern());
    }
}

class Other {
    static String hello = "Hello";
}

package other;

public class Other {
    public static String hello = "Hello";
}
//true true true true false true

• 在同包同类下,引用自同一String对象
• 在同包不一样类下,引用自同一String对象
• 在不一样包不一样类下,依然引用自同一String对象
• 在编译成.class时可以识别为同一字符串的,自动优化成常量,引用自同一String对象
• 在运行时建立的字符串具备独立的内存地址,因此不引用自同一String对象