java基础之final关键字

引言

java关键字中final关键字绝对是我用的最勤最多的关键字之一。毕竟大量的常量定义总会带上final关键字，为什么常量定义会加上final关键字？final关键字如何用？为什么要用final关键字？接下来让我们聊聊final关键字。

用法

1. final关键字可以作用在类上，如果用来修饰类，则该类无法被继承。你如果使用final关键字修饰类，说明你已经很明确不希望该类被继承，不希望该类的方法被子类覆盖，换句大白话来说就是不想让别人改掉你的方法。jdk中String类就是使用final修饰的。
2. final关键字可以作用在方法上，如果用来修饰方法，则该方法无法被子类覆盖。
3. final关键字可以作用在变量上，final修饰过的变量不允许改变（如果是引用类型，不可变的是引用，引用类型的内容还是可以变的，如果作用在基本数据类型上，不可变的则是数据），也就是说只能赋值一次。
4. final关键字可以作用在参数上，同样final关键字作用在方法参数上保证该参数是不可变的。

在java中有以上几种方式来使用final关键字，虽然有这么多种方式，但是使用到final关键字通常都是想告诉人们被final关键字修饰的“都是无法改变的”。不想做改变的可能出于两种理由：设计或效率，且不可变的特性可以保证在多线程情况下变量的安全性。被final修饰的变量是不可变的，所以在多线程情况下，final域天然线程安全，并且不需要保证final线程安全而做其他额外操作。对于final域，编译器和处理器会遵从两点禁止指令重排序的情况：

1. 在构造函数内对final域写入，与随后把这个构造的对象赋值给引用对象两个操作之间不允许重排序。
2. 在首次读持有final域对象的引用和首次读该对象的final域字段之间不允许重排序。

第一点，翻译成中文就是在构造函数内写入final域值前是不允许把该对象赋值给其他对象，必须等final域写入后，换句话说就是final关键字保证了该变量的可见性。为了保证上述所述，编译器会自构造函数返回前插入StoreStore屏障，禁止final域重排序到构造函数之外。

第二点，同理也是为了保证final域的可见性，保证先读到持有final域对象的引用再读到final域字段，编译器通过在这两个操作之间插入LoadLoad屏障，保证永远读到final域字段的值都是正确的。

顺便说一嘴，在编译器层面也会对有final关键字修饰的方法进行优化，该优化叫方法内联。其实我们理解起来很简单，就是编译器会把多个final修饰的方法体内联到同一个方法体里面执行，这么做减少了方法调用的成本例如栈帧的创建等，也可以因为内联起来做更多的优化（比如公共子表达式消除等）。但并不是编译器有这些优化就所有的方法都final了，如果一个方法很大，程序代码膨胀之后可能就看不到方法内联带来的任何性能提高了，因为所带来的性能提高会因为花费于方法内的时间量而被缩减，所以不要陷入对仓促优化的强烈渴望中，如果你的程序很慢，final关键字的优化的那丁点性能无论如何也不能有质的突破。使用final关键字还是要看你实际的用途，如果某些变量确实不怎么改变，如常量，或者确实你希望某个对象在赋值之后不希望被后面的逻辑改变该对象的引用，那就大方的使用final关键字吧。

参考：
深入理解 Java 内存模型（六）——final