深入理解String类

1、String str = "eee" 和String str = new String("eee")的区别

先看一小段代码，

public static void main(String[] args) {
String str1 = "eee";
String str2 = "eee";
String str3 = new String("eee");
System.out.println("str1 == str2 is " + (str1 == str2));
System.out.println("str1 == str3 is " + (str1 == str3));
System.out.println("str1.equals(str2) is " + str1.equals(str2));
System.out.println("str1.equals(str3) is " + str1.equals(str3));
}

运行结果为：

str1 == str2 is true
str1 == str3 is false
str1.equals(str2) is true
str1.equals(str3) is true

2、从JVM角度分析

《深入理解Java虚拟机》一书指出，JVM运行时数据区如下：



所有线程共享区域包括：

方法区：用于存储已被虚拟机加载的类信息、常亮、静态变量、即时编译器编译后的代码等数据，以及运行时常量池。

Java堆：在虚拟机启动时创建，存放对象实例，几乎所有的对象实例都在这里分配内存。

线程私有区域包括：

虚拟机栈：用于存储局部变量表、操作数栈、动态链接、方法出口等信息。

本地方法栈：与虚拟机栈类似， 区别主要是本地方法栈为Native方法服务。

程序计数器：一块较小的内存空间，当作当前线程所执行字节码的行号指示器。字节码解释器工作时通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能需要依赖这个计数器来完成。

String是一个不可变对象，可以认为是特殊的常量，因此存在方法区的运行时常量池中，可以被共享使用，以提高效率。

从JVM角度分析以上代码：

String str1 = "eee";    //1、在运行时常量池中创建新的对象"eee"，如果常量池中不存在的话；2、栈中创建对象的引用str1
String str2 = "eee";    //由于运行时常量池中已经存在该对象，直接在栈中创建对象的引用str2即可。
String str3 = new String("eee");    //1、通过new指令，在堆中创建新的对象，2、在栈中创建对象的引用str3。

对象之间通过==来比较，比较的是对象的引用。因此也就不难理解为什么str1 == str2, 而str != str3了。

而equals方法比较的是什么呢？如果类没有重写Object类中equals方法时，比较的也就是对象的引用；如果重写了equals方法，那么就要看重写的方法了。

3、从代码角度分析

在jdk1.8中查看String类的源码，

public final class String
implements java.io.Serializable, Comparable<String>, CharSequence {
private final char value[];
private int hash; // Default to 0

public String(String original) {
this.value = original.value;
this.hash = original.hash;
}
　　
/** 实际比较的是value[]是否相等 */
public boolean equals(Object anObject) {
if (this == anObject) {
return true;
}
if (anObject instanceof String) {
String anotherString = (String)anObject;
int n = value.length;
if (n == anotherString.value.length) {
char v1[] = value;
char v2[] = anotherString.value;
int i = 0;
while (n-- != 0) {
if (v1[i] != v2[i])
return false;
i++;
}
return true;
}
}
return false;
}
}

根据源代码可以看出，String类的equals方法比较的实际是value[]是否相等。根据构造函数以及之前的JVM内存模型，可以分析出str1，str2，str3在内存中关系如下：



可以很容易的理解，str1.equals(str3)为true。

4、不建议String对象作为锁去同步

直接看一个例子，

public class StringAsSynchronized {
public static class Service {
public void print(String stringParam) {
try {
synchronized (stringParam) {
while (true) {
System.out.print(Thread.currentThread().getName());
Thread.sleep(1000);
}
}
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}

public static class ThreadA extends Thread {
private Service service;
private String stringA = "synchronized";

public ThreadA(Service service) {
this.service = service;
}

@Override
public void run() {
service.print(stringA);
}
}

public static class ThreadB extends Thread {
private Service service;
private String stringB = "synchronized";

public ThreadB(Service service) {
this.service = service;
}

@Override
public void run() {
service.print(stringB);
}
}

public static void main(String[] args) {
Service service = new Service();
ThreadA a = new ThreadA(service);
a.setName("A");
ThreadB b = new ThreadB(service);
b.setName("B");
a.start();
b.start();
}
}

运行结果为：AAAAAAAAA。。。。

原因为ThreadA类以及ThreadB类中的成员变量stringA以及stringB指向的是同一个对象。

改正方法为

1、第33行修改为private String stringB = new String("synchronized");

2、更好的做法是不使用String对象用来同步锁。