Java并发工具之final关键字

╰半橙微兮° 2023-07-13 08:26 39阅读 0赞

## 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在常量池中。