程序员你真的理解final关键字吗?

x33g5p2x  于2022-01-04 转载在 其他  
字(5.6k)|赞(0)|评价(0)|浏览(373)

前言

提到final关键字,想必大家都不陌生,可是程序员你真的理解final吗?就比如网上流传的”方法中不需要改变作为参数的对象变量时,使用final进行声明,可以防止你无意的修改而影响到调用方法外的变量“ 针对这句话你怎么看?反正博主不认同,这句话显然太过于决定,至于原因后续文章将讲到…

在使用匿名内部类的时候会经常用到final关键字。而且在Java中String类就是一个final类,从本篇文章开始,咋们一起来揭开final的神秘面纱…

1、修饰类

final修饰一个类时,表明这个类不能被继承。

  1. package FinalDemo;
  2. final class Father{
  3. }
  4. class Son extends Father{ //编译报错,不能继承final修饰的类
  5. }

2、修饰方法

final修饰方法,方法不可以重写,但是可以被子类访问 【前提:方法不是 private 类型】。

  1. package FinalDemo;
  2. class Fu{
  3. public final void speak(){
  4. System.out.println("粑粑:不,你不想拉粑粑");
  5. }
  6. }
  7. class Zi extends Fu{
  8. //直接编译失败,被final修饰的方法不能被重写
  9. // public void speak(){
  10. // System.out.println("熊孩子:粑粑,我想拉粑粑");
  11. // }
  12. }
  13. public class EmbellishMethod {
  14. public static void main(String[] args) {
  15. Zi z =new Zi();
  16. z.speak(); //访问final修饰的方法
  17. }
  18. }
  19. 运行结果: 粑粑:不,你不想拉粑粑

3、修饰变量

final用得最多的时候就是修饰变量

如果被final修饰的是基本数据类型的变量,则其数值一旦在初始化之后便不能更改;如果是引用类型的变量,则在对其初始化之后便不能再让其指向另一个对象。

  1. package FinalDemo;
  2. public class EmbellishVariable {
  3. public final int a=1;
  4. public void method(){
  5. // final修饰基本数据类型的变量,其数值一旦在初始化之后便不能更改
  6. a=2;
  7. // final修饰引用类型的变量,其初始化之后便不能再让其指向另一个对象
  8. final String str=new String();
  9. str=new String();
  10. }
  11. }

以上是final关键字的基本用法,很多同学都看的没有激情,好的,从下面开始我们慢慢来深入final关键字…

4、final变量修饰变量(成员变量、局部变量)

首先,变量分为成员变量和局部变量

4、1 final修饰成员变量:

1、成员变量必须在定义时或者构造器中进行初始化赋值

  1. public class FinalAndVariable {
  2. public int t; //编译成功
  3. public final int b; //编译失败
  4. public final int c = 1; //编译成功
  5. }

如果在定义成员变量的时候不初始化行不行呢,答案是可以,对博主没有写错是可以的,前提是在构造方法中将成员变量b进行初始化,代码如下:

  1. public class FinalAndVariable {
  2. public int t;
  3. public final int b; //编译成功
  4. public final int c = 1; //编译成功
  5. public FinalAndVariable() { //构造方法
  6. b=2; //在构造方法中将成员变量b进行初始化
  7. }
  8. }

2、final变量一旦被初始化赋值之后,就不能再被赋值了。【注意是成员变量】

  1. package FinalDemo;
  2. //如果被final修饰的是基本数据类型的变量,则其数值一旦在初始化之后便不能更改;
  3. // 如果是引用类型的变量,则在对其初始化之后便不能再让其指向另一个对象。
  4. public class EmbellishVariable {
  5. public final int a=1;
  6. public void method(){
  7. // final修饰基本数据类型的变量,其数值一旦在初始化之后便不能更改
  8. a=2; //编译失败
  9. // final修饰引用类型的变量,其初始化之后便不能再让其指向另一个对象
  10. final String str=new String();
  11. str=new String();//编译失败
  12. }
  13. }
4、2 final修饰局部变量:

1、只需要保证在使用之前被初始化赋值即可

5、final变量和普通变量的区别

为了加深各位对final变量和普通变量之间的区别,先来做一道程序:

  1. public class FinalAndVariableDifference {
  2. public static void main(String[] args) {
  3. String a = "helloWord1";
  4. final String b = "helloWord";
  5. String F = "helloWord";
  6. String c = b + 1;
  7. String e = F + 1;
  8. System.out.println((a == c));
  9. System.out.println((a == e));
  10. }
  11. }

猜想一下上面程序运行的结果…估计很多小白童鞋要GG,运行结果如下:

  1. true
  2. false

大家可以先想一下这道题的输出结果,Why?显然这里就体现了final变量和普通变量的区别了!

当final变量修饰基本数据类型以及String类型时,编译期间能知道它的确切值时,编译器会把它当做编译期常量使用。也就是说在用到该final变量的地方,相当于直接访问的这个常量,不需要在运行时确定。有C语言基础的童鞋应该都知道这种骚操作类似C语言的宏替换。

分析上面代码:由于变量b被final修饰,因此会被当做编译器常量,所以在使用到b的地方会直接将变量b 替换为它的值(这种情况我们成为编译器的优化)。而对于变量F的访问却需要在运行时才能连接确定,所以返回false

注意:只有在编译期间能确切知道final变量值的情况下,编译器才会进行这样的优化,那是不是只要是被final修饰的变量就会进行优化呢?当然不是!比如下面的这段代码就不会进行优化:
final可以在编译(类加载)时初始化,也可以在运行时初始化,初始化后不能被改变。下面这个程序便是在运行时初始化的典型事例…

  1. public class FinalAndVariableDifference {
  2. public static void main(String[] args) {
  3. String a = "helloWord2";
  4. final String b = getHello(); //尽管是final修饰,但不会进行优化,因为它要运行时初始化才被确定
  5. String c = b + 2;
  6. System.out.println((a == c));
  7. }
  8. public static String getHello() {
  9. return "helloWord";
  10. }
  11. }
  12. 运行结果:false

被final修饰的变量不一定会进行优化,优化的前提是编译时就已经能够确定!

除此之外,还必须要清楚的一点是:被final修饰的引用变量一旦初始化赋值之后指向的对象不可变但该对象的内容可变

怎么理解呢?来看一个程序:

  1. class AA{
  2. int i=1;
  3. }
  4. public class EmbellishQuote {
  5. public static void main(String[] args) {
  6. final AA a = new AA(); //final修饰引用变量
  7. a=new AA(); //编译失败,说明被final修饰的引用变量一旦初始化赋值之后指向的对象不可变
  8. System.out.println( ++a.i ); //输出值为2,说明内容可变
  9. }
  10. }
  11. //运行结果: 2

6、final与static的藕断丝连

到这里,是否对final重新认识了?当然final的使用始终离不开static字眼,二者可谓藕断丝连,常常繁见,那么一起来看看下面这个程序吧。

  1. package Demo;
  2. class FinalDemo {
  3. public final double i = Math.random();
  4. public static double t = Math.random();
  5. }
  6. public class DemoDemo {
  7. public static void main(String[] args) {
  8. FinalDemo demo1 = new FinalDemo();
  9. FinalDemo demo2 = new FinalDemo();
  10. System.out.println("final修饰的 i=" + demo1.i);
  11. System.out.println("static修饰的 t=" + demo1.t);
  12. System.out.println("final修饰的 i=" + demo2.i);
  13. System.out.println("static修饰的 t=" + demo2.t);
  14. System.out.println("t+1= "+ ++demo2.t );
  15. // System.out.println( ++demo2.i );//编译失败
  16. }
  17. }
  18. 运行结果:
  19. final修饰的 i=0.7282093281367935
  20. static修饰的 t=0.30720545678577604
  21. final修饰的 i=0.8106990945706758
  22. static修饰的 t=0.30720545678577604
  23. t+1= 1.307205456785776

这是啥咩…不是说好的final修饰基本数据类型的变量时,则其数值一旦在初始化之后便不能更改咩?为啥子这里final修饰的基本类型值反而不一致,static修饰的基本类型却一致?

是的,我是在前面说过这些话,但是你注意到了这句话的核心前提咩:final修饰基本数据类型的变量时,则其数值一旦在初始化之后便不能更改。

是的,已经很明显了,上面代码中被final修饰的变量是在运行时才初始化的,并没有在编译期就被初始化!由于值为随机数,运行时被初始化是不确定的一个值,也就是个随机数,仅仅当运行之后被初始化之后他的值才会不变!

至于static修饰的变量没有发生变化是因为static作用于成员变量只是用来表示保存一份副本,其不会发生变化。怎么理解这个副本呢?其实static修饰的在类加载的时候就加载完成了(初始化),而且只会加载一次也就是说初始化一次,所以不会发生变化!

关于static关键字,详细的讲解可以看这篇深入理解static关键字

7、关于final修饰参数的争议

到这里,我相信各位都对final有一个大概的系统性了解了,那么我们一起来回到关于开篇的问题。

关于不认同网上流传的”方法中不需要改变作为参数的对象变量时,使用final进行声明,可以防止你无意的修改而影响到调用方法外的变量“这句话,首先要想理解这句话可以先看下面final修饰的程序1代码:

  1. package FinalDemo;
  2. class Parameter{
  3. public void method(final int a){ //使用final修饰参数
  4. // a++; //编译失败
  5. // a=1; //编译失败
  6. System.out.println(a);
  7. }
  8. }
  9. public class ParameterAndFinal {
  10. public static void main(String[] args) {
  11. Parameter par=new Parameter();
  12. int a=2;
  13. par.method(a);
  14. int b=4;
  15. par.method(b);
  16. }
  17. }
  18. 运行结果:
  19. 2
  20. 4

1、至于上面代码中注释的代码编译失败,我相信各位都能知其原因!
2、运行结果,我们也知道,方法是运行时才初始化的,执行到 int b=4par.method(a)方法以及结束,再到par.method(b)的时候,又重新初始化了,所以打印结果如上。
3、要想理解还得看没有final修饰的程序2

  1. package FinalDemo;
  2. class Parameter{
  3. public void method(int a){ //不使用final修饰参数
  4. a++;
  5. a=6;
  6. System.out.println(a);
  7. }
  8. }
  9. public class ParameterAndFinal {
  10. public static void main(String[] args) {
  11. Parameter par=new Parameter();
  12. int a=999;
  13. par.method(a);
  14. int b=777;
  15. par.method(b);
  16. }
  17. }
  18. 运行结果:
  19. 6
  20. 6

看完之后发现,确实,使用final修饰的程序1中,因为使用了final,所以不会影响到你在外部传递的参数,而不使用final修饰的程序1中,因为没使用final,不管你传递啥,没无效,不得不说确实是验证了网上的那句话…

但是对于下面这个程序来说,就不怎么管用了喔

  1. package FinalDemo;
  2. class BB {
  3. public void method(final StringBuffer buffer) {
  4. buffer.append("波波小菜鸡");
  5. }
  6. }
  7. public class ParameterAndFinal {
  8. public static void main(String[] args) {
  9. BB b = new BB();
  10. StringBuffer buffer = new StringBuffer("乾坤未定你我皆是");
  11. b.method(buffer);
  12. System.out.println(buffer.toString());
  13. }
  14. }
  15. //运行结果: 乾坤未定你我皆是波波小菜鸡

为啥子我要说不管用了捏?因为你可是试着把final去掉再次运行,你会发现,结果同样都是: 乾坤未定你我皆是波波小菜鸡…

相关文章