Java并发编程—final关键字

基本使用

修饰类

当某个类被修饰为 final，就表明此类不能被继承。

注意：final 中所有方法都隐式为 final，所以给 final 类中任何方法前加 final 都是没意义的

补充：如果想拓展一个 final 类怎么办？比如我们想写个 MyString 类，可以复用 String 类中的所有方法，同时添加一个 toMyString 方法！应该如何做？

设计模式中最重要的两种关系，一种是继承/实现；另外一种是组合关系

class MyString{

    private String innerString;

    // ...init & other methods

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

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

修饰方法

非常规主要两个：

1、private 方法就是隐式的 final

2、final 方法是可以被重载的

修饰参数

Java 允许在参数列表中以声明的方式将参数指明为 final，这意味着无法在方法中修改参数引用所执行的对象。

这个特征主要用于向匿名内部类传送数据

修饰变量

1、 不可变性的体现

final int[] arr = {1, 2, 3};  
arr[0] = 4; // 可以修改数组元素  
arr = new int[]{5, 6, 7}; // 错误：不能将final引用指向另一个数组

2、所有的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的值在被初始化后无法被更改。

3、Java允许生成空白final，也就是说被声明为final但又没有给出定值的字段,但是必须在该字段被使用之前被赋值

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

final重排序

todo 待补充

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

• 基本数据类型:
  • final域写：禁止final域写与构造方法重排序，即禁止final域写重排序到构造方法之外，从而保证该对象对所有线程可见时，该对象的final域全部已经初始化过。
  • final域读：禁止初次读对象的引用与读该对象包含的final域的重排序。
• 引用数据类型：
  • 额外增加约束：禁止在构造函数对一个final修饰的对象的成员域的写入与随后将这个被构造的对象的引用赋值给引用变量 重排序