0

0

深入理解Java中的字段可见性_Final字段在构造函数外的可见性保证

P粉602998670

P粉602998670

发布时间:2026-02-15 11:23:02

|

520人浏览过

|

来源于php中文网

原创

能,但仅限于正确构造的对象;jmm保证未逸出对象的final字段初始化值对其他线程立即可见,反射修改或构造逸出会破坏该保证,final仅保障引用不变而非对象不可变。

深入理解java中的字段可见性_final字段在构造函数外的可见性保证

Final字段在构造函数里赋值后,其他线程能立即看到吗?

能,但仅限于「正确构造」的对象。Java内存模型(JMM)对 final 字段有特殊语义:只要对象没发生逸出(即构造函数结束前未被发布),其他线程通过合法途径获得该对象引用时,一定能看到 final 字段的初始化值,哪怕没加 synchronizedvolatile

  • 这个保证不依赖于写线程是否同步,而是编译器和 JVM 对 final 字段写入的重排序限制
  • 关键前提是:对象不能在构造过程中“逃逸”——比如在构造函数里把 this 赋给静态变量、启动新线程、注册回调等
  • 如果发生逸出,其他线程可能看到 final 字段的默认值(如 null0),甚至部分初始化状态

为什么在构造函数外给final字段赋值会编译报错?

因为 final 字段必须在声明时或所在类的每个构造路径中明确且仅赋值一次。JVM 要求它在对象实例化完成前就确定下来,否则无法提供可见性保证。

  • 编译器会检查所有构造函数分支,确保每个 final 字段都被且仅被赋值一次
  • 常见错误包括:条件分支中漏掉赋值、try-catch 后没兜底、调用另一个构造函数(this(...))但没覆盖全部路径
  • 注意:static final 是类加载时初始化,和对象构造无关;这里讨论的是实例 final 字段

Final字段被反射修改后,可见性保证还成立吗?

不成立,而且行为不可靠。反射绕过编译期检查和 JMM 语义,JVM 不再保证其他线程能看到你“偷偷改”的值。

搜狐资讯
搜狐资讯

AI资讯助手,追踪所有你关心的信息

下载
  • 即使用 Field.setAccessible(true) 成功修改了 final 字段,该修改对其他线程可能是不可见的,也可能触发 java.lang.IllegalAccessException(取决于 JVM 实现和安全策略)
  • 更危险的是:某些 JIT 编译器可能把 final 字段当作常量内联(比如 private final int x = 42;),反射修改后,已内联的代码仍读取旧值
  • 生产环境严禁依赖反射修改 final 字段,这不是“黑科技”,是破坏内存模型根基的操作

Final字段引用的对象内部可变,会影响可见性吗?

不会影响 final 引用本身的可见性,但会影响其指向对象的状态可见性。

立即学习Java免费学习笔记(深入)”;

  • final List<string> list = new ArrayList();</string> → 其他线程一定看到这个 list 非空且是 ArrayList 实例,但不保证看到后续往里面 add() 的元素
  • 换句话说:final 保证的是“引用不变”,不是“对象不可变”
  • 如果需要整个对象图都安全发布,得靠额外同步(如用 CopyOnWriteArrayList、手动加锁)、或使用真正不可变类型(如 ImmutableList

复杂点在于:可见性保证只作用于 final 字段本身,而它的初始化表达式里如果包含非 final 的副作用,那些副作用并不受保护。别以为写了 final 就万事大吉。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

244

2023.09.22

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

746

2024.03.01

java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1552

2023.10.24

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

750

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

568

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

234

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

209

2025.08.29

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

71

2025.10.23

pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法
pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法

本专题系统整理pixiv网页版官网入口及登录访问方式,涵盖官网登录页面直达路径、在线阅读入口及快速进入方法说明,帮助用户高效找到pixiv官方网站,实现便捷、安全的网页端浏览与账号登录体验。

145

2026.02.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 3.6万人学习

C# 教程
C# 教程

共94课时 | 9.5万人学习

Java 教程
Java 教程

共578课时 | 66.1万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号