Java进阶（2）——结合源码深入理解final关键字，修饰数据，方法，类

桃扇骨 2023-10-14 21:02 12阅读 0赞

#### 目录 ####

*  引出
 *  深入理解final关键字
 *  final修饰数据
 *   *  基本数据类型
     *  对象的引用
     *  空白final
 *  final修饰方法
 *  final修饰类
 *  总结

## 引出 ##

--------------------

1.在java源码中较多使用final修饰数据，比如ArrayList的初始长度；  
2.final关键字修饰对象的引用的特点理解；  
3.了解一下空白final，目前不知道有啥用途；  
4.final修饰方法，比如java的万类之祖Object的getClass()方法；  
5.final修饰类，不能被继承inherit，比如String类；

## 深入理解final关键字 ##

![在这里插入图片描述][1b136e8963024c8f8350457ecf096c4b.png]

经常背的答案：

*  被 final 修饰的类不可以被继承
 *  被 final 修饰的方法不可以被重写
 *  被 final 修饰的变量不可以被改变.如果修饰引用,那么表示引用不可变,引用指向的内容可变.
 *  被 final 修饰的方法,JVM 会尝试将其内联,以提高运行效率，被 final 修饰的变量,在编译阶段会存入常量池中.

final：本质就是声明——这个东西不能变；

为啥不禁止变？——考虑设计，或者效率；

应用场景——数据（属性）、方法、类

## final修饰数据 ##

许多程序设计语言都有自己的办法告诉编译器某个数据是“常数”。常数主要应用于下述两个方面：  
(1) 编译期常数，它永远不会改变  
(2) 在运行期初始化的一个值，我们不希望它发生变化

static和final字段：只能存储一个数据，且不能改变；

对于基本数据类型，final会将值变成一个常数；

对于对象的引用，final会将对象的引用指向一个具体的对象，并且这个变量不能再指向另一个对象；然而被指向的对象本身是可以被修改的；因此，在这种情况下，引用不能变，引用指向的内容是可以变的；

### 基本数据类型 ###

![在这里插入图片描述][d4fd760435844021a866667f398447b3.png]

> ArrayList的源码

![在这里插入图片描述][197cbe3ace914a67b62dddee58a7998d.png]

> 两种方式对比

![在这里插入图片描述][b3e91dd1a7034cc79d38d7f243c20bd8.png]

> 通常的写法：public static final int INT4 = 79;
> 
> public表示它们可在包外使用；Static 强调它们只有一个；而final 表明它是一个常数

### 对象的引用 ###

> 将引用变成final 看起来似乎不如将基本数据类型变成final 那么有用

![在这里插入图片描述][081ccc4b315b4350b56969f58b352e1d.png]

> 被 final 修饰的变量不可以被改变.如果修饰引用,那么表示引用不可变,引用指向的内容可变.

![在这里插入图片描述][da22d776c72c46eabd1396d471a1f6fc.png]

### 空白final ###

Java 1.1 允许我们创建“空白final”，它们属于一些特殊的字段。尽管被声明成final，但却未得到一个初始值。无论在哪种情况下，空白final 都必须在实际使用前得到正确的初始化。而且编译器会主动保证这一规定得以贯彻。然而，对于final 关键字的各种应用，空白final 具有最大的灵活性。举个例子来说，位于类内部的一个final 字段现在对每个对象都可以有所不同，同时依然保持其“不变”的本质。

现在强行要求我们对final 进行赋值处理——要么在定义字段时使用一个表达 式，要么在每个构建器中。这样就可以确保final 字段在使用前获得正确的初始化。

package com.tianju.redis.algorithm.finalD;
    
    import lombok.AllArgsConstructor;
    import lombok.Data;
    import lombok.NoArgsConstructor;
    
    @Data
    @NoArgsConstructor
    @AllArgsConstructor
    class MyBlank {
        
        Integer id;
        String name;
    }
    @Data
    public class BlankFinal {
        
        final int INT1 = 0;
        final int j; // 空白的final，必须赋值
        final MyBlank myBlank; // 空白final引用数据类型，必须赋值
    
        BlankFinal(int j, MyBlank myBlank) {
        
            this.j = j;
            this.myBlank = myBlank;
        }
    
        BlankFinal(int x){
        
            j =x;
            myBlank = new MyBlank();
        }
    }

![在这里插入图片描述][fc933ecf3d014d3587772487fdd93d3f.png]

## final修饰方法 ##

使用final 修饰方法，可能是出于对两方面理由的考虑。第一个是为方法“上锁”，防止任何继承类改变它的本来含义。设计程序时，若希望一个方法的行为在继承期间保持不变，而且不可被覆盖或改写，就可以采取这种做法。

采用final 方法的第二个理由是程序执行的效率。将一个方法设成final 后，编译器就可以把对那个方法的所有调用都置入“嵌入”调用里。

通常，只有在方法的代码量非常少，或者想明确禁止方法被覆盖的时候，才应考虑将一个方法设为final。

![在这里插入图片描述][1d36abc9ac08425fa5d9c1c4173e4e87.png]

## final修饰类 ##

如果说整个类都是final（在它的定义前冠以final 关键字），就表明自己不希望从这个类继承，或者不允许其他任何人采取这种操作。换言之，出于这样或那样的原因，我们的类肯定不需要进行任何改变；或者出于安全方面的理由，我们不希望进行子类化（子类处理）。

![在这里插入图片描述][72316b3b4bfb4dc8ab1b3b96d14b32cd.png]

--------------------

## 总结 ##

[1b136e8963024c8f8350457ecf096c4b.png]: https://img-blog.csdnimg.cn/1b136e8963024c8f8350457ecf096c4b.png
[d4fd760435844021a866667f398447b3.png]: https://img-blog.csdnimg.cn/d4fd760435844021a866667f398447b3.png
[197cbe3ace914a67b62dddee58a7998d.png]: https://img-blog.csdnimg.cn/197cbe3ace914a67b62dddee58a7998d.png
[b3e91dd1a7034cc79d38d7f243c20bd8.png]: https://img-blog.csdnimg.cn/b3e91dd1a7034cc79d38d7f243c20bd8.png
[081ccc4b315b4350b56969f58b352e1d.png]: https://img-blog.csdnimg.cn/081ccc4b315b4350b56969f58b352e1d.png
[da22d776c72c46eabd1396d471a1f6fc.png]: https://img-blog.csdnimg.cn/da22d776c72c46eabd1396d471a1f6fc.png
[fc933ecf3d014d3587772487fdd93d3f.png]: https://img-blog.csdnimg.cn/fc933ecf3d014d3587772487fdd93d3f.png
[1d36abc9ac08425fa5d9c1c4173e4e87.png]: https://img-blog.csdnimg.cn/1d36abc9ac08425fa5d9c1c4173e4e87.png
[72316b3b4bfb4dc8ab1b3b96d14b32cd.png]: https://img-blog.csdnimg.cn/72316b3b4bfb4dc8ab1b3b96d14b32cd.png