0

0

C++如何实现简单的垃圾回收?(引用计数增强版)

冰火之心

冰火之心

发布时间:2026-02-25 11:42:33

|

423人浏览过

|

来源于php中文网

原创

标准c++未内置引用计数gc,因其违背“不为不用功能付费”原则;std::shared_ptr仅为raii智能指针,非gc,需配合weak_ptr破循环引用,手动实现gc易陷注册/注销时机与线程安全陷阱。

c++如何实现简单的垃圾回收?(引用计数增强版)

为什么标准 C++ 没有内置引用计数 GC?

因为 C++ 的设计哲学是“不为不用的功能付费”,而引用计数需要在每次拷贝、赋值、析构时更新计数器,带来运行时开销和线程安全负担。标准库只提供 std::shared_ptr 这种**手动管理生命周期的智能指针**,它不是 GC,只是 RAII 封装;它不自动扫描对象图,也不回收循环引用。

如果你真想模拟一个轻量 GC,得自己补上两个关键能力:全局对象注册 + 周期性可达性分析。但注意:这会显著改变内存模型,且无法兼容裸指针或栈对象。

如何用 std::shared_ptr 避免常见循环引用崩溃?

循环引用是引用计数方案最典型的失效场景——比如 A 持有 std::shared_ptr<b></b>,B 又持有 std::shared_ptr<a></a>,两者引用计数永远 > 0,内存永不释放,最终导致泄漏甚至 OOM。

  • std::weak_ptr 打破强引用环:只在需要临时访问时调用 lock(),返回 std::shared_ptr;若对象已销毁,则返回空指针
  • 避免在类内部用 shared_ptr<this></this>:改用 enable_shared_from_this<t></t>,通过 shared_from_this() 安全获取
  • 检查 use_count()expired() 是调试利器,但别在生产逻辑里依赖它们做流程判断

示例:

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

Pliny
Pliny

创建、分享和重新组合AI应用程序

下载
struct Node : std::enable_shared_from_this<Node> {
    std::shared_ptr<Node> parent;
    std::weak_ptr<Node> child; // 不增加引用计数
};

手写简易引用计数 GC 的核心陷阱

真要自己实现,最容易翻车的地方不是计数逻辑,而是**对象注册与注销时机**。你无法靠构造/析构函数自动完成注册——因为对象可能栈分配、可能 new 出来但没交给你管、也可能被 std::unique_ptr 管理。

  • 必须要求所有受管对象继承自一个基类(如 GCObject),并在其构造函数里调用全局注册器
  • 析构函数不能直接从注册表移除自身——此时虚函数表可能已失效;应改用延迟清理或标记-清除阶段统一处理
  • 多线程下,std::atomic<int></int> 是底线,但 std::shared_ptr 内部的引用计数本身已是原子操作,重复加锁反而拖慢性能
  • 没有写屏障(write barrier)机制,无法感知指针字段的修改,所以“可达性分析”只能靠定期遍历所有注册对象 + 手动维护引用图

什么情况下不如直接用 std::shared_ptr + std::weak_ptr

绝大多数应用不需要额外 GC 层。只要结构清晰、明确所有权边界,RAII + 智能指针组合已经足够健壮。

  • 游戏逻辑层的对象池管理
  • 网络请求回调中跨作用域传递资源
  • GUI 控件树中父子关系(父持子强引用,子持父弱引用)

真正需要“自动回收不可达对象”的场景极少,而且往往意味着架构已复杂到该引入更成熟的内存模型(比如 arena allocator 或借用检查器)。硬加一层 GC,容易变成既没解决循环引用,又拖慢所有指针操作的负优化。

引用计数不是银弹,它把释放时机从“确定点”变成了“不确定点”,而 C++ 开发者通常更信任确定性。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

智谱清言 - 免费全能的AI助手
智谱清言 - 免费全能的AI助手

智谱清言 - 免费全能的AI助手

相关专题

更多
string转int
string转int

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

850

2023.08.02

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

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

584

2024.08.29

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

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

294

2025.08.29

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

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

210

2025.08.29

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

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

423

2023.07.18

堆和栈区别
堆和栈区别

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

596

2023.08.10

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

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

720

2023.08.10

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

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

371

2025.12.24

batoto漫画官网入口与网页版访问指南
batoto漫画官网入口与网页版访问指南

本专题系统整理batoto漫画官方网站最新可用入口,涵盖最新官网地址、网页版登录页面及防走失访问方式说明,帮助用户快速找到batoto漫画官方平台,稳定在线阅读各类漫画内容。

21

2026.02.25

热门下载

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

精品课程

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

共94课时 | 10.1万人学习

C 教程
C 教程

共75课时 | 4.9万人学习

C++教程
C++教程

共115课时 | 19.2万人学习

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

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