java关键字final解析

目录：

• 被final修饰的类、属性和方法
• 什么是变量的不变性
• 被final修饰的字段并不是内容不可以改变，而是引用指向的内存地址不变
• final具有线程安全性

一、被final修饰的类、属性和方法

final类：被关键字final修饰的类不能被继承，这个类的设计细节不允许被改变（方法不能被重写），不能扩展。final不能修饰抽象类和接口，因为抽象类生成对象必须重写抽象方法，接口必须被其他类实现，也即是必须重写方法。
final方法： 不能被子类重写。
final变量： 实例变量、静态变量、局部变量。

二、什么是变量的不变性

  变量只能有一个值，无论是类加载还是实例化，变量的值不变。如变量param初始化为2，则无论创建几次对象，其值都不变，这才是真正的变量不变性。
（1）实例final变量： 会被破坏不变性，其初始值由静态变量决定。

public class StaticFinal {

    static int variable = 2;
    final int instanceVariable = variable + 2;

    public static void destory(int param) {
        variable = param + variable;
    }

    public int getParam() {
        return instanceVariable;
    }
}

package keyword;

public class Test {

    public static void main(String[] args) {
        StaticFinal s1 = new StaticFinal();
        System.out.println(s1.getParam());
        // 破坏
        StaticFinal.destory(2);
        StaticFinal s2 = new StaticFinal();
        System.out.println(s2.getParam());
    }
}

运行结果：

4
6

（2）静态fianl变量： static final ：可以称之为常量，具有真正的不变性，不被任何支配。
  静态final变量为什么不和实例final变量一样被静态变量支配呢？
  因为被static修饰的字段会跟随类的加载而加载，且只加载一次，也只被初始化一次。final具有不可变性，所以当被static final修饰的字段在类加载过程中进行初始化赋值之后，就不能在被赋值。
public static final 可以称之为全局常量。
（3）局部fianl变量

public class LocalFinal {

    public static void main(String[] args) {
        System.out.println(localMethod(2));
        System.out.println(localMethod(3));
    }

    public static int localMethod(int param) {
        final int localParam = param + 2;
        // localParam = 3;  错误
        return localParam;
    }
}

运行结果：

4
5

  为什么调用localMethod方法时，localParam值会变？而在本方法不能修改其值？
  这很好解释。localParam所属于他所在方法的变量，当JVM第一次调用localMethod方法时，会将它存放在stack区，当执行完成后弹栈，再次调用localMethod方法，入栈、出栈，看起来2次调用的都是同一个方法，但对于JVM来说，这是两个不同的方法，也即是说，localParam在两个方法被调用，是2个不同的局部变量，即使使用递归也是如此。我们也可以在创建实例中找到相应解释，每次使用new Object（）创建新的实例，这些对象的内容相同，但所在存储空间不同，我们不能说他们是同一个对象。

三、被final修饰的字段并不是内容不可以改变，而是引用指向的内存地址不变

package keyword.finalverification;

/**
 * 证明被final修饰的字段，是地址引用具有不变性，而不是指向的对象具有不变性
 */
public class RealSituation {

    final int[] array1 = {2,5,3};
    int[] array2 = {23,21,20};

    public void destroy() {
        // 编译警告，被final修饰的引用具有不变性。
        //array1 = array2;
        // 引用指向的对象具有可变性
        array1[0] = 22;
    }

    public static void main(String[] args) {
        RealSituation real = new RealSituation();
        System.out.println("数组未被改变之前：");
        for (int i = 0; i < real.array1.length; i++) {
            System.out.print(real.array1[i] + " ");
        }

        real.destroy();

        System.out.println("");
        System.out.println("数组被破坏：");
        for (int i = 0; i < real.array1.length; i++) {
            System.out.print(real.array1[i] + " ");

        }
    }
}

运行结果：

数组未被改变之前：
2 5 3 
数组被破坏：
22 5 3 

  可以看到array1不能被array2重新赋值，但array1指向的数组内容可以改变，直接证明了被fianl修饰的变量，真正具有不变性的是对象引用，而不是对象实体。

四、final具有线程安全性

  final的不可变性，可以防止线程破坏，可读不可写，线程安全。