java高并发下安全共享对象需严控构造、发布与访问:禁止this逸出,用final字段保障可见性,延迟初始化须volatile或同步,内部状态须防御性封装。

Java 对象在高并发场景下实现安全共享,核心不是“怎么让多个线程都拿到它”,而是“怎么确保拿到的对象状态是完整、一致、最新可见的”。关键在于控制对象的**构造过程**、**发布时机**和**后续访问方式**,三者缺一不可。
禁止 this 引用在构造中逸出
这是最危险也最容易被忽视的一环。对象还没构造完,引用就被其他线程看到,会导致读到半初始化状态(如 null 字段、默认值、部分更新的字段)。
- 不在构造器中启动新线程、注册监听器、调用外部方法并传入 this
- 避免在构造器中创建非静态内部类(如匿名 Runnable 或 Listener),它们隐式持有外围实例引用
- 需要对外提供行为时,改用静态工厂方法 + 显式初始化:先 new 出对象,再调用 init() 或 start() 完成发布
- 内部类优先声明为 static,切断与外围实例的绑定
用 final 字段保障构造完成即可见
final 字段是 JMM 提供的轻量级安全发布机制。只要对象构造完成,其他线程通过合法途径获得该引用,就一定能看见 final 字段在构造器中写入的值(不会看到 0、null 等默认值)。
Java开发手册规约集合,基于阿里巴巴Java开发手册(嵩山版)。 涵盖7大维度:编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。 当用户需要:(1) 编写或审查Java代码 (2) 检查命名/代码规范 (3) 处理异常和日志 (4) 编写单元测试 (5) 安全编码 (6) 数据库设...
- 所有在构造器中赋值且不应修改的字段,必须声明为 private final
- final 保护的是字段引用本身,不保护其指向对象的内部可变性(例如 final List
仍需防御性拷贝) - 类本身建议也声明为 final,防止子类破坏不可变性
对延迟/动态发布的引用加同步语义
有些对象无法在构造时完全初始化(比如配置加载、连接池初始化),必须靠后续设置。此时发布“引用本身”就需要显式同步。
- 单例推荐使用 静态内部类 Holder 模式:利用 JVM 类加载机制保证线程安全与可见性,无锁无开销
- 双重检查锁定(DCL)必须搭配 volatile 修饰实例字段,防止重排序导致其他线程看到未初始化完成的对象
- 普通共享对象(如全局配置容器)可用 synchronized 块读写,或用 AtomicReference 的 set() / compareAndSet() 发布
对可变内部状态做防御性封装
即使引用安全发布了,如果对象内部状态可变且直接暴露,仍会引发并发问题。
- 不返回私有数组、集合的原始引用(如 return items;),改用 Collections.unmodifiableList() 或返回副本
- 对外提供 setter 方法时,做深拷贝或校验;或干脆不提供 setter,采用“不可变+新建对象”模式(如 withPrice(99.9))
- 若必须支持修改,将可变状态封装在 synchronized / ReentrantLock / 原子类中管理
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










