0

0

Java 中不可变对象引用的安全发布机制详解

花韻仙語

花韻仙語

发布时间:2026-01-22 19:44:02

|

275人浏览过

|

来源于php中文网

原创

Java 中不可变对象引用的安全发布机制详解

java 多线程环境下,即使对象本身不可变,其引用的发布仍需遵循安全发布原则;直接赋值静态引用(如 test.holder = new holder(42))不保证可见性,必须借助 volatile、final 字段初始化、静态初始化器或同步机制来确保其他线程能立即看到该引用。

《Java 并发编程实战》中明确指出:不可变对象(immutable objects)本身可经由任意方式发布,但关键在于——这里的“发布”指的是对象实例的构造完成且其状态对所有线程可见;而引用变量本身的可见性,仍受 Java 内存模型(JMM)约束

以问题中的代码为例:

public class Test {
    public static Holder holder = null; // 非 volatile,非 final
}
// 线程 A 执行:
Test.holder = new Holder(42);

尽管 Holder 是不可变类(假设其所有字段为 final 且无修改逻辑),new Holder(42) 的构造过程在当前线程内是安全的(final 字段的正确初始化可被正确发布),但将该对象引用写入静态变量 holder 这一操作本身不具备 happens-before 关系。因此,其他线程可能看到 holder == null,或更危险地——看到一个部分构造的 Holder 引用(若 Holder 构造存在重排序且未正确防护)。

✅ 正确做法:使用 volatile 保障引用写入的可见性与禁止重排序:

Inworld.ai
Inworld.ai

InWorldAI是一个AI角色开发平台,开发者可以创建具有自然语言、上下文意识和多模态的AI角色,并可以继承到游戏和实时媒体中

下载

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

public class Test {
    public static volatile Holder holder = null;
}
// 线程 A:
Test.holder = new Holder(42); // ✅ volatile 写入 → 对所有线程立即可见
// 线程 B 可安全读取:
if (Test.holder != null) {
    int value = Test.holder.getValue(); // ✅ 一定能看到完整构造的 Holder(42)
}

⚠️ 注意事项:

  • 若 holder 在类加载时即完成初始化(静态初始化器),则天然安全发布:
    public class Test {
        public static final Holder holder = new Holder(42); // ✅ 安全:类初始化由 JVM 保证同步
    }
  • 仅靠对象不可变 不能免除引用发布的同步责任。不可变性解决的是“对象状态不会变”,而非“引用何时被看见”。
  • synchronized 块、Lock、AtomicReference 等同样可实现安全发布,但 volatile 是最轻量且语义清晰的选择(适用于单次写入、多次读取场景)。

总结:不可变对象降低了并发复杂度,但绝非“免同步银弹”。安全发布 = 不可变对象 + 可见性保障机制(volatile / 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语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

254

2023.09.22

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

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

1089

2024.03.01

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

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

75

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

764

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

376

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

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

30

2026.01.21

C++多线程相关合集
C++多线程相关合集

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

29

2026.01.21

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

103

2026.02.06

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

4

2026.03.10

热门下载

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

精品课程

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

共23课时 | 4.3万人学习

C# 教程
C# 教程

共94课时 | 11.1万人学习

Java 教程
Java 教程

共578课时 | 80.3万人学习

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

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