Java并发工具之final关键字

1. 什么是不变性？

• 如果对象在创建后，状态就不能被修改，那么他就是不可变的；
• 具有不变形的对象一定是线程安全的；

2. final的作用

• 类防止被继承、方法防止被重写、变量防止被修改；
• 线程安全，不需要同步开销；

3. final的用法

被final修饰的变量：

• 被final修饰的变量，意味着值不能被修改。如果变量是对象，那么对象的引用不能变，但是对象自身的内容依然可以变化；
• 被final修饰的成员变量，必须进行初始化，可以直接赋值，也可以在构造方法或代码块中赋值；
• 被final修饰的静态成员变量，只能直接赋值或者在静态代码块中赋值；
• 被final修饰的局部变量不规定赋值时机，但是在使用前必须赋值，这和普通局部变量的要求是一样的；
• 为什么要规定赋值时机？如果初始化不赋值，后续赋值就是从null变成你的赋值，就不符合final不可变的原则了；
  被final修饰的方法：
• 构造方法不允许final修饰；
• 不可被重写，跟static方法是一个道理；
  被final修饰的类：
• 不可被继承
• String类就是final的

4. final的注意点

• final修饰对象的时候，只是对象的引用不可变，而对象本身是可以变化的；

• 如果明确知道某个对象不会被改变，最好使用final，确保不变性以及语义；

• 不变性并不意味着用final修饰就是不可变的；

• 对于基本数据类型，确实不可变；

• 但是对于引用数据类型，引用对象本身，比如内部的属性是可以变化的；

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

  • 对象创建后，其状态不可被修改；
  • 把对象所有属性都声明为final；
  • 对象创建过程中没有发生逸出；

5. 栈封闭技术

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

6. 常见面试题

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

true
false

• 首先，对于字符串直接赋值，a,b,d地址是在常量池中的；
• b被final修饰，由于JVM的优化，编译期间就知道b的值，进而c = b + 2的结果可以在编译期确定，地址也在常量池中，和a相同；
• d没有被final修饰，编译期间不知道d的值， e = d + 2的结果需要运行时确定，运行时确定的结果是指向堆的，所以e地址在堆中的，就不等于a了；

public class Test2 {
    public static void main(String[] args) {
        String a = "test2";
        final String b = getB();
        String c = b + 2;
        System.out.println(a == c);
    }

    private static String getB() {
        return "test";
    }
}

false

b是通过方法获得的，编译期间不知道b的值，所以c是在堆中生成的，a在常量池中。