理解 Java 关键字 final

news2024/11/25 1:03:52

原文链接 理解 Java 关键字 final

final可以用来干什么

final是Java中非常常见的一个关键字,可以说每天都在使用它,虽然常见,但却也不见得都那么显而易见,今天就来研究一下final,以加深对它的理解和更合理的运用。

修饰类

当一个类不想被继承时,就可以用final来修饰。

修饰方法

当一个方法不想被子类覆写(Override)时,可以用final来修饰。另外一方面,把方法用final来修饰也有一定的性能提升上的帮助,因为虚拟机知道它不会被覆写,所以可以以更简单的方式来处理。

private的方法,默认都会被编译器加上final.

修饰变量

被final修饰的变量只能赋值一次,之后不能再被修改。如:

final int a = 10;
a = 4; // compilation error

需要注意的是,这里说的是只能赋值一次,并不意味着,非要在声明变量时直接初始化,比如,下面的代码也是完全合法的:

final int a;
if (foo()) {
    a = 3;
} else {
    a = 4;
}

修饰域变量

域变量也是变量,所以用final来修饰的第一个作用就是赋值后,不能再修改变量的值,比如:

final int a = 10;
final Object b = new Object();

对于基本类型来说,就是变量值不能再被修改;对于引用来说,就是不能再让其指向其他对象或者null。

但对于域变量,声明为final的域变量必须在声明时初始化,或者在构造方法中初始化,否则会有编译错误。

此外,声明为final的域变量还有内存模型上的语义,下面详细说

内存模型的作用–防止变量从构造方法中逸出

这个主要是针对被final修饰的域变量,虚拟机会有禁止指令重排的保证:

  • 在构造方法内对一个final变量的写入,与随后这个被构造对象的引用赋值给一个引用变量,这二个顺序不改变,final变量的写入一定要早于对象引用的赋值。

什么意思呢?在多线程环境下,域变量是有可能从构造方法中逸出的,也就是说线程有可能读到还没有被构造方法初始化的域变量的值。比如:

class Foo {
    int a;
 
    Foo(int v) {
        a = v;
    }
}

如果是在多线程环境下,一个线程A在创建Foo的对象,另一个线程B在读对象的a的值,则B是有可能读到未正确初始化a的值(默认初始值0)。这就是域变量从构造方法中逸出。

关键字final可以禁止虚拟机指令重排,从而保证了构造方法执行完毕前final修饰的变量一定是初始化过了的。

这部分可以参考深入理解Java内存模型(六)——final,讲解的非常详细。

匿名内部类使用外部变量时为何要强制使用final修饰

这个大家肯定都习以为常了,比如:

private void initViews() {
    final int a = 3; // Compilation error if remove final
    btn.setOnClickListener(new View.OnClickListener() {
        @Override
        public void onClick(View view) {
            if (a > 1) {
                // volala
            }
        }
    }
}

那么,有没有想过为什么?而像其他支持完整闭包的语言如JavaScript,Python等,是没有这等限制的。究其原因,是Java对闭包支持不够完整,或者说它并不是像动态语言那样的完整闭包。对于匿名内部类来说,编译器会创建一个命名类(OutClass$1之类的),然后把匿名类所在的能捕获的变量,以构造参数的形式传递给内部类使用,这样一样,外部的变量与内部类看到的变量是不同的,虽然它们的值是相同的,因此,如果再允许外部修改这些变量,或者内部类里面修改这些变量,都会造成数据的不一致性(因为它们是不同的变量),所以Java强制要求匿名内部类访问的外部变量要加上final来修饰。

对于其他语言,匿名内部类,持有的是外部变量的一个包装的引用(wrapper reference),这可以能看不懂,但是理解起来就是内部类能直接访问外部变量,外部与闭包内部访问的是同一个变量,因此外部修改了,内部能看到变化,内部修改了,外部也能看到变化。

一句话总结就是,Java内部类与外部持有的是值相同的不同的变量;其他支持闭包的语言则持有的是相同的变量。

建议能使用final的地方就加上final修饰

最后来聊聊,啥时候应该用final呢?孤的建议(以及众多大师的建议)就是能多用就多用,除非不能用final,否则就用。原因,有这么几条:

  • 域变量尽可能加上final

    这个原因比较明确,前面也提到了,在多线程条件下,会有很大的优势。尽可能加上final来修饰域变量,甚至用Immutable Object,可以省去构造时的多线程同步。

    多线程最大的麻烦是状态同步,啥是状态?其实就是共享数据,域变量就是共享数据,所以,如果共享数据都是不可变的(Immutable),那么自然就没有了同步上的麻烦。

  • final类和方法能提升性能

    正常的类和方法,虚拟机需要为了继承和方法覆写而做一次准备,如果加上了final,虚拟机知道它不会被继承或者覆写,那么就可以做一些优化。虽然,这并不显著,但是还是可以提升一些性能的。

  • final变量能提升可读性

    无论是域变量还是本地变量,加上了final修饰,程序的维护者就知道了,这个变量的值不会再改变,这无疑会大大增加可读性。

参考资料

  • 浅析Java中的final关键字
  • 深入理解Java内存模型(六)——final
  • 为什么必须是final的呢?
  • java为什么匿名内部类的参数引用时final?
  • Thread-safety with the Java final keyword

原创不易,打赏点赞在看收藏分享 总要有一个吧

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

gitstack使用教程

一、下载及安装 下载地址:https://gitstack.com/download/?spma2c4e.10696291.0.0.6d4c19a40qOauc 支持操作系统列表 本文基于2.3.12版本 下载完成后安装,默认安装路径为:c:\GitStack,安装过程中,gitstack服务会启…

医学图像分割 nnUNetV2 分割自定义2d数据集

文章目录 1 环境安装(Pytorch)1.1 安装conda1.1 安装pytorch1.3 安装nnUNet1.4 安装隐藏层(可选) 2 配置自定义数据集2.1 数据集格式2.2 创建需要目录2.3 数据格式转换2.3.1 修改路径与数据集名称2.3.2 修改训练集与测试集2.3.3 修改掩码所在的文件夹&am…

python基础----05-----函数的多返回值、函数的多种参数使用形式、函数作为参数传递、lambda匿名函数

一 函数的多返回值 if __name__ __main__:# 演示使用多个变量,接收多个返回值def test_return ():return 1,hello,Truex,y,z test_return()print(x)print(y)print(z)1helloTrue二 函数的多种参数使用形式 分为以下四种。 2.1 位置参数 位置参数调用函数时根据…

卡尔曼滤波与组合导航原理(五)序贯Kalman滤波

量测维数很高,而且能写成很多分量,每一个分量可以看成一个小量测,可以序贯进行量测更新 优点是:计算快,数字稳定性更好,我们知道矩阵求逆是和维数的三次方成正比,分成小矩阵求逆快(都…

自学大语言模型之Bert和GPT的区别

Bert和GPT的区别 起源 2018 年,Google 首次推出 BERT(Bidirectional Encoder Representations from Transformers)。该模型是在大量文本语料库上结合无监督和监督学习进行训练的。 BERT 的目标是创建一种语言模型,可以理解句子中…

(Day1)配置云开发提供的模板

创建云开发项目 打开微信开发者工具;点击“项目”->“新建项目”;输入项目名称和选择项目所要保存的目录;输入自己的AppID; AppID的获取,需要登陆微信公众平台,并点击“开发管理”->"开发设置…

凸优化系列——凸函数

1.凸函数的定义 凸函数直观上来说,就是两点之间的函数值小于两点连线的函数值 常见凸函数 线性函数既是凸函数,也是凹函数 对于二次函数,如果Q矩阵是半正定矩阵,那么它的二阶导为Q为半正定矩阵,根据凸性判定的二阶条…

SpringCloud微服务架构 --- 高级篇

一、初识Sentinel 1.1、雪崩问题及解决方案 1.1.1、雪崩问题 微服务调用链路中的某个服务故障,引起整个链路中的所有微服务都不可用,这就是雪崩。 1.1.2、解决雪崩问题的常见方式有四种 1.1.2.1、超时处理 设定超时时间,请求超过一定时间…

Swagger原理

最近在基于Swagger进行二次开发, 来对项目的接口进行管理,功能实现了,但是不清楚swagger的工作原理,为了后续能更好利用Swagger来管理接口,而且能借鉴Swagger的原理,将项目中其他信息可视化展示&#xff0c…

什么是测试驱动开发?测试驱动开发有什么优点?

目录 前言 什么是TDD或测试驱动开发? 什么是软件单元测试? 什么是TDD? 测试驱动开发的好处 最后的想法 前言 测试是任何软件开发项目中最重要的步骤之一。如果跳过此过程,则结果可能是灾难性的-对项目和公司而言。但是什么时…

K8s in Action 阅读笔记——【11】Understanding Kubernetes internals

K8s in Action 阅读笔记——【11】Understanding Kubernetes internals 11.1 Understanding the architecture Kubernetes集群分为两个部分: k8s控制平面工作节点 控制平面的组件 构成控制平面的组件有: etcd:etcd是一个分布式的持久化键…

javascrip基础二十八:说说函数节流和防抖?有什么区别?如何实现?

一、是什么 本质上是优化高频率执行代码的一种手段 如:浏览器的 resize、scroll、keypress、mousemove 等事件在触发时,会不断地调用绑定在事件上的回调函数,极大地浪费资源,降低前端性能 为了优化体验,需要对这类事…

类与对象知识总结+构造函数和析构函数 C++程序设计与算法笔记总结(二) 北京大学 郭炜

类和对象 结构化程序设计 C语言使用结构化程序设计: 程序 数据结构 算法 程序由全局变量以及众多相互调用的函数组成。 算法以函数的形式实现,用于对数据结构进行操作。 结构化程序设计的不足: 结构化程序设计中,函数和其所…

《嵌入式系统》知识总结11:STM32串口

串行通信vs并行通信 • 并行:使用8根数据线一次传送一个字节(或使用16根数据线一次传送2个字节,...) • 串行:使用少量数据信号线(8根以下),将数据逐位分时传送 • 并行vs串行&…

路径规划算法:基于秃鹰优化的路径规划算法- 附代码

路径规划算法:基于秃鹰优化的路径规划算法- 附代码 文章目录 路径规划算法:基于秃鹰优化的路径规划算法- 附代码1.算法原理1.1 环境设定1.2 约束条件1.3 适应度函数 2.算法结果3.MATLAB代码4.参考文献 摘要:本文主要介绍利用智能优化算法秃鹰…

【三维编辑】Removing Objects From Neural Radiance Fields论文解读

题目:Removing Objects From NeRF 从神经辐射场中移除对象 论文:https://arxiv.org/abs/2212.11966 作者:Silvan Weder,Guillermo Niantic, ETH Zurich, University College London, nianticlabs.github.ionerf-object-removal 文章目录 摘要一、前言二、…

Batch Normalization原理

首先我们提出一个问题,为什么要有Batch Normalization这样神奇的操作?原有的深度神经网络是有什么问题吗? 还真有问题,那就要提到各位炼丹师们的困境,在深度学习中,模型的层数往往非常的巨大,尤…

SpringBootWeb AOP(下)

3. AOP进阶 AOP的基础知识学习完之后,下面我们对AOP当中的各个细节进行详细的学习。主要分为4个部分: 通知类型通知顺序切入点表达式连接点 我们先来学习第一部分通知类型。 3.1 通知类型 在入门程序当中,我们已经使用了一种功能最为强大…

磁盘配额与进阶文件系统管理(二)

逻辑卷管理(Logical Volume Manager) 简介:lvm可以弹性调节filesystem容量;lvm可以整合多个实体partion在一起,使得多个partion看起来像一个磁盘。 LVM基本概念 PV:物理卷 PE:实体范围区块 VG:卷组 …

前端食堂技术周刊第 85 期:5 月浏览器更新、TypeScript 5.1、Rspack 0.2.0、Parcel v2.9.0、Next.js 企业级模板

美味值:🌟🌟🌟🌟🌟 口味:龙井酥 食堂技术周刊仓库地址:https://github.com/Geekhyt/weekly 本期摘要 5 月登陆浏览器的新功能TypeScript 5.1Rspack 0.2.0Parcel v2.9.0Next.js 企…