final与字符串为什么不可变

我们首先要了解final这个关键字

        final最终的，不可改变的，顾名思义一旦定义不可改变，常用量声明常量。

        final一般和stadic（静态）连起来使用

final关键字的作用：

        1、修饰的常量只能被赋值一次(防止第二次被赋值)

        2、修饰的类不可被继承（防止类被继承）

        3、能够防止指令重排序，保障线程可见性

        4、修饰的方法不能被重载或重写

这边解释一个第三点，在方法中指令原本是从上往下执行的，但计算机可能会对其进行优化，使其顺序改变，用final修饰后可以保证他运算正常。

我们可以看一串代码

import java.util.Arrays;

public final class Aaa {
    public final char[] data;

    public Aaa(char[] data) {
        this.data = data;
    }
    public void change(){
        data[0]='5';
    }
    public void print(){
        System.out.println(Arrays.toString(data));
    }

    public static void main(String[] args) {
        Aaa aaa=new Aaa(new char[]{'1','2','3'});
        aaa.print();
        aaa.change();
        aaa.print();
    }
}

 

        都说final不可修改，为什么这边final数组的值却被改了呢，这里需要注意一个问题，我们声明的final指向的是data这个量，可以理解为指向的是data数组所在的地址，且不能更改这个地址了，但数组里面的东西我是能够修改的

        字符串是我们常见的一个类型，他有两个特点，1定义后不能修改，2字符串类不能被继承，这两点是为什么呢？因为他在定义时已经被final修饰了。

而把他设计成如此的原因是因为当初java研发者认为共享带来的好处是大于可变的。