【Beautiful JUC Part.7】fina关键字和不变性

【Beautiful JUC Part.7】fina关键字和不变性

一、什么是不变性（Immutable）

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

例如：person对象，age和name都不能再变。但是如果person对象还有其他非final的属性，就是可变的对象。

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

二、final关键字

1、早期作用

锁定

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

2、现在作用

类防止被继承、方法防止被重写、变量防止被修改

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

3、final的3种用法

①final修饰变量各不相同

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

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

类中的final属性

类中的的static final属性

方法中的final变量

反思

三、final的注意点

1、final修饰方法

不允许修饰构造方法

不可被重写，也就是不能被override

引申：static方法不能被重写

2、final修饰类

不可被继承

例如典型的String类就是final的

3、不变性和final的关系

不可变主要指的是内容是否可变

比如上面的案例，只有读取，没有改变值，这个类也是不可变的。

总结

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

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

四、把变量写在线程内部——栈封闭

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

/**
 * 描述：     演示栈封闭的两种情况，基本变量和对象 先演示线程争抢带来错误结果，然后把变量放到方法内，情况就变了
 */
public class StackConfinement implements Runnable {

    int index = 0;

    public void inThread() {
        int neverGoOut = 0;
        synchronized (this) {
            for (int i = 0; i < 10000; i++) {
                neverGoOut++;
            }
        }

        System.out.println("栈内保护的数字是线程安全的：" + neverGoOut);
    }

    @Override
    public void run() {
        for (int i = 0; i < 10000; i++) {
            index++;
        }
        inThread();
    }

    public static void main(String[] args) throws InterruptedException {
        StackConfinement r1 = new StackConfinement();
        Thread thread1 = new Thread(r1);
        Thread thread2 = new Thread(r1);
        thread1.start();
        thread2.start();
        thread1.join();
        thread2.join();
        System.out.println(r1.index);
    }
}

五、面试题：真假美猴王

用final修饰的b是在常量池中，所以c和a是在常量池中的，ac为true，而d和e是在堆上的对象，所以ae为false。

上面这种情况，输出false，因为b还是在运行的时候生成的。所以a和c不是同一个对象。