7.1 什么是不变性

◆如果对象在被创建后,状态就不能被修改,那么它就是不可变的
◆例子: person对象, age和name都不能再变

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

如果此时加入一个非final修饰的score变量，那么这个类就不是一个不可变类。

public class Person {
    public final String name = "bob";
    public final Integer age = 18;
}

7.2 final的作用

早期

• 锁定
• 效率：早期的Java实现版本中，会将final方法转为内嵌的调用。

现在

• 类防止被继承、方法防止被重写、变量防止被修改
• 天生是线程安全的，而不需要额外的同步开销

7.3 赋值时机

7.3.1 final修饰变量

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

final instance variable ( 类属性中的final属性 )
final static variable (类中的static final属性 )
final local variable ( 方法中的final变量 )

7.3.2 赋值时机说明

成员变量赋值

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

final instance variable (类中的final属性)

• 第一种是在声明变量的等号右边直接赋值
• 第二种就是构造函数中赋值
• 第三就是在类的初始代码块中赋值(不常用)

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

TODO:复习一下，各个代码块执行顺序。

静态变量赋值

final static variable (类中的static final属性)

• 两个赋值时机:除了在声明变量的等号右边直接赋值外，static final变量还可以用static初始代码块赋值,但是不能用普通的初始代码块赋值

方法中的final变量赋值

• final local variable (方法中的final变量)
• 和前面两种不同,由于这里的变量是在方法里的,所以没有构造函数,也不存在初始代码块
• final local variable不规定赋值时机，只要求在使用前必须赋值,这和方法中的非final变量的要求也是一样的

7.3.3 为什么要规定赋值时机

我们来思考一下为什么语法要这继承这样? :如果初始化不赋值,后续赋值,就是从null变成你的赋值,这就违反final不变的原则了!

7.4 使用注意点

7.4.1 final修饰方法

• 构造方法不允许final修饰。
• 不可被重写，也就是不能被override

引申：static方法不能被重写，即使重写了也是子类的另一个方法。

7.4.2 final修饰类

不可以被继承

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

7.4.3 final的注意点

• final修饰对象的时候,只是对象的引用不可变,而对象本身的属性是可以变化的
• final使用原则:良好的编程习惯，确定可以加final，尽量把final加上

7.5 栈封闭技术

• 不变性并不意味着,简单地用final修饰就是不可变
• 对于基本数据类型,确实被final修饰后就具有不变性

如何利用final实现对象不可变

• 对象创建后，其状态就不能修改
• 所有属性都声明成final
• 对象创建过程中没有发生逸出

private + 只读属性+ final

栈封闭

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

7.6 相关面试题

输出结果是true和false

因为final标志了，在编译时可以确定c就是wukong2，就不需要再新建字符串变量了，e指向堆中，c指向常量池。

通过一个方法过去，就为false，因为在运行时才能确定。