J2SE：字符串的不可变特性

在java中，String被设计成不可变的对象，那么到底什么是不可变的对象呢？ 可以这样认为：如果一个对象，在它创建完成之后，不能再改变它的状态，那么这个对象就是不可变的。不能改变状态的意思是，不能改变对象内的成员变量，包括基本数据类型的值不能改变，引用类型的变量不能指向其他的对象。

String中的每一个看起来会修改String值的方法，实际上都是创建了一个全新的String对象。

这也是为什么像replace， substring，toLowerCase等方法都存在返回值的原因。例如这样的调用不会改变对象的值： 

String ss = "123456";
System.out.println("ss = " + ss); // 123456
ss.replace('1', '0');
System.out.println("ss = " + ss); // 123456

在理解过程中，有时会因为一个变量名被多次赋值而误以为字符串是可变的，比如

String s = "ABCabc";
System.out.println(s); // ABCabc
s = "123456";
System.out.println(s); // 123456

这里很容易产生一种错觉，这字符串不是变了吗？实际上，这里有两个字符串对象，只是对象名的引用变了，s一开始指向了ABCabc这个字符串对象，后来又指向了新生成的123456这个对象。并且，之前的ABCabc这个字符串对象再也没有变量指向它了，它会在适当时被垃圾回收器回收。

要知道，在Java中不能直接操作对象本身，所有的对象都由一个引用指向，必须通过这个引用才能访问对象本身，包括获取成员变量的值，改变对象的成员变量，调用对象的方法等。

---

String对象如何实现不可变特性

通常情况下，在java中通过以下步骤实现不可变

1. 所有的属性定义为private final
2. 对于属性不提供设值方法
3. 类声明为final不允许继承，防止对String类进行不可控的操作

注意：不用final关键字也可以实现对象不可变，使用final只是显示的声明，提示开发者和编译器为不可变。

首先看一下String类中都有哪些成员变量。 在JDK1.6中，String的成员变量有以下几个：

public final class String
    implements java.io.Serializable, Comparable<string>, CharSequence{
    /** The value is used for character storage. */
    private final char value[];
 
    /** The offset is the first index of the storage that is used. */
    private final int offset;
 
    /** The count is the number of characters in the String. */
    private final int count;
 
    /** Cache the hash code for the string */
    private int hash; // Default to 0</string>

在JDK1.7中，String类做了一些改动，主要是改变了substring方法执行时的行为，这和本文的主题不相关。JDK1.7中String类的主要成员变量就剩下了两个：

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>

value，offset和count这三个变量都是private的，并且没有提供setValue， setOffset和setCount等公共方法来修改这些值，所以在String类的外部无法修改String。也就是说一旦初始化就不能修改， 并且在String类的外部不能访问这三个成员。

此外，value，offset和count这三个变量都是final的， 也就是说在String类内部，一旦这三个值初始化了， 也不能被改变。

而且String类也用了final关键字来做了限制。

---

为什么String被设计为不可变

1、安全首要原因是安全，不仅仅体现在你的应用中，而且在JDK中，Java的类装载机制通过传递的参数（通常是类名）加载类，这些类名在类路径下，想象一下，假设String是可变的，一些人通过自定义类装载机制分分钟黑掉应用。

2、String不可变的设计也有出于性能考虑，当然背后的原理是字符串常量池，这并不是使String类设计成不可变的原因，但是可以确实可以提供更好的性能。

3、线程安全，当多线程访问时，不可变对象是线程安全的，不需要什么高深的逻辑解释，如果对象不可变，线程也不能改变它。 

---

利用反射强行改变String的值

从上文可知String的成员变量是private final 的，也就是初始化之后不可改变。那么在这几个成员中， value比较特殊，因为他是一个引用变量，而不是真正的对象。value是final修饰的，也就是说final不能再指向其他数组对象，那么我能改变value指向的数组吗？ 比如将数组中的某个位置上的字符变为下划线“_”。 至少在我们自己写的普通代码中不能够做到，因为我们根本不能够访问到这个value引用，更不能通过这个引用去修改数组。

但是可以反射出String对象中的value属性， 进而改变通过获得的value引用改变数组的结构。下面是实例代码：

public static void testReflection() throws Exception {
     
    //创建字符串"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
}

在这个过程中，s始终引用的同一个String对象，但是再反射前后，这个String对象发生了变化， 也就是说，通过反射是可以修改所谓的“不可变”对象的。但是一般我们并不会这么做。