Java关键字：final

final关键字可以声明类、成员变量、方法、本地变量。

// 声明类
// 不允许被继承 Cannot inherit from final 'java.lang.String'
public final class String
    implements java.io.Serializable, Comparable<String>, CharSequence {
}
// 声明成员变量
private static final long serialVersionUID = -6849794470754667710L;

//声明方法及本地变量
public final void getDesc(){
    final int var = 2;
}

被final声明的类

不允许被继承 Cannot inherit from final 'java.lang.String'

被final声明的成员变量
1、必须被显示的指出初始值

//Variable 'var' might not have been initialized
private static final int var

2、在运行期不可以对变量再赋值

private static final int var = 1;

    private void setVar(int var){
      this.var = var; // 编译错误：Cannot assign a value to final variable 'var'
    } 

被final声明的局部变量
只能赋值一次，

public static final void getDesc(){
        final int var;
        var = 4;
        var = 8; //编译错误：Variable 'var' might already have been assigned to
        System.out.println(var);
    }

被final声明的方法
不能被重写，（不能@Override）

Method does not override method from its superclass

Java手册推荐使用方式

final域的内存语义

对于final域，编译器和处理器要遵守两个重排序规则：

1. 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。
2. 初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序。

写final域的重排序规则

禁止把final域的写重排序到构造函数之外。

1. JMM禁止编译器把final域的写重排序到构造函数之外
2. 编译器会在final域的写之后，构造函数return之前，插入一个StoreStore屏障。这个屏障禁止处理器把final域的写重排序到构造函数之外。

写final域的重排序规则可以确保：在对象引用为任意线程可见之前，对象的final域已经被正确初始化过了，而普通域不具有这个保障。

读final域的重排序规则

在一个线程中，初次读对象引用与初次读该对象包含的final域，JMM禁止处理器重排序这两个操作。编译器会在读final域操作的前面插入一个LoadLoad屏障。

读final域的重排序规则可以确保：在读一个对象的final域之前，一定会先读包含这个final域的对象的引用。

final域为引用类型

在构造函数内对一个final引用的对象的成员域的写入，与随后在构造函数外把这个被构造对象的引用赋值给一个引用变量，这个两个操作之间不能重排序。

为什么final引用不能从构造函数内“溢出”

在引用变量为任意线程可见之前，该引用变量指向的对象的final域已经在构造函数中被正确的初始化过了。

在构造函数返回前，被构造对象的引用不能为其他线程所见，因为此时的final域可能还没有被初始化。

在构造函数返回后，任意线程都将保证能看到final域正确初始化之后的值。

通过为final域增加写和读重排序规则，可以为Java程序员提供初始化安全保证：只要对象是正确构造的（被构造对象的引用在构造函数中没有“逸出”），那么不需要使用同步（lock、volatile）就可以保证任意线程都能看到这个final域在构造函数中被初始化之后的值。

《Java并发编程的艺术》