final关键字可以应用于类、方法以及变量

final声明变量

　　final声明变量可以保证在构造器函数返回之前，这个变量的值已经被设置。详细可以看final声明的重排序规则。分为三种情况：

• final声明基本数据类型变量：该变量只能被赋值一次，赋值后值不再改变。
• final声明引用数据类型变量：final只保证这个引用类型变量所引用的地址不会改变，即一直引用同一个对象，但是这个对象的内容(对象的非final成员变量的值可以改变)完全可以发生改变（比如final int[] intArray;，intArray不允许再引用其他对象，但是intArray内的int值却可以被修改）。
• final声明方法参数或者局部变量：用来保证该参数或者局部变量在这个函数内部不允许被修改。

　　final成员变量必须在声明的时候初始化或者在构造器中初始化，否则就会报编译错误。接口中声明的所有变量本身是final的。另外，final变量定义的时候，可以先声明，而不给初值，这种变量也称为final空白，无论什么情况，编译器都确保空白final在使用之前必须被初始化。但是，final空白在final关键字的使用上提供了更大的灵活性。比如：

private final int E; //final空白,必须在初始化对象的时候赋初值 
public Test3(int x) { 
        E = x; 
} 

final声明方法

　　 final声明的方法不可以被重写，但可以被继承。final不能用于修饰构造方法。使用final方法的原因有二： 　　第一、把方法锁定，防止任何继承类修改它的意义和实现。 　　第二、高效。因为在编译的时候已经静态绑定了，不需要在运行时再动态绑定。

final声明类

　　final声明的类不可以被继承，final类中的方法默认是final的。但是成员变量却不一定是final的，必须额外给成员变量声明为final。注意：一个类不能同时被abstract和final声明。 　　在设计类时候，如果这个类不需要有子类，类的实现细节不允许改变，并且确信这个类不会被扩展，那么就设计为final类。比如Java中有许多类是final的，譬如String, Interger以及其他包装类。

final域（变量）声明的重排序规则

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

• 禁止把final域的写重排序到构造函数之外（即必须先对final域赋值，然后才能引用包含final域的对象）。编译器会在final域的写之后，构造函数return之前，插入一个StoreStore屏障，从而禁止处理器把final域的写重排序到构造函数之外。
• 初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序（即必须先读包含final域的对象，然后才能读final域）。

而普通域是可以被重排序到构造器之外的。重排序可能导致一个线程看到一个对象的时候，这个对象还没有初始化完毕（部分初始化或者完全没有经过初始化，即读取到对象为null）。 下面，我们通过一些示例性的代码来分别说明这两个规则（在这里通过外部方法不安全的发布了对象，即对象还没有构造完成就发布了对象，这种例子也就仅仅起到说明作用）：

public class FinalExample {
    int i;                            //普通变量
    final int j;                      //final变量
    static FinalExample obj;

    public void FinalExample () {     //构造函数
        i = 1;                        //写普通域
        j = 2;                        //写final域
    }

    public static void writer () {    //写线程A执行
        obj = new FinalExample ();
    }

    public static void reader () {       //读线程B执行
        FinalExample object = obj;       //读对象引用
        int a = object.i;                //读普通域
        int b = object.j;                //读final域
    }
}

　　这里假设一个线程A执行writer ()方法，随后另一个线程B执行reader ()方法。下面我们通过这两个线程的交互来说明这两个规则。