首页>>后端>>java->深入理解Java中的final关键字及优势分析

深入理解Java中的final关键字及优势分析

时间:2023-11-29 本站 点击:40

前言

对于Java中的 final 关键字,我们首先可以从字面意思上去理解,百度翻译显示如下:

final 英文意思表示是最后的,不可更改的。那么对应在 Java 中也是表达这样的意思,可以用 final 关键字修饰变量、方法和类。不管是用来修饰什么,其本意都是指 “它是无法更改的”,这是我们需要牢记的,为什么要无法更改?无非就是设计所需或者能提高效率,牢记 final 的不可变的设计理念后再来了解 final 关键字的用法,便会顺其自然了。

正文

修饰变量

首先我们看一个例子

publicstaticvoidmain(String[]args){Stringa="hello1";finalStringb="hello";Stringd="hello";Stringc=b+1;Stringe=d+1;System.out.println(a==c);System.out.println(a==e);}}

输出结果:

truefalseProcessfinishedwithexitcode0

为什么会得到这种结果呢?我们来分析一下:

变量 a 指的是字符串常量池中的hello1

变量 b 是 final 修饰的,变量 b 的值在编译时候就已经确定了它的确定值,换句话说就是提前知道了变量 b 的内容到底是个啥,相当于一个编译期常量;

变量 c 是 b + 1 得到的,由于 b 是一个常量,所以在使用 b 的时候直接相当于使用 b 的原始值hello来进行计算,所以 c 生成的也是一个常量,a 是常量,c 也是常量,都是 hello1 ,而 Java 中常量池中只生成唯一的一个 hello1 字符串,所以 a 和 c 是相等的;

d 是指向常量池中 hello,但由于 d 不是 final 修饰,也就是说在使用 d 的时候不会提前知道 d 的值是什么,所以在计算 e 的时候就不一样了,e的话由于使用的是 d 的引用计算,变量d的访问却需要在运行时通过链接来进行,所以这种计算会在堆上生成 hello1 ,所以最终 e 指向的是堆上的 hello1 , 所以 a 和 e 不相等。

结论:a、c是常量池的hello1,e是堆上的hello1

final关键字修饰的变量称为常量,常量的意思是不可更改。变量为基本数据类型,不可更改很容易理解

可以看到 基本变量使用final修饰了就不可变了

那么对于引用类型呢?不可能改的是其引用地址,还是对象的内容?

我们首先构造一个实体类:Student

publicclassStudent{privateStringname;publicStudent(Stringname){this.name=name;}publicStringgetName(){returnname;}publicvoidsetName(Stringname){this.name=name;}}

接着根据创建一个 Person 对象:

可以看到,首先通过 final 关键字修饰一个对象 p,然后接着将 p 对象指向另一个新的对象,发现报错,也就是说final修饰的引用类型是不能改变其引用地址的。

接着我们改动 p 对象的 name 属性:

发现程序没有报错,输出的结果也是小军

结论:被 final 修饰的变量不可更改其引用地址,但是可以更改其内部属性。

修饰方法

final 关键字修饰的方法不可被覆盖。

使用 final 方法原因有两个:

第一个原因是把方法锁定,以防止任何继承类修改它的含义,这是出于设计的考虑:想要确保在继承中使方法的行为保持不变,并且不会被覆盖。

第二个原因是效率,在 Java 的早期实现中,如果将一个方法声明为 final,就是同意编译器将针对该方法的所有调用都转为内嵌调用,内嵌调用能够提高方法调用效率,但是如果方法很大,内嵌调用不会提高性能。而在目前的Java版本中(JDK1.5以后),虚拟机可以自动进行优化了,而不需要使用 final 方法。

所以final 关键字只有明确禁止覆盖方法时,才使用其修饰方法。

PS:《Java编程思想》中指出类中所有的 private 方法都隐式指定为 final 的,所以对于 private 方法,我们显式的声明 final 并没有什么效果。但是我们创建一个父类,并在父类中声明一个 private 方法,其子类中是能够重写其父类的private 方法的,这是为什么呢?

父类:Teacher.class

publicclassTeacher{privatevoidstudy(){System.out.println("teacher");}}

子类:Student.class

publicclassStudentextendsTeacher{privatevoidstudy(){System.out.println("student");}}

其实仔细看看,这种写法是方法的覆盖吗?我们通过多态的形式并不能调用到父类的 say() 方法:

并且,如果我们在子类的 say() 方法中,添加 @Override 注解也是会报错的。

所以这种形式并不算方法的覆盖。

final修饰的方法不能被子类覆盖,但是可以被子类使用和重载。

父类:A.class

publicclassA{publicinta=0;publicintgetA(){returna;}publicfinalvoidsetA(inta){System.out.println("beforeset:A="+this.a);//必须加this,不加就会使用传入的athis.a=a;System.out.println("afterset:A="+a);}}

子类:B.class

publicclassBextendsA{publicB(){super.setA(2);//正确,可以使用父类的final方法setA();//调用本类自己方法}publicfinalvoidsetA(){System.out.println("beforeset:supera="+a);super.a++;System.out.println("afterset:supera="+a);}}

测试一下:

publicstaticvoidmain(String[]args){Bb=newB();}

输出结果:

beforeset:A=0afterset:A=2beforeset:supera=2afterset:supera=3Processfinishedwithexitcode0

结论:final 关键字修饰的方法不可被覆盖,但是可以被子类使用和重载。

修饰类

final 修饰类表示该类不可被继承。

也就是说不希望某个类有子类的时候,用final 关键字来修饰。并且由于是用 final 修饰的类,其类中所有的方法也被隐式的指为 final 方法。

在 JDK 中有个最明显的类 String ,就是用 final 修饰的,将 String 类用 final 修饰很重要的一个原因是常量池。

彩蛋

面试题:说说final、finally、finalize三者的区别?

finally

finally关键字一般在异常中使用,配合try catch 一起使用,表示不管是否发生异常,finally中的内容一定会被执行。

1、try中有return时执行顺序

return语句并不是函数的最终出口,如果有finally语句,这在return之后还会执行finally(return的值会暂存在栈里面,等待finally执行后再返回)

2、return和异常获取语句的位置

情况一(try中有return,finally中没有return)

publicclassTryTest{publicstaticvoidmain(String[]args){System.out.println(test());}privatestaticinttest(){intnum=10;try{System.out.println("try");returnnum+=80;}catch(Exceptione){System.out.println("error");}finally{if(num>20){System.out.println("num>20:"+num);}System.out.println("finally");}returnnum;}}

输出结果:

truefalseProcessfinishedwithexitcode00

分析:“return num += 80”被拆分成了“num = num+80”和“return num”两个语句,线执行try中的“num =num+80”语句,将其保存起来,在try中的”return num“执行前,先将finally中的语句执行完,而后再将90返回。

情况二(try和finally中均有return)

truefalseProcessfinishedwithexitcode01

输出结果:

truefalseProcessfinishedwithexitcode02

分析:try中的return被”覆盖“掉了,不再执行。

情况三(finally中没return,但是finally中改变返回值num)

truefalseProcessfinishedwithexitcode03

输出结果:

truefalseProcessfinishedwithexitcode04

分析:虽然在finally中改变了返回值num,但因为finally中没有return该num的值,因此在执行完finally中的语句后,test()函数会得到try中返回的num的值,而try中的num的值依然是程序进入finally代码块前保留下来的值,因此得到的返回值为10。并且函数最后面的return语句不会执行。

情况四:(将num的值包装在Num类中)

truefalseProcessfinishedwithexitcode05

输出结果:

truefalseProcessfinishedwithexitcode06

分析:如果return的数据是引用数据类型,而在finally中对该引用数据类型的属性值的改变起作用,try中的return语句返回的就是在finally中改变后的该属性的值。

finalize

finalize()是Object类的方法,java技术运行使用finalize()方法在垃圾收集器将对象从内存中清除出去之前做必要的清理工作。这个方法是在垃圾收集器在确定这个对象没有引用指向它时调用。finalize()方法是在垃圾收集器删除对象之前对这个对象调用的子类覆盖finalize()方法以整理系统资源或执行其他清理操作。

truefalseProcessfinishedwithexitcode07

总结

使用final关键字的好处:

final方法比非final快一些。

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

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

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

作者:初念初恋


本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如若转载,请注明出处:/java/40.html