深入理解Java中的final关键字

写在文章开头

关于final关键字也是笔者早期整理的一篇文章，内容比较基础，所以借着假期将文章迭代一些，聊一些final关键字中的一些比较有意思的技术点，希望对你有帮助。

我是 SharkChili ，Java 开发者，Java Guide 开源项目维护者。欢迎关注我的公众号：写代码的SharkChili，也欢迎您了解我的开源项目 mini-redis：https://github.com/shark-ctrl/mini-redis。

为方便与读者交流，现已创建读者群。关注上方公众号获取我的联系方式，添加时备注加群即可加入。

final关键字的不可变性

为什么String要用final关键字修饰

final可以保证构造时的安全初始化，从而实现不受限制的并发访问，查看String源码可以看到无论是在类声明还是存储字符串的value成员变量，都通过final符加以修饰结合构造时安全初始化：

public final class String
    implements java.io.Serializable, Comparable<String>, CharSequence {
   
   
    /** The value is used for character storage. */
    private final char value[];
	//......
	//安全构造，从而保证当前string类不受限制的被安全访问
	public String(String original) {
   
   
        this.value = original.value;
        this.hash = original.hash;
    }
}

这也就是利用到final关键字的第一个关键特性——不可变性，在Java中一切皆为对象，字符串类型也是一样，所有的字符串对象也都存放在堆内存中，为了更好的做到解决堆内存空间和字符串的复用，一旦字符串类型做好了声明并完成字符串创建之后，这个字符串对象的对应值就不可再修改了。

例如，我们通过下面这段代码：

String str = new String("hello world");

在完成该字符串对象的创建时，因为final对于value的修饰，其底层本质上就是创建了一个hello world的original不可变字符串，然后再创建一个String对象，并将其value和hash值设置hello world以及hello world的hash值：

这一点我们查看String的源码定义也可以知晓这一点，可以看到上述的动作本质上就是将堆区的常量和我的字符串类进行关联，后续对于代码的各种修改操作，本质上也都是在字符串常量池中创建新的字面量与字符串类进行关联：

public String(String original) {
   
   
		//将字符串常量复制给当前字符串类
        this.value = original.value;
        //将字符串常量hash赋值给当前字符串
        this.hash = original.hash;
    }

通过上述的原因保证了字符串的不可变性，使得堆内存中有了字符串常量池的概念，保证同一字符串可以复用，节约堆内存的同时还提升了程序的性能。同时为了保证这些操作不可被开发者修改与破坏，对于字符串类，设计者也将该类通过final修饰，保证字符串类的不可变性不被使用者通过继承等方式遭到破坏，避免了一些字符串操作的安全漏洞和线程安全问题。

利用final关键字实现常量折叠

我们再来看一个例子，如下所示，可以看到不同变量声明的字符串test都和数字1进行拼接，最终与test1字符串进行==判断引用地址是否一致：

//字符串常量池
        String str1 = "test1";
        //字符串变量
        final String constStr = "test";
        String str2 = "test";
        //字符串拼接
        String concatenatedWithConst = constStr + 1;
        String concatenatedWithVar = str2 + 1;

        //判断是否是同一个对象
        System.out.println(str1 == concatenatedWithConst);
        System.out.println(str1 == concatenatedWithVar);

最终输出结果如下，可以看到采用final修饰的test字符串和数字1进行拼接之后，和str1的引用一致是一致的：

true
false

对应的我们也给出上述代码的字节码，可以看到在JIT阶段，对应19行(将constStr和数字1拼接)，因为constStr的不可变性，JIT阶段就会直接将其视为编译时常量和1进行拼接运算，由此直接得出test1。由此concatenatedWithConst就和str1同时指向字符串常量test1所以输出结果比对一致:

// access flags 0x9
  public static main([Ljava/lang/String;)V
    // parameter  args
  	//......
  //	
   L3
    LINENUMBER 19 L3
    //将字符串常量test1放到操作数栈
    LDC "test1"
    //将操作数栈上的test1存储到局部变量concatenatedWithConst 中
    ASTORE 4
   

对应我们也给出concatenatedWithVar生成的字节码，可以看到其底层本质上就是通过StringBuilder拿到字符串常量中的test和数值1进行拼接从而得到常量池中的test1，然后将当前concatenatedWithVar的引用指向这个常量，因为concatenatedWithVar间接的指向test1字符串，所以和str1的比对结果就不一致了：

L4
	//初始化StringBuilder
    LINENUMBER 20 L4
    NEW java/lang/StringBuilder
    DUP
    INVOKESPECIAL java/lang/StringBuilder.<init> ()V
    //将第三个变量也就是我们的str2 压入操作数栈
    ALOAD 3
    //str2追加一个数值1
    INVOKEVIRTUAL java/lang/StringBuilder.append (Ljava/lang/String;)Ljava/lang/StringBuilder;
    ICONST_1
    INVOKEVIRTUAL java/lang/StringBuilder.append (I)Ljava/lang/StringBuilder;
    //基于toString 生成字符串
    INVOKEVIRTUAL java/lang/StringBuilder.toString ()Ljava/lang/String;
    ASTORE 5

final语义中的常量折叠

上文我们提到