目录
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属性)
-
在声明变量的等号右边直接赋值
-
构造函数中赋值
-
在类的初始代码块中赋值(不常用) 如果不采用第一种赋值方法,那么就必须在第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. 脑图
参考: 慕课网悟空老师课程~~