前言

说到String的不可变性，我猜肯定有同学要说可以通过反射来修改。所以我们在分享之前，在这边先出一个反射的题目，大家看看能不能答对。

题目

String name = "jionghui";
Field field = String.class.getDeclaredField("value");
field.setAccessible(true);
char[] value = (char[]) field.get(name);
value[0] = 'a';
System.out.println("jionghui" == name);

大家可以思考一下这个题目，我会在文末给出答案和解析。

不可变是什么意思

不可变类（immutable）：类的实例一旦创建后，其内容（状态）就不可改变。

简单理解就是：一个对象一旦被创建后，整个对象就是不可变的。包括属任何性和状态。

可能有同学会拿下面这段代码来说，这不是变了吗？

public void testFinal() {
    String str = "程序员囧辉";
    str = "屌丝囧辉";
}

我们看下第2行代码，这行代码中有两部分组成。

等号左边：一个局部变量 str，类型是 String，这个变量是放在栈上的。

等号右边：一个字符串对象，放在堆中。

我们说的不可变，指的是字符串对象。

我们通过第3行代码，将这个 str 变量赋值为另一个字符串，对原来的字符串对象是没有任何改变的。

final修饰value数组？

我猜有不少同学在回答这个问题的时候，会答说是因为string底层的这个value 数组被 final 修饰，所以 String 不可变，这个说法其实不正确。

我们来看一个例子：

这个例子中，我们的 demo 变量使用了 final 修饰，但是我们仍然改变了其内容。所以，final 并不能保证对象的一个不可变性。

final修饰变量的含义

基础数据类型：一旦初始化，便不能改变其值。

引用类型：一旦初始化，便不能改变其引用，也就是不能指向一个新的对象，但是仍然可以修改引用指向的对象内容。

为什么不可变？

1）value使用final修饰

保证value一旦被初始化，就不可改变其引用。

2）没有暴露成员变量

成员变量的访问权限为 private，同时没有提供方法将字段暴露出来，想要修改只能通过 String 提供的方法。

3）内部方法不会改动 value

一旦初始化之后，String 类中的方法就不会去改动 value 中的元素，需要的话都是直接新建一个 String 对象。

4）类使用final修饰，不可继承

这个设计主要是避免有人定义一个子类继承 String，然后重写 String 的方法，将这个子类设计成可变对象。我们知道在 java 中，有父类引用指向子类对象这种用法，这种情况下，我们需要一个String 对象，可能返回的是String 子类的对象，这会导致 String 看起来是可变的。所以 java 直接将 String定义成不可继承，避免出现这种情况。

不只是 String 类，其实所有的不可变类大致的设计思想都是按这四步来。后续如果我们自己想要设计一个不可变类，也可以按这四点来设计。

不可变的好处？为什么这么设计？

1）安全性

String 是 Java 中最基础也是最长使用的类，经常用于存储一些敏感信息，例如用户名、密码、网络连接等。因此，String 类的安全性对于整个应用程序至关重要。

我们来看下面这个例子：

private static void dangerousOperation(MyString myString) throws InterruptedException {
    if (!securityCheck(myString)) {
        System.out.println("校验失败");
        return;
    }
    // 一些七的八的操作
    doSomething();
    // 执行危险操作
    dangerous(myString);
}

我们通过一个方法来模拟一个危险的一个系统操作。

首先在这个方法的入口会进行一个安全检查。如果检查失败，会直接返回。

然后接着我们会最终去执行这个比较危险的操作。

如果此时这个方法的参数是可变对象，那么它可能在通过安全检查的时候，是一个合法的入参。但是当最终执行到下面的危险操作时，他可能被调用方给修改了，变成一个不合法的参数。但是这个时候他已经通过检查了，所以我们没办法对他进行拦截，最终可能会导致我们的系统被攻击或者存在安全隐患。