茫茫人海千千万万，感谢这一秒你看到这里。希望我的文章对你的有所帮助！

愿你在未来的日子，保持热爱，奔赴山海！！

题记：关于final关键字，它也是我们一个经常用的关键字，可以修饰在类上、或者修饰在变量、方法上，以此看来定义它的一些不可变性！

像我们经常使用的String类中，它便是final来修饰的类，并且它的字符数组也是被final所修饰的。但是一些final的一些细节你真的了解过吗？

从这篇文章开始，带你深入了解final的细节！

🍉 从内存模型中了解final

在上面，我们了解在单线程情况下的final，但对于多线程并发下的final，你有了解吗？多线程并发的话，我们又必须知道一个内存模型的概念：JMM。

🍊 JMM

JMM是定义了线程和主内存之间的抽象关系：线程之间的共享变量存在主内存（MainMemory）中，每个线程都有一个私有的本地内存（LocalMemory）即共享变量副本，本地内存中存储了该线程以读、写共享变量的副本。本地内存是Java内存模型的一个抽象概念，并不真实存在。它涵盖了缓存、写缓冲区、寄存器等。

而在这一内存模型下，计算机在执行程序时，为了提高性能，编译器和处理器常常会对指令做重排序。那么问题又来了，重排序是什么？

🍒 重排序

其实对于我们程序来说，可以分为不同指令，每一个指令都会包含多个步骤，每个步骤可能使用不同的硬件。我们可以将每个指令拆分为五个阶段：

想这样如果是按顺序串行执行指令，那可能相对比较慢，因为需要等待上一条指令完成后，才能等待下一步执行：

而如果发生指令重排序呢，实际上虽然不能缩短单条指令的执行时间，但是它变相地提高了指令的吞吐量，可以在一个时钟周期内同时运行五条指令的不同阶段。

我们来分析下代码的执行情况，并思考下：

a = b + c;

d = e - f ;

按原先的思路，会先加载b和c，再进行b+c操作赋值给a，接下来就会加载e和f，最后就是进行e-f操作赋值给d。

这里有什么优化的空间呢？我们在执行b+c操作赋值给a时，可能需要等待b和c加载结束，才能再进行一个求和操作，所以这里可能出现了一个停顿等待时间，依次后面的代码也可能会出现停顿等待时间，这降低了计算机的执行效率。

为了去减少这个停顿等待时间，我们可以先加载e和f，然后再去b+c操作赋值给a，这样做对程序（串行）是没有影响的，但却减少了停顿等待时间。既然b+c操作赋值给a需要停顿等待时间，那还不如去做一些有意义的事情。

总结：指令重排对于提高CPU处理性能十分必要。但是会因此引发一些指令的乱序。那么我们的final它对指令重排序有什么作用呢？接下来我们来看看吧！

🍓 final域重排序规则

对于JMM内存模型来说，它对final域有以下两种重排序规则：

1. 写：在构造函数内对final域写入，随后将构造函数的引用赋值给一个引用变量，操作不能重排序。

2. 读：初次读一个包含final域的对象的引用和随后初次写这个final域，不能重排序。

具体我们根据代码演示一边来讲解吧：

代码：

package com.ygt.test;

/**
 * 测试JMM内存模型对final域重排序的规则
 */
public class JMMFinalTest {

    // 普通变量
    private int variable;
    // final变量
    private final int variable2;
    private static JMMFinalTest jmmFinalTest;

    // 构造方法中，将普通变量和final变量进行写的操作
    public JMMFinalTest(){
        variable = 1;  // 1. 写普通变量
        variable2 = 2; // 2. 写final变量
    }

    // 模仿一个写操作 --> 假设线程A进行来写操作
    public static void write() {
        // new 当前类对象 --> 并在构造函数中完成赋值操作
        jmmFinalTest = new JMMFinalTest();
    }

    // 模仿一个读操作 --> 假设线程B进行来读操作
    public static void read() {
        // 读操作：
        JMMFinalTest test = jmmFinalTest; // 3. 读对象的引用
        int localVariable = test.variable;
        int localVariable2 = test.variable2;
    }
}

写final域重排序规则

写final域重排序规则在构造函数内对final域写入，随后将构造函数的引用赋值给一个引用变量，操作不能重排序。代表禁止对final域的初始化操作必须在构造函数中，不能重排序到构造函数之外，这个规则的实现主要包含了两个方面：

1. JMM内存模型禁止编译器把final域的写重排序到构造函数之外；
2. 编译器会在final域写入和构造函数return返回之前，插入一个storestore内存屏障。这个内存屏障可以禁止处理器把final域的写重排序到构造函数之外。

我们再来分析write方法，虽然只有一行代码，但他实际上有三个步骤：

1. 在JVM的堆中申请一块内存空间
2. 对象进行初始化操作
3. 将堆中的内存空间的引用地址赋值给一个引用变量jmmFinalTest。

对于普通变量variable来说，它的初始化操作可以被重排序到构造函数之外，即我们的步骤不是本来1-2-3吗，现在可能造成1-3-2这样初始化操作在构造函数返回后了！

而对于final变量variable2来说，它的初始化操作一定在构造函数之内，即1-2-3。

我们来看一个可能发生的图：

对于变量的可见性来说，因为普通变量variable可能会发生重排序的一个现象，读取的值可能会不一样，可能是0或者是1。但是final变量variable2，它读取的值一定是2了，因为有个StoreStore内存屏障来保证与下面的操作进行重排序的操作。

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

读final域重排序规则

初次读一个包含final域的对象的引用和随后初次写这个final域，不能重排序。怎么实现呢？

它其实处理器会在读final域操作的前面插入一个LoadLoad内存屏障。

我们再来分析read方法，他实有三个步骤：

1. 初次读引用变量jmmFinalTest;
2. 初次读引用变量jmmFinalTest的普通域变量variable;
3. 初次读引用变量jmmFinalTest的final域变量variable2;

我们以写操作正常排序的情况，对于读情况可能发生图解：

对于读对象的普通域变量variable可能发生重排序的现象，被重排序到了读对象引用的前面，此时就会出现线程B还未读到对象引用就在读取该对象的普通域变量，这显然是错误的操作。

而对于final域的读操作通过LoadLoad内存屏障保证在读final域变量前已经读到了该对象的引用，从而就可以避免以上情况的发生。

由此可见，读final域的重排序规则可以确保我们在读一个对象的final域之前，一定会先读这个包含这个final域的对象的引用，而普通域就不具有这个保障。

🍅 final对象是引用类型

上面我已经了解了final域对象是基本数据类型的一个重排序规则了，但是对象如果是引用类型呢？我们接着来：

当final域对象是一个引用类型，写final域的重排序规则增加了如下的约束：

在构造函数内对一个final引用的对象的成员域的写入，与随后在构造函数外将被构造对象的引用赋值给引用变量之间不能重排序。 听起来还是有点难懂是吧，没事，代码看看！

注意一点：之前的写final域的重排序规则一样存在，只是对引用类型对象增加了一条规则。

代码：

package com.ygt.test;

/**
 * 测试final引用类型对象时的读写情况
 */
public class ReferenceFinalTest {

    // 定义引用对象
    final Person person;
    private ReferenceFinalTest referenceFinalTest;

    // 在构造函数中初始化，并进行赋值操作
    public ReferenceFinalTest(){
        person = new Person(); // 1. 初始化
        person.setName("詹姆斯！"); // 2. 赋值
    }

    // 线程A进来进行写操作，实现将referenceFinalTest初始化
    public void write(){
        referenceFinalTest = new ReferenceFinalTest(); // 3. 初始化构造函数
    }

    // 线程B进来进行写操作，实现person重新赋值操作。
    public void write2(){
       person.setName("戴维斯"); // 4. 重新赋值操作
    }

    // 线程C进来进行读操作，读取当前person的值
    public void read(){
        if(referenceFinalTest != null) { // 5. 读取引用对象
            String name = person.getName(); // 6. 读取person对象的值
        }
    }
}

class Person{
    private String name;
    private int age;

    public void setName(String name) {
        this.name = name;
    }

    public String getName() {
        return name;
    }
}

首先，我们先画个可能发生情况的图解：

我们线程的执行顺序：A ——> B ——> C

接着我们对读写操作方法进行详解：

写final域重排序规则

从之前我们就知道，我们final域的写禁止重排序到构造方法外，因此1和3是不能发生重排序现象滴。

而对于我们新增的约束来说，在构造函数内对一个final引用的对象的成员域的写入，与随后在构造函数外将被构造对象的引用赋值给引用变量之间不能重排序。即final域的引用对象的成员属性写入setName("詹姆斯")是不可以与随后将这个被构造出来的对象赋给引用变量jmmFinalTest重排序，因此2和3不能重排序。

所以我们的步骤是1-2-3。

读final域重排序规则

对于多线程情况下，JMM内存模型至少可以确保线程C在读对象person的成员属性时，先读取到了引用对象person了，可以读取到线程A对final域引用对象person的成员属性的写入。

可能此时线程B对于person的成员属性的写入暂时看不到，保证不了线程B的写入对线程C的可见性，因为可能线程B与线程C存在了线程抢占的竞争问题，此时的结果可能不同！

当然，如果想要保存可见，我们可以使用Volatile或者同步锁。

🥩 小结

我们可以根据数据类型分类：

基本数据类型:

1. 写：在构造函数内对final域写入，随后将构造函数的引用赋值给一个引用变量，操作不能重排序。即禁止final域写重排序到构造方法之外。
2. 读：初次读一个包含final域的对象的引用和随后初次写这个final域，不能重排序。

引用数据类型：

在基本数据类型上额外增加约束：

禁止在构造函数对一个final修饰的对象的成员域属性的写入与随后将这个被构造的对象的引用赋值给引用变量进行重排序。

🌸总结

相信各位看官都对final这一个关键字有了一定了解吧，其实额外扩展自己的知识面也是相当有必要滴，不然别人追问你的时候，你会哑口无言，而一旦你自己每天都深入剖析知识点后，你在今后的对答中都会滔滔不绝，绽放光芒的！！！对吧，我们还有一把东西等着我们探索和摸索中！接下来就是潜心学习一段时间，不浮躁，不气馁！

让我们也一起加油吧！本人不才，如有什么缺漏、错误的地方，也欢迎各位人才大佬评论中批评指正！当然如果这篇文章确定对你有点小小帮助的话，也请亲切可爱的人才大佬们给个点赞、收藏下吧，一键三连，非常感谢！

学到这里，今天的世界打烊了，晚安！虽然这篇文章完结了，但是我还在，永不完结。我会努力保持写文章。来日方长，何惧车遥马慢！

感谢各位看到这里！愿你韶华不负，青春无悔！

一 final 基础使用

1.1 修饰类

当某个类的整体定义为 final 时，就表明了你不能打算继承该类，而且也不允许别人这么做。即这个类是不能有子类的。

注意：final 类中的所有方法都隐式为 final，因为无法覆盖他们，所以在 final 类中给任何方法添加 final 关键字是没有任何意义的。

这里顺道说说 final 类型的类如何拓展? 比如 String 是 final 类型，我们想写个 MyString 复用所有 String 中方法，同时增加一个新的 toMyString() 的方法，应该如何做?

设计模式中最重要的两种关系，一种是继承/实现；另外一种是组合关系。所以当遇到不能用继承的 (final 修饰的类)，应该考虑用组合，如下代码大概写个组合实现的意思：

class MyString{

    private String innerString;

    // ...init & other methods

    // 支持老的方法
    public int length(){
        return innerString.length(); // 通过innerString调用老的方法
    }

    // 添加新方法
    public String toMyString(){
        //...
    }
}

1.2 修饰方法

• private 方法是隐式的 final
• final 方法是可以被重载的

private final

类中所有 private 方法都隐式地指定为 final 的，由于无法取用 private 方法，所以也就不能覆盖它。可以对 private 方法增添 final 关键字，但这样做并没有什么好处。看下下面的例子：

public class Base {
    private void test() {
    }
}

public class Son extends Base{
    public void test() {
    }
    public static void main(String[] args) {
        Son son = new Son();
        Base father = son;
        //father.test();
    }
}

Base 和 Son 都有方法 test()，但是这并不是一种覆盖，因为 private 所修饰的方法是隐式的 final，也就是无法被继承，所以更不用说是覆盖了，在 Son 中的 test() 方法不过是属于 Son 的新成员罢了，Son 进行向上转型得到 father，但是 father.test() 是不可执行的，因为 Base 中的 test 方法是 private 的，无法被访问到。

final 方法是可以被重载的

我们知道父类的final方法是不能够被子类重写的，那么final方法可以被重载吗? 答案是可以的，下面代码是正确的。

public class FinalExampleParent {
    public final void test() {
    }

    public final void test(String str) {
    }
}

1.3 修饰参数

Java 允许在参数列表中以声明的方式将参数指明为 final，这意味这你无法在方法中更改参数引用所指向的对象。这个特性主要用来向匿名内部类传递数据。

1.4 修饰变量

所有的 final 修饰的字段都是编译期常量吗?

现在来看编译期常量和非编译期常量, 如：

public class Test {
    //编译期常量
    final int i = 1;
    final static int J = 1;
    final int[] a = {1,2,3,4};
    //非编译期常量
    Random r = new Random();
    final int k = r.nextInt();

    public static void main(String[] args) {

    }
}

k 的值由随机数对象决定，所以不是所有的 final 修饰的字段都是编译期常量，只是 k 的值在被初始化后无法被更改。

static final

一个既是 static 又是 final 的字段只占据一段不能改变的存储空间，它必须在定义的时候进行赋值，否则编译器将不予通过。

import java.util.Random;
public class Test {
    static Random r = new Random();
    final int k = r.nextInt(10);
    static final int k2 = r.nextInt(10); 
    public static void main(String[] args) {
        Test t1 = new Test();
        System.out.println("k="+t1.k+" k2="+t1.k2);
        Test t2 = new Test();
        System.out.println("k="+t2.k+" k2="+t2.k2);
    }
}

上面代码某次输出结果：

k=2 k2=7
k=8 k2=7

我们可以发现对于不同的对象k的值是不同的，但是k2的值却是相同的，这是为什么呢? 因为static关键字所修饰的字段并不属于一个对象，而是属于这个类的。也可简单的理解为static final所修饰的字段仅占据内存的一个一份空间，一旦被初始化之后便不会被更改。

blank final

Java 允许生成空白 final，也就是说被声明为 final 但又没有给出定值的字段，但是必须在该字段被使用之前被赋值，这给予我们两种选择：

• 在定义处进行赋值(这不叫空白final)
• 在构造器中进行赋值，保证了该值在被使用前赋值。

这增强了 final 的灵活性。 看下面代码:

public class Test {
    final int i1 = 1;
    final int i2;//空白final
    public Test() {
        i2 = 1;
    }
    public Test(int x) {
        this.i2 = x;
    }
}

可以看到 i2 的赋值更为灵活。但是请注意，如果字段由 static 和 final 修饰，仅能在定义处赋值，因为该字段不属于对象，属于这个类。

二 final 域重排序规则

上面我们聊的 final 使用，应该属于 Java 基础层面的，当理解这些后我们就真的算是掌握了 final 吗? 有考虑过 final 在多线程并发的情况吗? 在 java 内存模型中我们知道 java 内存模型为了能让处理器和编译器底层发挥他们的最大优势，对底层的约束就很少，也就是说针对底层来说java内存模型就是一弱内存数据模型。同时，处理器和编译为了性能优化会对指令序列有编译器和处理器重排序。那么，在多线程情况下,final会进行怎样的重排序? 会导致线程安全的问题吗? 下面，就来看看 final 的重排序。

2.1 final 域为基本类型

先看一段示例性的代码：

public class FinalDemo {
    private int a;  //普通域
    private final int b; //final域
    private static FinalDemo finalDemo;

    public FinalDemo() {
        a = 1; // 1. 写普通域
        b = 2; // 2. 写final域
    }

    public static void writer() {
        finalDemo = new FinalDemo();
    }

    public static void reader() {
        FinalDemo demo = finalDemo; // 3.读对象引用
        int a = demo.a;    //4.读普通域
        int b = demo.b;    //5.读final域
    }
}

假设线程 A 在执行 writer() 方法，线程 B 执行 reader() 方法。

2.1.1 写 final 域重排序规则

写 final 域的重排序规则禁止对 final 域的写重排序到构造函数之外，这个规则的实现主要包含了两个方面：

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

我们再来分析 writer 方法，虽然只有一行代码，但实际上做了两件事情：

• 构造了一个 FinalDemo 对象
• 把这个对象赋值给成员变量 finalDemo。

我们来画下存在的一种可能执行时序图，如下：

由于a,b之间没有数据依赖性，普通域(普通变量)a可能会被重排序到构造函数之外，线程B就有可能读到的是普通变量a初始化之前的值(零值)，这样就可能出现错误。而final域变量b，根据重排序规则，会禁止final修饰的变量b重排序到构造函数之外，从而b能够正确赋值，线程B就能够读到final变量初始化后的值。

因此，写final域的重排序规则可以确保：在对象引用为任意线程可见之前，对象的final域已经被正确初始化过了，而普通域就不具有这个保障。比如在上例，线程B有可能就是一个未正确初始化的对象finalDemo。

2.1.2 读final域重排序规则

读final域重排序规则为：在一个线程中，初次读对象引用和初次读该对象包含的final域，JMM会禁止这两个操作的重排序。(注意，这个规则仅仅是针对处理器)，处理器会在读final域操作的前面插入一个LoadLoad屏障。实际上，读对象的引用和读该对象的final域存在间接依赖性，一般处理器不会重排序这两个操作。但是有一些处理器会重排序，因此，这条禁止重排序规则就是针对这些处理器而设定的。

read()方法主要包含了三个操作：

• 初次读引用变量finalDemo
• 初次读引用变量finalDemo的普通域a
• 初次读引用变量finalDemo的final与b

假设线程A写过程没有重排序，那么线程A和线程B有一种的可能执行时序为下图：

读对象的普通域被重排序到了读对象引用的前面就会出现线程B还未读到对象引用就在读取该对象的普通域变量，这显然是错误的操作。而final域的读操作就“限定”了在读final域变量前已经读到了该对象的引用，从而就可以避免这种情况。

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

2.2 final 域为引用类型

我们已经知道了final域是基本数据类型的时候重排序规则是怎么的了? 如果是引用数据类型了? 我们接着继续来探讨。

2.2.1 对final修饰的对象的成员域写操作

针对引用数据类型，final域写针对编译器和处理器重排序增加了这样的约束：在构造函数内对一个final修饰的对象的成员域的写入，与随后在构造函数之外把这个被构造的对象的引用赋给一个引用变量，这两个操作是不能被重排序的。注意这里的是“增加”也就说前面对final基本数据类型的重排序规则在这里还是使用。这句话是比较拗口的，下面结合实例来看。

public class FinalReferenceDemo {
    final int[] arrays;
    private FinalReferenceDemo finalReferenceDemo;

    public FinalReferenceDemo() {
        arrays = new int[1];  //1
        arrays[0] = 1;        //2
    }

    public void writerOne() {
        finalReferenceDemo = new FinalReferenceDemo(); //3
    }

    public void writerTwo() {
        arrays[0] = 2;  //4
    }

    public void reader() {
        if (finalReferenceDemo != null) {  //5
            int temp = finalReferenceDemo.arrays[0];  //6
        }
    }
}

针对上面的实例程序，线程线程A执行wirterOne方法，执行完后线程B执行writerTwo方法，然后线程C执行reader方法。下图就以这种执行时序出现的一种情况来讨论(耐心看完才有收获)。

由于对final域的写禁止重排序到构造方法外，因此1和3不能被重排序。由于一个final域的引用对象的成员域写入不能与随后将这个被构造出来的对象赋给引用变量重排序，因此2和3不能重排序。

2.2.2 对 final 修饰的对象的成员域读操作

JMM可以确保线程C至少能看到写线程A对final引用的对象的成员域的写入，即能看下arrays[0] = 1，而写线程B对数组元素的写入可能看到可能看不到。JMM不保证线程B的写入对线程C可见，线程B和线程C之间存在数据竞争，此时的结果是不可预知的。如果可见的，可使用锁或者volatile。

2.3 关于final重排序的总结

按照final修饰的数据类型分类：

1、基本数据类型

• final域写：禁止final域写与构造方法重排序，即禁止final域写重排序到构造方法之外，从而保证该对象对所有线程可见时，该对象的final域全部已经初始化过。
• final域读：禁止初次读对象的引用与读该对象包含的final域的重排序。

2、引用数据类型

• 额外增加约束：禁止在构造函数对一个final修饰的对象的成员域的写入与随后将这个被构造的对象的引用赋值给引用变量 重排序

三 final 详解

3.1 final 原理

上面我们提到过，写final域会要求编译器在final域写之后，构造函数返回前插入一个StoreStore屏障。读final域的重排序规则会要求编译器在读final域的操作前插入一个LoadLoad屏障。

很有意思的是，如果以X86处理为例，X86不会对写-写重排序，所以StoreStore屏障可以省略。由于不会对有间接依赖性的操作重排序，所以在X86处理器中，读final域需要的LoadLoad屏障也会被省略掉。也就是说，以X86为例的话，对final域的读/写的内存屏障都会被省略！具体是否插入还是得看是什么处理器

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

这里还有一个比较有意思的问题：上面对final域写重排序规则可以确保我们在使用一个对象引用的时候该对象的final域已经在构造函数被初始化过了。但是这里其实是有一个前提条件的，也就是：在构造函数，不能让这个被构造的对象被其他线程可见，也就是说该对象引用不能在构造函数中“溢出”。以下面的例子来说：

public class FinalReferenceEscapeDemo {
    private final int a;
    private FinalReferenceEscapeDemo referenceDemo;

    public FinalReferenceEscapeDemo() {
        a = 1;  //1
        referenceDemo = this; //2
    }

    public void writer() {
        new FinalReferenceEscapeDemo();
    }

    public void reader() {
        if (referenceDemo != null) {  //3
            int temp = referenceDemo.a; //4
        }
    }
}

可能的执行时序如图所示：

假设一个线程A执行writer方法另一个线程执行reader方法。因为构造函数中操作1和2之间没有数据依赖性，1和2可以重排序，先执行了2，这个时候引用对象referenceDemo是个没有完全初始化的对象，而当线程B去读取该对象时就会出错。尽管依然满足了final域写重排序规则：在引用对象对所有线程可见时，其final域已经完全初始化成功。但是，引用对象“this”逸出，该代码依然存在线程安全的问题。

3.3 使用 final 的限制条件和局限性

当声明一个 final 成员时，必须在构造函数退出前设置它的值。

public class MyClass {
  private final int myField = 1;
  public MyClass() {
    ...
  }
}

或者

public class MyClass {
  private final int myField;
  public MyClass() {
    ...
    myField = 1;
    ...
  }
}

将指向对象的成员声明为 final 只能将该引用设为不可变的，而非所指的对象。

下面的方法仍然可以修改该 list。

private final List myList = new ArrayList();
myList.add("Hello");

声明为 final 可以保证如下操作不合法

myList = new ArrayList();
myList = someOtherList;

如果一个对象将会在多个线程中访问并且你并没有将其成员声明为 final，则必须提供其他方式保证线程安全。 " 其他方式 " 可以包括声明成员为 volatile，使用 synchronized 或者显式 Lock 控制所有该成员的访问。

3.4 再思考一个有趣的现象

byte b1=1;
byte b2=3;
byte b3=b1+b2;//当程序执行到这一行的时候会出错，因为b1、b2可以自动转换成int类型的变量，
// 运算时java虚拟机对它进行了转换，结果导致把一个int赋值给byte-----出错

如果对 b1 b2 加上 final 就不会出错

final byte b1=1;
final byte b2=3;
byte b3=b1+b2;//不会出错，相信你看了上面的解释就知道原因了。

1、final变量

final关键字可用于变量声明，一旦该变量被设定，就不可以再改变该变量的值。通常，由final定义的变量为常量。例如，在类中定义PI值，可以使用如下语句：

final double PI=3.14;

在Java中定义全局常量，通常使用public static final修饰，这样的常量只能在定义是被赋值。

public static final double PI_VAULE = 3.14;

规范：被定义为final的常量定义时需要使用大写字母命名，并且中间使用下划线进行连接。

常量示例：

import java.util.Random;

class Test
{
	int i = 0;
}

/**
 * 常量示例
 * 
 * @author pan_junbiao
 *
 */
public class FinalData
{
	static Random rand = new Random();
	private final int VALUE_1 = 9; // 声明一个final常量
	private static final int VALUE_2 = 10; // 声明一个final、static常量
	private final Test test = new Test(); // 声明一个final引用
	private Test test2 = new Test(); // 声明一个不是final的引用
	private final int[] a = { 1, 2, 3, 4, 5, 6 }; // 声明一个定义为final的数组
	private final int i4 = rand.nextInt(20);
	private static final int i5 = rand.nextInt(20);

	public String toString()
	{
		return "i4值：" + i4 + " i5值：" + i5 + " ";
	}

	public static void main(String[] args)
	{
		FinalData data = new FinalData();

		// 报错：不能改变定义为final的常量值
		// data.VALUE_1 = 8;

		// 报错：不能改变定义为final的常量值
		// data.VALUE_2 = 9;

		// 报错：不能将定义为final的引用指向其他引用
		// data.test = new Test();

		// 正确： 可以对指定为final的引用中的成员变量赋值
		data.test.i = 1;

		// 正确： 可以将没有定义为final的引用指向其他引用
		data.test2 = new Test();

		// 报错：不能对定义为final的数组赋值
		// int b[] = { 7, 8, 9 };
		// data.a = b;

		// 但是final的数组中的每一项内容是可以改变的
		for (int i = 0; i < data.a.length; i++)
		{
			data.a[i] = 9;
		}

		System.out.println(data);
		System.out.println("data2");
		System.out.println(new FinalData());
	}
}

执行结果：

从上述执行结果中可以发现i5的值是相同的。

全局常量：

我们知道一个被定义为final的对象引用只能指向唯一一个对象，不可以将它再指向其它对象，但是一个对象的值却是可以改变的，那么为了使一个常量真正做到不可更改，可以将常量声明为static final。

示例：在项目中创建FinalStaticData类，在该类中创建Random类的对象，在主方法中分别输出类中定义的final变量a1与a2。

import static java.lang.System.out;

import java.util.Random;

/**
 * FinalStaticData类
 * 
 * @author pan_junbiao
 *
 */
public class FinalStaticData
{
	private static Random rand = new Random(); // 实例化一个Random类对象
	// 随机产生0~10之间的随机数赋予定义为final的a1
	private final int a1 = rand.nextInt(10);
	// 随机产生0~10之间的随机数赋予定义为static final的a2
	private static final int a2 = rand.nextInt(10);

	public static void main(String[] args)
	{
		FinalStaticData fdata = new FinalStaticData(); // 实例化一个对象
		// 调用定义为final的a1
		out.println("重新实例化对象调用a1的值：" + fdata.a1);
		// 调用定义为static final的a2
		out.println("重新实例化对象调用a2的值：" + fdata.a2);
		// 实例化另外一个对象
		FinalStaticData fdata2 = new FinalStaticData();
		out.println("重新实例化对象调用a1的值：" + fdata2.a1);
		out.println("重新实例化对象调用a2的值：" + fdata2.a2);
	}
}

运行结果：

从本示例运行结果中可以看出，定义为final的常量不是恒定不变的，将随机数赋予定义为final的常量，可以做到每次运行程序时改变a1的值。但是a2与a1不同，由于它被声明为static final形式，所以在内存中为a2开辟了一个恒定不变的区域，当再次实例化一个FinalStaticData对象时，仍然指向a2这块内存区域，所以a2的值保存不变。a2是在装载时被初始化，而不是每次创建新对象时被初始化；而a1会重新实例化对象时被更改。

最后总结一下在程序中final数据可以出现的位置，如下程序。

/**
 * 总结一下在程序中final数据可以出现的位置
 * 
 * @author pan_junbiao
 *
 */
public class FinalDataTest
{
	// final成员变量不可更改
	final int VALUE_ONE = 6;

	// 在声明final成员变量时没有赋值，称为空白final
	final int BLANK_FINALVAULE;

	// 在构造方法中为空白final赋值
	public FinalDataTest()
	{
		BLANK_FINALVAULE = 8;
	}

	// 设置final参数，不可以改变参数x的值
	int doIt(final int x)
	{
		return x + 1;
	}

	// 局部变量定义为final，不可以改变i的值
	void doSomething()
	{
		final int i = 7;
	}
}

2、final方法

首先，我们应该了解定义为final的方法不能被重写。

将方法定义为final类型可以防止任何子类修改该类的定义与实现方式，同时定义为final的方法执行效率要高于非final方法。在修饰权限中曾经提到过private修饰符，如果一个父类的某个方法被设置为private修饰符，子类将无法访问该方法，自然无法覆盖该方法，所以一个定义为private的方法隐式被指定为final类型，这样无须将一个定义为private的方法再定义为final类型。

语法：

private final void test()
{
}

3、final类

定义为final的类不能被继承。

如果希望一个类不允许任何类继承，并且不允许其他人对这个类有任何改动，可以将这个类设置为final形式。

final类的语法如下：

final 类名{}

如果将某个类设置为final形式，则类中的所有方法都被隐式设置为final形式，但是final类中的成员变量可以被定义为final或非final形式。

示例：在项目中创建FinalClass类，在类中定义doit()方法和变量a，实现在主方法中操作变量a自增。

/**
 * 定义final类
 * 
 * @author pan_junbiao
 *
 */
final class FinalClass
{
	int a = 3;

	void doit()
	{
	}

	public static void main(String args[])
	{
		FinalClass f = new FinalClass();
		f.a++;
		System.out.println(f.a); // 结果：4
	}
}

4、总结

下面总结了一些使用final关键字的好处：

（1）final关键字提高了性能。JVM和Java应用都会缓存final变量。

（2）final变量可以安全的在多线程环境下进行共享，而不需要额外的同步开销。

（3）使用final关键字，JVM会对方法、变量及类进行优化。

不可变类：

创建不可变类要使用final关键字。不可变类是指它的对象一旦被创建了就不能被更改了。String是不可变类的代表。不可变类有很多好处，譬如它们的对象是只读的，可以在多线程环境下安全的共享，不用额外的同步开销等等。

关于final的重要知识点：

（1）final关键字可以用于成员变量、本地变量、方法以及类。

（2）final成员变量必须在声明的时候初始化或者在构造器中初始化，否则就会报编译错误。

（3） 你不能够对final变量再次赋值。

（4）本地变量必须在声明时赋值。

（5）在匿名类中所有变量都必须是final变量。

（6）final方法不能被重写。

（7）final类不能被继承。

（8）final关键字不同于finally关键字，后者用于异常处理。

（9）final关键字容易与finalize()方法搞混，后者是在Object类中定义的方法，是在垃圾回收之前被JVM调用的方法。

（10）接口中声明的所有变量本身是final的。

（11）final和abstract这两个关键字是反相关的，final类就不可能是abstract的。

（12）final方法在编译阶段绑定，称为静态绑定(static binding)。

（13）没有在声明时初始化final变量的称为空白final变量(blank final variable)，它们必须在构造器中初始化，或者调用this()初始化。不这么做的话，编译器会报错“final变量(变量名)需要进行初始化”。

（14）将类、方法、变量声明为final能够提高性能，这样JVM就有机会进行估计，然后优化。

（15）按照Java代码惯例，final变量就是常量，而且通常常量名要大写。