【基础】 ---- final关键字和不变性(附脑图)

目录

1. 什么是不变性
2. final的作用
3. final三种用法
4. 注意点
5. 不变性和final的关系
6. 面试题
7. 脑图

1. 什么是不变性

如果对象在被创建后,状态就不能被修改,那么它就是不可变的
具体不变性的对象一定是线程安全的,我们不需要对其采取任何额外的安全措施,也能保证线程安全

2. final的作用

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

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

3. final三种用法

3.1 final修饰变量

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

区分为3种:

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

赋值时机
属性被声明为final后,该变量只能被赋值一次。且一旦被赋值,final的变量就不能再被改变了

• final instance variable(类中的final属性)

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

  2. 构造函数中赋值

  3. 在类的初始代码块中赋值(不常用) 如果不采用第一种赋值方法,那么就必须在第2 3种挑一个来赋值,而不能不复制,这是final语法所规定的

     public class FinalVariableDemo {
     
        // 第一种: 在声明变量的等号右边直接赋值
        // private final int a = 7;
     
        private final int a;
     
        // 第二种: 在构造函数中赋值
        /*public FinalVariableDemo(int a) {
           this.a = a;
        }*/
        // 第三种: 在类的初始代码块中赋值
        {
           a = 10;
        }
     }
     

• final static instance variable(类中的static final 属性）

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

    public class FinalVariableDemo {
    
       // 在声明变量等号右边直接赋值
    // private static final int a = 10;
    
       // staic初始代码块赋值,不能用普通的初始代码块赋值
       private static final int a;
       static {
          a = 10;
       }
    }
    
    

• final local variable(方法中的final变量)

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

    public class FinalVariableDemo {
    
       void testFinal(){
          final int b;
          b = 10;
       }
    }
    
    

为什么要规定赋值时机？
如果初始化不赋值,后续赋值,就违反了final不变的原则

3.2 final修饰方法(构造方法除外)
不可被重写,也就是不能被override,即便是子类有同样名字的方法,那也不是override

public class FinalMethodDemo {
   public void drink(){

   }

   public final void eat(){

   }
}

class SubClass extends FinalMethodDemo {
   @Override
   public void drink() {
      super.drink();
      eat();
   }

   // 报错 无法覆盖final方法
   /*public void eat(){

   }*/
}

3.3 final修饰类

不可被继承,例如典型的String类就是final的,我们从来没有见过哪个类是继承String类的

4. 注意点

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

5. 不变性和final的关系

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

• 基本数据类型: 确实被final修饰后就具有不变性
• 对象类型:需要该对象保证自身被创建后,状态永远不会变才可以
• String为例

总结: 满足以下条件时,对象才是不可变的

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

6. 面试题

题目1

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

原因: 因为b为final变量,编译器期间就已经知道准确值了,不会发生变化,此时c在计算的时候就已经知道b的常量值了,计算完毕后还是指向a,所以a和c为同一个常量
d由于不是常量值,编译器运行时不会提前知道d的值,需要编译后才知道,所以e也是在运行时才能确定e的值,最后e在堆中生成"whc2"

题目2

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

	public static String getWhc() {
		return "whc";
	}

}

原因: b是通过方法获取到的,编译器一开始无法确定final的值,所以c是在运行时生成的,所以a和c不是同一个对象

7. 脑图

参考: 慕课网悟空老师课程~~