深入理解final关键字

深入理解final关键字

一、描述
       final关键字在java中使用非常广泛，可以申明成员变量、方法、类、本地变量。一旦将引用声明为final，将无法再改变这个引用。final关键字还能保证内存同步，本博客将会从final关键字的特性到从java内存层面保证同步讲解。这个内容在面试中也有可能会出现。

二、使用
1、修饰变量
       final变量有成员变量或者是本地变量(方法内的局部变量)，在类成员中final经常和static一起使用，作为类常量使用。其中类常量必须在声明时初始化，final成员常量可以在构造函数初始化。

public class Main {
    public static final int i; //报错，必须初始化 因为常量在常量池中就存在了，调用时不需要类的初始化，所以必须在声明时初始化
    public static final int j;
    Main() {
        i = 2;
        j = 3;
    }
}

2、修饰方法
       final方法表示该方法不能被子类的方法重写，将方法声明为final，在编译的时候就已经静态绑定了，不需要在运行时动态绑定。final方法调用时使用的是invokespecial指令。

class PersonalLoan{
    public final String getName(){
        return"personal loan”;
    }
}
 
class CheapPersonalLoan extends PersonalLoan{
    @Override
    public final String getName(){
        return"cheap personal loan";//编译错误，无法被重载
    }
    
    public String test() {
        return getName(); //可以调用，因为是public方法
    }
}

3、修饰类
       final类不能被继承，final类中的方法默认也会是final类型的，java中的String类和Integer类都是final类型的。

final class PersonalLoan{}
 
class CheapPersonalLoan extends PersonalLoan {  //编译错误，无法被继承 
}

4、特性
（1）final成员变量必须在声明的时候初始化或者在构造器中初始化，否则就会报编译错误。final变量一旦被初始化后不能再次赋值。
（2）本地变量必须在声明时赋值。 因为没有初始化的过程。
（3）在匿名类中所有变量都必须是final变量。
（4）final方法不能被重写, final类不能被继承。
（5）接口中声明的所有变量本身是final的。类似于匿名类。
（6）final和abstract这两个关键字是反相关的，final类就不可能是abstract的。
（7）final方法在编译阶段绑定，称为静态绑定(static binding)。
（8）将类、方法、变量声明为final能够提高性能，这样JVM就有机会进行估计，然后优化。
（9）提高了性能，JVM在常量池中会缓存final变量。
（10）final变量在多线程中并发安全，无需额外的同步开销。
（11）final方法是静态编译的，提高了调用速度。
（12）final类创建的对象是只可读的，在多线程可以安全共享。