Java基础深度总结：关键字-final

不论你在什么时候开始，重要的是开始之后就不要停止;不论你在什么时候结束，重要的是结束之后就不要悔恨。

1.final数据

final修饰基本类型数据和引用类型数据

• final修饰基本数据类型的变量，则其数值一旦在初始化之后，便不能更改。
• final修饰引用数据类型的变量，则在对其初始化之后，便不能再指向另一个对象，但对象本身是可以修改的。

final int x = 1;
// x = 2;  //错误 cannot assign value to final variable 'x'
final A y = new A();
y.a = 1;
//y = new A(); //错误 cannot assign value to final variable 'y'

final修饰成员变量和局部变量

• final修饰成员变量时，必须在定义时或构造器中进行初始化赋值。
• final修饰局部变量时，只需要保证在使用前被初始化赋值即可。

final变量与普通变量的区别

• final变量一旦初始化便不可修改，普通变量可以。
• 被final修饰的变量可以被优化，前提是编译时就已经能够确定。

public class FinalDataTest {

    public static void main(String[] args) {
        String a = "helloworld1";
        final String b = "helloworld";
        String c = b + 1;
        System.out.println(a == c); //true

        final String b2 = getHello();
        String c2 = b2 + 1;
        System.out.println(a == c2); //false
    }

    public static String getHello() {
        return "helloworld";
    }
}

解析：

• 被final修饰的变量，若在编译时就已经确定，则编译器就会把它当做常量来使用，也就是说在用到该finall变量的地方，相当于直接访问这个常量，所以 String c = b + 1; 相当于 String c = “helloworld” + 1; 由于是字面量字符串常量之间的拼接，所以又被编译器优化成 String c = “helloworld1”;
• 执行String a = “helloworld1”;后String Pool中已经存在该字符串，所以c和a一样，同时指向String Pool中的 "helloworld1"字符串对象。
• final String b2 = getHello();在编译时不能确定b2的值，因此不能被编译器优化。

2.final方法

• 声明方法不能被子类重写，防止任何继承类修改它的意义和实现。
• private 方法隐式地被指定为 final，如果在子类中定义的方法和基类中的一个 private 方法签名相同，此时子类的方法不是重写基类方法，而是在子类中定义了一个新的方法。
• 高效，编译器在遇到调用final方法时候会转入内嵌机制，大大提高执行效率。

3.final修饰参数

final修饰参数和final数据规则基本相同:

• final修饰基本数据类型的变量，则其数值一旦在初始化之后，便不能更改。
• final修饰引用数据类型的变量，则在对其初始化之后，便不能再指向另一个对象，但对象本身是可以修改的。

需要注意的是：

• 被final修饰的参数不可被赋值。（实参传进来给形参，就相当于初始化完成）
• final修饰参数可以防止在方法里面不小心重新赋值，造成一些不必要的麻烦。

4.final类

被fianl修饰的类不可被继承，因此final类的成员方法没有机会被覆盖，默认都是final的。在设计类时候，如果这个类不需要有子类，类的实现细节不允许改变，并且确信这个类不会再被扩展，那么就设计为final类。

5.final的内存语义

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

final内存语义的实现：

• 在 final 域的写之后，构造函数 return 之前，插入一个 StoreStore 屏障。
• 在读 final 域之前插入一个 LoadLoad 屏障。