• Java基础(三)-final关键字分析


    一 引言

      今天来谈谈final关键字的作用, 虽然有很多博文关于final进行了很深的研究,但还是要去记录下谈谈自己的见解加深下印象。下面直接进入主题:

    二 final关键字的作用

      1、被final修饰的类不能被继承。

      这一点应该很多人都知道也遇到过,经典案例就是java.lang.String类

      还有一些常见的类也是被final所修饰的,如下:

      基本类型对应的包装类型(如java.lang.Integer、java.lang.Long等)、字符相关类(java.lang.StringBuilder、java.lang.StringBuffer)、系统类(java.lang.Class、java.lang.System)等。就列这些其他就靠自己平时去发现。

      那么问题来了,a、为什么final修饰的类不能被继承?答:这是Java语法定义的,没法。

      b、这样设计的目的是什么?答:因为类不需要被拓展类的、实现细节不允许改变,估计是为了安全考虑吧。

      2、被final修饰的方法不能被重写

      其实这也是Java语法规定的,没法做解释。但是仔细回忆,这种情况跟static关键字修饰方法中一个特点类似,也是不能重写(覆盖)。

      下面我们看案例(代码经过自己敲出来的才最有印象):

    class MyClass{
        final void test(){
            System.out.println("FinalClass");
        }
    }
    class MyClass2 extends MyClass {
        //编译报错:Cannot override the final method from MyClass
        public void test(){
            System.out.println("FinalClass");
        }
    }

        3、被final修饰的变量不能被“改变”

      先说下前提1:被final修饰的变量不像static那样。它也可以修饰局部变量。 

      前提2:被final修饰的变量一定要被初始化,否则编译不通过。

      针对前提,我们先通过案例证明:

    1 public class FinalTest {
    2     //编译失败,不满足前提2。The blank final field count may not have been initialized
    3     final int count;
    4     public static void main(String[] args)  {
    5         //编译通过。前提1:被final修饰的变量不像static那样。它也可以修饰局部变量。 
    6         final int t = 0;
    7     }
    8 }

      初始化有两种:直接初始化和在构造函数中初始化(每个构造函数都要初始化即每个实例化对象的入口都要进行初始化)。

    public class FinalTest {
        //直接初始化
        final int count = 0;
        final int num;
        //构造函数中初始化,如果没有对num进行初始化,就会编译错误。The blank final field num may not have been initialized
        public FinalTest(){
            num = 0;//注释这样就可以看到错误提示信息
        }
        public FinalTest(int t){
            num = 0;
            //this();//这两行左右开启一样才不会报错。
        }
    }

      回归重点,被final修饰的变量,它是什么不能改变呢?变量值还是变量的引用还是两者都不能?看似有点玄乎(是不是自己有些没考虑到),其实也很简单(平时多留意就行)。依次举例证明:

        案例1(以基本类型为例):

     1 public class FinalTest {
     2     final int count = 0;
     3     
     4     public int getCount () {
     5         //The final field FinalTest.count cannot be assigned
     6         return count ++;
     7     }
     8     
     9     public static void main(String[] args)  {
    10         FinalTest t = new FinalTest();
    11         System.out.println(t.getCount());
    12     }
    13 }

      上面代码中第六行报错(The final field FinalTest.count cannot be assigned)了,所以可以得知:对于这种基本类型的变量被final所修饰后,它的值是不能被更改的。
      案例2(以对象为例):

     1 class Count {
     2     int count = 0;
     3     public int getCount () {
     4         return ++ count;
     5     }
     6 }
     7 
     8 public class FinalTest {
     9     
    10     public static void main(String[] args)  {
    11         final Count count1 = new Count();
    12         final Count count2 = new Count();
    13         System.out.println(count1.getCount());
    14         System.out.println(count2.getCount());
    15         //The final local variable count1 cannot be assigned. It must be blank and not using a compound assignment
    16         count1 = count2;
    17     }
    18 }

      第16行同样的报错信息,但是这个就有点不一样:对象里面的成员的值是可以改变的。所以针对这种对象变量而言,被final修饰后不可变的是变量的引用,而不是变量的内容。

      总结下这点:被final修饰的基本类型变量,它的值是不可变的。被final修饰的引用类型变量,它的引用地址是不可变的,对象里的内容是可变的。

    三 final关键字的拓展

      1、在匿名类中使用外部内的变量,则该变量必须是final所修饰的。下面案例中第10就会编译报错,提示必须是final修饰的变量。

     1 public class FinalTest {
     2     
     3     public static void main(String[] args)  {
     4         int count = 0;
     5         
     6         Thread thread1 = new Thread(new Runnable() {
     7             @Override
     8             public void run() {
     9                 //Cannot refer to the non-final local variable count defined in an enclosing scope
    10                 count ++;
    11             }
    12         });
    13     }
    14 }

      2、其实final还可以修饰形参。这样做的主要目的是防止无意的修改而影响到调用方法外的变量。如果你没了解这句就说明上面第三点作用你还没了解。

     1 class Count {
     2     int count = 0;
     3     public int getCount () {
     4         return ++ count;
     5     }
     6 }
     7 
     8 public class FinalTest {
     9     int num = 0;
    10     public static void main(String[] args)  {
    11         final Count count = new Count();
    12         addCount(count);
    13         System.out.println(count.count);
    14     }
    15     public static void addCount(final Count count){
    16         count.getCount();
    17         //count = new Count();//这种就是篡改。
    18     }
    19 }

      3、final变量与普通变量有什么区别,什么时候可以相等?看下下面代码,想下代码输出什么。

     1 public class FinalTest2 {
     2 
     3     public static void main(String[] args) {
     4         final String str1 = "test";
     5         final String str2 = getContent();
     6         String str3 = "test";
     7         
     8         String str4 = str1 + "";
     9         String str5 = str2 + "";
    10         
    11         System.out.println(str3 == str4);
    12         System.out.println(str3 == str5);
    13     }
    14     public static String getContent(){
    15         return "test";
    16     }
    17 }

      输出后的结果为true和false。这是为什么呢?解释下你就清楚这两者的区别了。如果是final修饰直接定义的字符串或者是基本类型,它在编译期间就会确定其值,则编译器会把它当做常量。所以当有使用到它的地方会直接用常量替换。而其他都是运行时才会确定的值所以依然使用变量去计算。在代码中str2变量,虽然用是final修饰但是它的值要在的运行时才能确定,所以它相当于普通变量。而str5这种计算方式并不是我们想象的简单,因为str2在这里成了普通变量,所以会通过stringBulider去计算整个表达式的值,所以返回也是一个新的str,引用地址变了。所以第12行的输出为false;

      4、final与finally 和finalize的区别

       finally是异常处理语句结构的一部分,表示最终执行。

      finalize是Object类的一个方法,在垃圾收集器执行的时候会调用被回收对象的此方法,供垃圾收集时的其他资源回收,例如关闭文件等。

  • 相关阅读:
    PAT-A 1004. Counting Leaves
    PAT-A 1094. The Largest Generation
    图的邻接表表示及其BFS遍历
    图的邻接表表示及其遍历
    PAT-A 1024. Palindromic Number
    PAT-A 1019. General Palindromic Number
    PAT-B 1007.素数对猜想
    PAT-A 1048. Find Coins
    PAT-A 1037. Magic Coupon
    PAT-A 1099.Build A Binary Search Tree
  • 原文地址:https://www.cnblogs.com/yuanfy008/p/8021673.html
Copyright © 2020-2023  润新知