关于Final关键字和不变性的深入理解

人已走
车未动
心已动
身未起
若有所思
茫然无措

什么是不变性

如果对象在被创建后，状态就不能被修改，那么它就是不可变的。

具有不可变的对象一定是线程安全的，我们不需要对其采取任何额外的安全措施，也能保证线程安全。

Final

作用

类防止被继承

方法防止被重写

变量防止被修改

天生是线程安全的，而不需要额外的同步开销

用法

修饰变量

被final修饰的变量，意味着值不能被修改。如果变量是对象，那么对象的引用不能变，但是对象自身的内容依然可以变化。

属性被声明为final后，该变量则只能被赋值一次，且一旦被赋值，final的变量就不能再被修改，无论如何也不会变。

赋值时机

为什么要规定赋值时机？

如果初始化不赋值，后续赋值，就是从null变成你的赋值，这就违反了final不变的原则了。

• final instance variable（类中的final属性）

在声明变量的等号右边直接赋值

class Demo{
    final String name="Jeck";
}

在构造函数中赋值

class Demo{
    final String name;
    public Demo(String name) {
        this.name = name;
    }
}

在类的初始代码块中赋值（不常用）

class Demo{
    final String name;
    {
        name="Jeck";
    }
}

如果不采用第一种赋值方法，那么就必须在第2，3种挑一个来赋值，而不能不赋值这是final语法所规定的。

• final static variable（类中的static final属性）

等号右边直接赋值

class Demo{
    final static String name="Jeck";
}

static静态代码块赋值

class Demo{
    final static String name;
    static {
        name="Jeck";
    }
}

• final local variable（方法中的final变量）

和前面两种不同，由于这里的变量是在方法里的，所以没有构造函数，也不存在初始化代码块。

final local variable不规定赋值时机，只要求在使用前必须赋值，这和方法中的非final变量的要求也是一样的。

而不用final修饰的方法变量在使用前也要初始化，又说明了方法变量默认使用final修饰，当多次赋值操作则变为非final变量。

修饰方法

• 不允许修饰构造方法
  

• 不可被重写，也就是不能被override，即使是子类有同样名字的方法，那也不是override，这个和static方法是一个道理

引申：static修饰方法也不可被重写，但可同名

修饰类

• 不可被继承

例如典型的String类就是final的，我们从没见过哪个类是继承String类的。

不变性和Final的关系？

不变性并不意味着简单地用final修饰就是不可变。

1. 对于基本类型，确实被final修饰后就具有不可变性。
2. 但是对于对象类型，需要该对象保证自身被创建后，状态永远不会变才可以。

满足下面条件时，对象才是不可变的。

1. 对象创建后，其状态就不能修改。
2. 所有属性都是final修饰的。
3. 对象创建过程中没有发生逸出。

把线程写在线程内部—栈封闭—也可以实现不可变

在方法里新建的局部变量，实际上是存储在每个线程私有的栈空间，而每个栈的栈空间是不能被其他线程所访问到的，所以不会有线程安全问题。这就是著名的“栈封闭”技术，是“线程封闭”技术的一种情况。

面试题

• 一

public class Main{
    public static void main(String[] args){
        String a="wukong2";
        final String b="wukong";
        String d="wukong";
        String c=b+2;
        String e=d+2;
        System.out.println(a==c);
        System.out.println(a==e);
    }
}

结果

原因

//编译期能确定的，发现和常量池a一样，则直接指向a
String c=b+2;
//运行期确定的变量，分配在了堆上
String e=d+2;

• 二

public class Main{
    public static void main(String[] args){
        String a="wukong2";
        final String b=test();
        String c=b+2;
        System.out.println(a==c);
    }
    private static String test() {
        return "wukong";
    }
}

结果

原因

//调用方法获取值，编译期也是确定不了
final String b=test();

推荐阅读：JVM类加载

面试官问，你真的了解JVM类加载吗？

文章持续更新，可以微信搜索「 绅堂Style 」第一时间阅读，回复【资料】有我准备的面试题笔记。
GitHub https://github.com/dtt11111/Nodes 有总结面试完整考点、资料以及我的系列文章。欢迎Star。