Java中final关键字

最新推荐文章于 2023-05-15 00:01:45 发布

PX-C

最新推荐文章于 2023-05-15 00:01:45 发布

阅读量181

点赞数

分类专栏： Java开发-----Java基础

本文链接：https://blog.csdn.net/Wchenchen0/article/details/107951958

版权

Java开发-----Java基础专栏收录该内容

20 篇文章 0 订阅

订阅专栏

文章目录

1. final声明基本数据结构类型变量
2. final声明方法参数或者局部变量
3.final声明方法
4.final声明类
5. final声明引用
6. final关键字的好处
7. final的相关知识点
8. 深入理解Java内存模式-------->final

Java中的final关键字非常重要，它可以应用于类、方法以及变量,将变量，方法和类声明为final代表了什么？使用final的好处是什么？。final经常和static一起使用来声明常量，final是如何改善应用性能的。

final声明变量可以保证在构造器函数返回之前，这个变量的值已经被设置

1. final声明基本数据结构类型变量

凡是对成员变量或者本地变量(在方法中的或者代码块中的变量称为本地变量)声明为final的都叫作final变量。final变量经常和static关键字一起使用，作为常量。下面是final变量的例子：

该变量只能被赋值一次，赋值后值不再改变。

public static final String LOAN = "loan";
LOAN = newString("loan")//invalid compilation error final变量是只读的

2. final声明方法参数或者局部变量

用来保证该参数或者局部变量在这个函数内部不允许被修改。

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

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

3.final声明方法

final也可以声明方法。方法前面加上final关键字，代表这个方法不可以被子类的方法重写。如果你认为一个方法的功能已经足够完整了，子类中不需要改变的话，你可以声明此方法为final。final方法比非final方法要快，因为在编译的时候已经静态绑定了，不需要在运行时再动态绑定。下面是final方法的例子：

class PersonalLoan{
    public final String getName(){
        return"personal loan";
    }
}


class CheapPersonalLoan extends PersonalLoan{

    @Override
    publicfinal String getName(){
        return"cheap personal loan";//compilation error: overridden method is 										//final 不可以呗重写

    }

}

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

4.final声明类

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

不可变类有很多好处，譬如它们的对象是只读的，可以在多线程环境下安全的共享，不用额外的同步开销等等。

5. final声明引用

final只保证这个引用类型变量所引用的地址不会改变，即一直引用同一个对象，但是这个对象的内容(对象的非final成员变量的值可以改变)完全可以发生改变（比如final int[] intArray;，intArray不允许再引用其他对象，但是intArray内的int值却可以被修改）。

对于集合对象声明为final指的是引用不能被更改，但是你可以向其中增加，删除或者改变内容。譬如：

private final List Loans = new ArrayList();

list.add(“home loan”);  //valid

list.add("personal loan");//valid

loans = newVector();  //not valid

6. final关键字的好处

final关键字提高了性能。JVM和Java应用都会缓存final变量。
final变量可以安全的在多线程环境下进行共享，而不需要额外的同步开销。
使用final关键字，JVM会对方法、变量及类进行优化。
将类、方法、变量声明为final能够提高性能，这样JVM就有机会进行分析优化。比如被final修饰的方法，JVM会尝试为之寻求内联，这对于提升Java的效率是非常重要的。因此，假如能确定方法不会被继承，那么尽量将方法定义为final的。
被final修饰的常量，在编译阶段会存入调用类的常量池中（比如子类继承父类，那么父类的final常量会被复制到子类常量池中），当子类使用这个常量时，不会引起父类的初始化。
final可以用于不可变对象的创建，而不可变对象一定是线程安全的。

7. final的相关知识点

final关键字可以用于成员变量、本地变量、方法以及类。
final成员变量必须在声明的时候初始化或者在构造器中初始化，否则就会报编译错误。
你不能够对final变量再次赋值。
本地变量必须在声明时赋值。
在匿名类中所有变量都必须是final变量。
final方法不能被重写。
final类不能被继承。
final关键字不同于finally关键字，后者用于异常处理。
final关键字容易与finalize()方法搞混，后者是在Object类中定义的方法，是在垃圾回收之前被JVM调用的方法。
接口中声明的所有变量本身是final的。
final和abstract这两个关键字是反相关的，final类就不可能是abstract的。
final方法在编译阶段绑定，称为静态绑定(static binding)。
没有在声明时初始化final变量的称为空白final变量(blank final variable)，它们必须在构造器中初始化，或者调用this()初始化。不这么做的话，编译器会报错“final变量(变量名)需要进行初始化”。
将类、方法、变量声明为final能够提高性能，这样JVM就有机会进行估计，然后优化。
按照Java代码惯例，final变量就是常量，而且通常常量名要大写：

8. 深入理解Java内存模式-------->final

学习
对final域的读和写更像是普通的变量访问。对于final域，编译器和处理器要遵守两个重排序规则：

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

下面，我们通过一些示例性的代码来分别说明这两个规则：

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 ()方法。下面我们通过这两个线程的交互来说明这两个规则。

写final域的重排序规则

写final域的重排序规则禁止把final域的写重排序到构造函数之外。这个规则的实现包含下面2个方面：

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

现在让我们分析writer ()方法。writer ()方法只包含一行代码：finalExample = new FinalExample ()。这行代码包含两个步骤：

构造一个FinalExample类型的对象；
把这个对象的引用赋值给引用变量obj。

假设线程B读对象引用与读对象的成员域之间没有重排序（马上会说明为什么需要这个假设），下图是一种可能的执行时序：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ZgcloWQv-1597199639987)(http://cdn1.infoqstatic.com/statics_s2_20161122-0331/resource/articles/java-memory-model-6/zh/resources/111.jpg)]

在上图中，写普通域的操作被编译器重排序到了构造函数之外，读线程B错误的读取了普通变量i初始化之前的值。而写final域的操作，被写final域的重排序规则“限定”在了构造函数之内，读线程B正确的读取了final变量初始化之后的值。

写final域的重排序规则可以确保：在对象引用为任意线程可见之前，对象的final域已经被正确初始化过了，而普通域不具有这个保障。以上图为例，在读线程B“看到”对象引用obj时，很可能obj对象还没有构造完成（对普通域i的写操作被重排序到构造函数外，此时初始值2还没有写入普通域i）。

如果final域是引用类型

上面我们看到的final域是基础数据类型，下面让我们看看如果final域是引用类型，将会有什么效果？

请看下列示例代码：

public class FinalReferenceExample {



final int[] intArray;                     //final是引用类型



static FinalReferenceExample obj;



 



public FinalReferenceExample () {        //构造函数



    intArray = new int[1];              //1



    intArray[0] = 1;                   //2



}



 



public static void writerOne () {          //写线程A执行



    obj = new FinalReferenceExample ();  //3



}



 



public static void writerTwo () {          //写线程B执行



    obj.intArray[0] = 2;                 //4



}



 



public static void reader () {              //读线程C执行



    if (obj != null) {                    //5



        int temp1 = obj.intArray[0];       //6



    }



}



}

这里final域为一个引用类型，它引用一个int型的数组对象。对于引用类型，写final域的重排序规则对编译器和处理器增加了如下约束：

在构造函数内对一个final引用的对象的成员域的写入，与随后在构造函数外把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。

对上面的示例程序，我们假设首先线程A执行writerOne()方法，执行完后线程B执行writerTwo()方法，执行完后线程C执行reader ()方法。下面是一种可能的线程执行时序：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-cQ744OD1-1597199639989)(http://cdn1.infoqstatic.com/statics_s2_20161122-0331/resource/articles/java-memory-model-6/zh/resources/33.png)]

在上图中，1是对final域的写入，2是对这个final域引用的对象的成员域的写入，3是把被构造的对象的引用赋值给某个引用变量。这里除了前面提到的1不能和3重排序外，2和3也不能重排序。

JMM可以确保读线程C至少能看到写线程A在构造函数中对final引用对象的成员域的写入。即C至少能看到数组下标0的值为1。而写线程B对数组元素的写入，读线程C可能看的到，也可能看不到。JMM不保证线程B的写入对读线程C可见，因为写线程B和读线程C之间存在数据竞争，此时的执行结果不可预知。

如果想要确保读线程C看到写线程B对数组元素的写入，写线程B和读线程C之间需要使用同步原语（lock或volatile）来确保内存可见性。

为什么final引用不能从构造函数内“逸出”

前面我们提到过，写final域的重排序规则可以确保：在引用变量为任意线程可见之前，该引用变量指向的对象的final域已经在构造函数中被正确初始化过了。其实要得到这个效果，还需要一个保证：在构造函数内部，不能让这个被构造对象的引用为其他线程可见，也就是对象引用不能在构造函数中“逸出”。为了说明问题，让我们来看下面示例代码：

public class FinalReferenceEscapeExample {



final int i;



static FinalReferenceEscapeExample obj;



 



public FinalReferenceEscapeExample () {



    i = 1;                              //1写final域



    obj = this;                          //2 this引用在此“逸出”



}



 



public static void writer() {



    new FinalReferenceEscapeExample ();



}



 



public static void reader {



    if (obj != null) {                     //3



        int temp = obj.i;                 //4



    }



}



}

假设一个线程A执行writer()方法，另一个线程B执行reader()方法。这里的操作2使得对象还未完成构造前就为线程B可见。即使这里的操作2是构造函数的最后一步，且即使在程序中操作2排在操作1后面，执行read()方法的线程仍然可能无法看到final域被初始化后的值，因为这里的操作1和操作2之间可能被重排序。实际的执行时序可能如下图所示：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-2sGBsLXm-1597199639991)(http://cdn1.infoqstatic.com/statics_s2_20161122-0331/resource/articles/java-memory-model-6/zh/resources/44.png)]

从上图我们可以看出：在构造函数返回前，被构造对象的引用不能为其他线程可见，因为此时的final域可能还没有被初始化。在构造函数返回后，任意线程都将保证能看到final域正确初始化之后的值。

final语义在处理器中的实现

现在我们以x86处理器为例，说明final语义在处理器中的具体实现。

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

由于x86处理器不会对写-写操作做重排序，所以在x86处理器中，写final域需要的StoreStore障屏会被省略掉。同样，由于x86处理器不会对存在间接依赖关系的操作做重排序，所以在x86处理器中，读final域需要的LoadLoad屏障也会被省略掉。也就是说在x86处理器中，final域的读/写不会插入任何内存屏障！

JSR-133为什么要增强final的语义

在旧的Java内存模型中，最严重的一个缺陷就是线程可能看到final域的值会改变。比如，一个线程当前看到一个整形final域的值为0（还未初始化之前的默认值），过一段时间之后这个线程再去读这个final域的值时，却发现值变为了1（被某个线程初始化之后的值）。最常见的例子就是在旧的Java内存模型中，String的值可能会改变（参考文献2中有一个具体的例子，感兴趣的读者可以自行参考，这里就不赘述了）。

于x86处理器不会对写-写操作做重排序，所以在x86处理器中，写final域需要的StoreStore障屏会被省略掉。同样，由于x86处理器不会对存在间接依赖关系的操作做重排序，所以在x86处理器中，读final域需要的LoadLoad屏障也会被省略掉。也就是说在x86处理器中，final域的读/写不会插入任何内存屏障！

JSR-133为什么要增强final的语义

为了修补这个漏洞，JSR-133专家组增强了final的语义。通过为final域增加写和读重排序规则，可以为java程序员提供初始化安全保证：只要对象是正确构造的（被构造对象的引用在构造函数中没有“逸出”），那么不需要使用同步（指lock和volatile的使用），就可以保证任意线程都能看到这个final域在构造函数中被初始化之后的值。

PX-C

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
Java中final关键字

文章目录1. final声明基本数据结构类型变量2. final声明方法参数或者局部变量3.final声明方法4.final声明类5. final声明引用6. final关键字的好处7. final的相关知识点8. 深入理解Java内存模式-------->final写final域的重排序规则如果final域是引用类型为什么final引用不能从构造函数内“逸出”final语义在处理器中的实现JSR-133为什么要增强final的语义JSR-133为什么要增强final的语义Java中的final关
复制链接

扫一扫