0

0

C++ std::shared_ptr 的引用计数开销是什么?(如何通过 atomic 实现并发安全)

冰火之心

冰火之心

发布时间:2026-02-16 15:33:10

|

948人浏览过

|

来源于php中文网

原创

std::shared_ptr的引用计数必须是原子的,因为多线程下拷贝、赋值、析构会并发读写同一计数,非原子操作会导致丢失自增、提前释放对象(uaf);标准强制要求原子实现,即使单线程也无法绕过,代价是额外指令与缓存行访问。

c++ std::shared_ptr 的引用计数开销是什么?(如何通过 atomic 实现并发安全)

std::shared_ptr 的引用计数为什么必须是原子的?

因为 std::shared_ptr 的拷贝、赋值、析构都可能在多线程中并发发生,而这些操作都要读写同一个引用计数。如果计数不是原子的,两个线程同时执行 ++count 就可能丢失一次自增,导致提前释放对象——这是典型的 UAF(Use-After-Free)漏洞。

标准要求这个计数必须用原子操作实现,不管底层用的是 std::atomic<int></int> 还是平台级的 lock-free 指令(比如 x86 的 lock inc),目的只有一个:保证每次增减都不可分割。

  • 即使你只在单线程里用 std::shared_ptr,它的引用计数类型仍是原子的,无法绕过(除非手写定制删减版)
  • 原子操作本身有代价:在 ARM 等弱内存序平台上,fetch_add 可能隐含 full memory barrier;x86 虽然较轻,但仍有指令开销
  • 别指望编译器帮你“优化掉”原子性——它不会,也不能

引用计数开销具体有多大?

不是“慢”,而是“比裸指针多几条指令 + 一次缓存行访问”。典型场景下,一次 shared_ptr 拷贝包含:

  • 对控制块中引用计数执行一次原子 fetch_add(1)
  • 可能触发 cache line bouncing(多个线程频繁修改同一 cache line 中的计数)
  • 析构时还要再做一次原子 fetch_sub(1),并检查是否为 0 决定是否 delete 对象和控制块

实测:在主流 x86-64 上,一次 shared_ptr 拷贝比 unique_ptr 拷贝慢 2–5 倍(取决于缓存状态),但绝对耗时仍在纳秒级(~1–3 ns)。真正伤性能的是高频共享+频繁拷贝,比如在 tight loop 里反复传参或存入容器。

AI Time Machine
AI Time Machine

使用AI创建穿越历史的超逼真的头像

下载

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

什么时候可以避免引用计数开销?

如果你确定某个对象生命周期完全由单一线程管理,且不需要跨函数/模块共享所有权,就别用 std::shared_ptr

  • 优先用 std::unique_ptr:移动语义零开销,无原子操作
  • 若只是临时观察,用裸指针或 std::observer_ptr(C++17,纯语法糖,不干预生命周期)
  • 若需跨线程传递所有权,考虑 std::move 一个 unique_ptr,而不是拷贝 shared_ptr
  • 注意:把 shared_ptr 存进 std::vector 并反复 push_back,等于反复触发原子增减——这里最容易被忽略

自定义删除器或别名构造会加重开销吗?

不会额外增加引用计数本身的开销,但会影响控制块布局和缓存效率。

  • 带自定义删除器的 shared_ptr 必须把删除器对象存进控制块,增大控制块尺寸,可能让原本紧凑的 cache line 更容易 miss
  • 别名构造(如 shared_ptr<t>(p, alias)</t>)会复用原控制块,不新增计数操作,但要注意:它延长了原对象的生命周期,而你可能没意识到
  • 所有这些都不改变引用计数的原子性逻辑——该原子还是原子,该慢还是慢

真正难察觉的是:控制块分配本身是堆上的,而堆分配+原子操作+缓存竞争三者叠加,在高并发场景下会让延迟毛刺明显起来。这不是 bug,是设计权衡的结果。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

199

2023.11.20

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

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

418

2023.07.18

堆和栈区别
堆和栈区别

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

592

2023.08.10

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

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

675

2023.08.10

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

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

366

2025.12.24

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

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

25

2026.01.21

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

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

24

2026.01.21

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

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

96

2026.02.06

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

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

283

2026.02.13

热门下载

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

精品课程

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

共94课时 | 9.6万人学习

C 教程
C 教程

共75课时 | 4.8万人学习

C++教程
C++教程

共115课时 | 18万人学习

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

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