0

0

什么是并发中的线程逃逸_在构造函数中启动线程带来的不安全性分析

P粉602998670

P粉602998670

发布时间:2026-02-23 16:14:03

|

813人浏览过

|

来源于php中文网

原创

在构造函数中启动线程极大概率导致对象逃逸,引发nullpointerexception、字段未初始化、状态不一致等问题,因this引用在构造完成前即被其他线程获取,且jvm不保证构造指令顺序对其他线程可见。

什么是并发中的线程逃逸_在构造函数中启动线程带来的不安全性分析

构造函数里启动线程为什么危险

直接说结论:在构造函数中启动新线程(比如 new Thread(this)::startexecutor.submit()),极大概率导致对象逃逸,进而引发 NullPointerException、字段未初始化、状态不一致等不可预测问题。

原因很简单:构造函数还没执行完,this 引用就已经被传给了另一个线程。而 JVM 不保证构造过程的指令顺序对其他线程可见——哪怕你在构造函数末尾才启动线程,编译器或 CPU 仍可能把“字段赋值”重排序到“线程启动”之后。

  • 常见错误现象:NullPointerException 出现在子类重写的回调方法里,但堆栈指向构造中;日志显示对象字段为 null 或默认值(如 0false),尽管代码明明在构造函数里赋了值
  • 典型使用场景:GUI 事件监听器注册、异步初始化、后台心跳线程、资源预热逻辑
  • 关键陷阱:哪怕只在构造函数里调用 new Thread(() -> doSomething()).start(),只要 doSomething() 访问了当前对象的任何非 final 字段,就已踩雷

final 字段能防逃逸吗?不能,但它是底线

final 字段只能保证「构造完成后」其值对其他线程可见,**不阻止构造过程中 this 引用泄露**。也就是说,它治标不治本——你依然可能在字段被赋值前,就被另一个线程拿到 this 并访问它。

MyMap AI
MyMap AI

使用AI将想法转化为图表

下载
  • 必须满足两个条件,final 才起作用:字段声明为 final + 构造函数内完成赋值 + 没有发生 this 逃逸
  • 一旦构造函数里做了 registerListener(this)addObserver(this)submit(this) 这类操作,final 就失效了
  • 替代方案不是靠 final,而是彻底避免在构造中暴露 this:把线程启动逻辑后移到工厂方法或独立初始化方法中

安全做法:延迟启动 + 显式初始化

真正安全的方式,是把“对象创建”和“行为启动”拆成两步,由调用方控制时机,确保对象完全构造完毕后再交出去。

  • 用静态工厂方法替代公有构造函数:public static Worker createAndStart(),内部先 new Worker(),再调用 worker.startAsync()
  • 提供显式的 init()start() 方法,要求使用者手动触发,而不是在构造中自动执行
  • 如果必须异步初始化,改用 CompletableFuture.supplyAsync() 等不捕获 this 的方式,或把要执行的逻辑封装为独立 Runnable,不依赖未完成对象的状态
  • 避免在构造函数中注册监听器、提交任务、发布引用——哪怕只是传给一个 static 集合或全局 Executor

怎么快速发现这类问题

光靠肉眼 review 构造函数容易漏,尤其在继承链深、回调多的项目里。推荐几个低成本识别点:

  • 搜索关键词:this + startthis + submitthis + registernew Thread(.*this)
  • 检查所有构造函数是否含 publicprotected 访问修饰符——私有构造+工厂模式天然降低风险
  • 用 JMH 或简单多线程测试压测:反复构造 + 立即访问字段,看是否偶发 NullPointerException 或值异常
  • 注意 IDE 警告:IntelliJ 在构造函数中检测到 this 逃逸会标黄(提示 “May escape its constructor”)

最常被忽略的一点:子类构造函数调用父类构造函数时,父类若已启动线程,子类字段甚至都还没开始初始化——这种跨层逃逸,比单层更难调试。

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门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语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

246

2023.09.22

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

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

846

2024.03.01

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

422

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

595

2023.08.10

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

422

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

595

2023.08.10

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

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

715

2023.08.10

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

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

371

2025.12.24

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

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

1127

2026.02.13

热门下载

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

精品课程

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

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