【C++入门到精通】智能指针 shared_ptr循环引用 | weak_ptr 简介及C++模拟实现 [ C++入门 ]

在这里插入图片描述

阅读导航

  • 引言
  • 一、std::shared_ptr的循环引用
    • 1. 概念
    • 2. 示例分析
  • 二、std::weak_ptr
    • 1. 简介
    • 2. weak_ptr模板类提供的成员方法
    • 3. 使用示例
      • （1）weak_ptr指针的创建
      • （2）完整示例（解决上面循环引用问题）
    • 4. C++模拟实现
  • 温馨提示

引言

欢迎阅读本系列文章的第二篇，我们将继续探讨与 shared_ptr 相关的主题。上一篇文章我们介绍了 shared_ptr 的强大功能，但也提到了它可能面临的一个问题 —— 循环引用。当两个或多个对象之间相互持有 shared_ptr 的引用时，就会形成循环引用，导致这些对象无法被正确释放，从而引发内存泄漏。

在本文中，我们将深入讨论循环引用问题，并引入另一个智能指针类——weak_ptr。weak_ptr 是 shared_ptr 的伙伴，它可以帮助我们解决循环引用问题，并且不会增加引用计数，以避免对象无法释放的情况。

通过学习 shared_ptr 和 weak_ptr 的组合使用，我们将能够更好地管理动态分配的对象，避免内存泄漏，并提高代码的健壮性和可维护性。敬请期待本文的剖析和示例，希望能给您带来更深入的了解和实践经验。

一、std::shared_ptr的循环引用

1. 概念

当使用 std::shared_ptr 时，循环引用是一种常见的问题。循环引用指的是两个或多个对象彼此持有 shared_ptr 的引用，形成一个环状依赖关系。这种情况下，即使没有外部引用指向这些对象，它们的引用计数也无法降为零，从而导致内存泄漏。

循环引用可能会导致内存泄漏的发生，因为每个对象都会持有对其他对象的引用，导致它们的引用计数无法归零。当没有外部引用指向这些对象时，它们的析构函数不会被调用，从而导致资源无法正确释放。

2. 示例分析

首先我们来看一段代码，这段代码就明显存在着循环引用。

struct ListNode
{
	int _data;
	shared_ptr<ListNode> _prev;
	shared_ptr<ListNode> _next;
	~ListNode(){ cout << "~ListNode()" << endl; }
};
int main()
{
	shared_ptr<ListNode> node1(new ListNode);
	shared_ptr<ListNode> node2(new ListNode);
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;
	node1->_next = node2;
	node2->_prev = node1;
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;
	return 0;
}

✅循环引用分析：

  1. node1和node2两个智能指针对象指向两个节点，引用计数变成1，我们不需要手动delete。
  2. node1的_next指向node2，node2的_prev指向node1，引用计数变成2。
  3. node1和node2析构，引用计数减到1，但是_next还指向下一个节点。但是_prev还指向上一个节点。
  4. 也就是说_next析构了，node2就释放了。
  5. 也就是说_prev析构了，node1就释放了。
  6. 但是_next属于node的成员，node1释放了，_next才会析构，而node1由_prev管理，_prev属于node2成员，所以这就叫循环引用，谁也不会释放。

⭕让我们通过下面这个图片来说上面这个问题：
在这里插入图片描述

为了解决循环引用问题，可以使用 std::weak_ptr。std::weak_ptr 是一种弱引用，它可以指向 std::shared_ptr 持有的对象，但不会增加对象的引用计数。这样，即使存在循环引用，通过使用 std::weak_ptr 可以打破循环引用，使对象的引用计数能够正确降为零，从而触发析构函数的调用。

二、std::weak_ptr

1. 简介

std::weak_ptr 是 C++11 标准库中提供的一种弱引用智能指针，它可以指向 std::shared_ptr 所管理的对象，但不会增加对象的引用计数。因此，当使用 std::weak_ptr 时，如果 std::shared_ptr 对象被释放或者过期，std::weak_ptr 将自动失效，避免了循环引用导致的内存泄漏问题。

🔴std::weak_ptr官方文档

在这里插入图片描述

2. weak_ptr模板类提供的成员方法

和 shared_ptr<T>、unique_ptr<T> 相比，weak_ptr<T> 模板类提供的成员方法不多，下表罗列了常用的成员方法及各自的功能。

成员方法功能
operator=重载 = 赋值运算符，使得 std::weak_ptr 指针可以直接被 std::weak_ptr 或者 std::shared_ptr 类型指针赋值。
swap(x)其中 x 表示一个同类型的 std::weak_ptr 类型指针，该函数可以互换两个同类型 std::weak_ptr 指针的内容。
reset()将当前 std::weak_ptr 指针置为空指针。
use_count()查看指向和当前 std::weak_ptr 指针相同的 std::shared_ptr 指针的数量。
expired()判断当前 std::weak_ptr 指针是否过期（指针为空，或者指向的堆内存已经被释放）。
lock()如果当前 std::weak_ptr 已经过期，则该函数会返回一个空的 std::shared_ptr 指针；反之，该函数返回一个和当前 std::weak_ptr 指向相同的 std::shared_ptr 指针。

🚨🚨注意：weak_ptr<T> 模板类没有重载 * 和 -> 运算符，因此 weak_ptr 类型指针只能访问某一 shared_ptr 指针指向的堆内存空间，无法对其进行修改。

3. 使用示例

（1）weak_ptr指针的创建

创建 std::weak_ptr 指针的方式和创建 std::shared_ptr 的方式类似。下面列举了三种常见的创建 std::weak_ptr 的方式：

  1. 从 std::shared_ptr 创建

可以通过将 std::shared_ptr 赋值给 std::weak_ptr 来创建一个弱引用指针，例如：

std::shared_ptr<int> sptr = std::make_shared<int>(42);
std::weak_ptr<int> wptr(sptr);

上述代码中，我们首先创建了一个 std::shared_ptr 对象 sptr，它指向一个动态分配的 int 类型对象。然后，我们将 sptr 赋值给 std::weak_ptr 对象 wptr，创建了一个弱引用指针。

  1. 从 std::shared_ptr 转换

可以通过 std::shared_ptr 的 weak_ptr 成员函数，将 std::shared_ptr 转换为 std::weak_ptr，例如：

std::shared_ptr<int> sptr = std::make_shared<int>(42);
std::weak_ptr<int> wptr = sptr->weak_ptr();

上述代码中，我们首先创建了一个 std::shared_ptr 对象 sptr，它指向一个动态分配的 int 类型对象。然后，我们调用 sptr 的 weak_ptr() 成员函数，将 sptr 转换为 std::weak_ptr 对象 wptr，创建了一个弱引用指针。

  1. 使用 std::weak_ptr 的构造函数

可以直接使用 std::weak_ptr 的构造函数，创建一个空的弱引用指针，例如：

std::weak_ptr<int> wptr;

上述代码中，我们直接创建了一个空的 std::weak_ptr 对象 wptr，它不持有任何对象的引用。

（2）完整示例（解决上面循环引用问题）

使用 std::weak_ptr 修改上面的代码，可以将 _prev 和 _next 成员变量改为 std::weak_ptr<ListNode> 类型。这样可以避免循环引用，同时仍然可以访问链表中的前一个节点和后一个节点

struct ListNode
{
	int _data;
	weak_ptr<ListNode> _prev;
	weak_ptr<ListNode> _next;
	~ListNode() { cout << "~ListNode()" << endl; }
};

int main()
{
	shared_ptr<ListNode> node1(new ListNode);
	shared_ptr<ListNode> node2(new ListNode);
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;
	node1->_next = node2;
	node2->_prev = node1;
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;

	// 使用 weak_ptr.lock() 获取 shared_ptr 对象
	shared_ptr<ListNode> node1Next = node1->_next.lock();
	shared_ptr<ListNode> node2Prev = node2->_prev.lock();
	if (node1Next)
		cout << "node1 next data: " << node1Next->_data << endl;
	else
		cout << "node1 next is nullptr" << endl;
	if (node2Prev)
		cout << "node2 prev data: " << node2Prev->_data << endl;
	else
		cout << "node2 prev is nullptr" << endl;

	return 0;
}

运行上述代码，可以得到如下输出：

1
1
2
2
node1 next data: 0
node2 prev data: 0

在上面的代码示例中，我们创建了两个节点 node1 和 node2，并通过 std::weak_ptr 进行相互引用。

shared_ptr<ListNode> node1(new ListNode);
shared_ptr<ListNode> node2(new ListNode);

接下来，我们设置节点之间的关系。修改前的代码如下：

node1->_next = node2;
node2->_prev = node1;

我们将 _next 和 _prev 成员变量的类型从 shared_ptr<ListNode> 改为 weak_ptr<ListNode>：

weak_ptr<ListNode> _prev;
weak_ptr<ListNode> _next;

这样就建立了节点之间的弱引用关系，避免了循环引用。

接下来，我们可以通过 lock() 方法将 std::weak_ptr 转换为 std::shared_ptr，以访问所管理的对象。

shared_ptr<ListNode> node1Next = node1->_next.lock();
shared_ptr<ListNode> node2Prev = node2->_prev.lock();

如果 std::weak_ptr 不过期（即所管理的对象还存在），lock() 方法会返回一个有效的 std::shared_ptr 对象，否则返回空指针。

最后，我们可以使用这些 std::shared_ptr 对象来访问链表中的前驱和后继节点的数据。

if (node1Next)
    cout << "node1 next data: " << node1Next->_data << endl;
else
    cout << "node1 next is nullptr" << endl;

if (node2Prev)
    cout << "node2 prev data: " << node2Prev->_data << endl;
else
    cout << "node2 prev is nullptr" << endl;

通过这种方式，我们可以安全地访问链表中的前驱和后继节点，而不会导致循环引用和内存泄漏。

4. C++模拟实现

template<class T>
class weak_ptr
{
public:
    // 默认构造函数，将_ptr成员指针初始化为nullptr
    weak_ptr()
        :_ptr(nullptr)
    {}

    // 接受shared_ptr参数的构造函数，将_ptr成员指针初始化为shared_ptr所管理对象的指针
    weak_ptr(const shared_ptr<T>& sp)
        :_ptr(sp.get())
    {}

    // 重载*运算符，返回所管理对象的引用
    T& operator*()
    {
        return *_ptr;
    }

    // 重载->运算符，返回所管理对象的指针
    T* operator->()
    {
        return _ptr;
    }

    // 返回所管理对象的指针
    T* get()
    {
        return _ptr;
    }

private:
    T* _ptr; // 所管理对象的指针
};

这段代码是一个简化版的 weak_ptr 类的实现，提供了一些基本的功能。

首先，我们可以看到 weak_ptr 类有一个默认构造函数和一个接受 shared_ptr 参数的构造函数。默认构造函数将 _ptr 成员指针初始化为 nullptr，而接受 shared_ptr 参数的构造函数将 _ptr 成员指针初始化为 shared_ptr 所管理对象的指针。

接下来，我们可以看到 weak_ptr 重载了 * 和 -> 运算符，使得可以像使用指针一样，通过 weak_ptr 对象访问所管理的对象。operator*() 返回所管理对象的引用，operator->() 返回所管理对象的指针。

同时，weak_ptr 还提供了一个 get() 方法，返回 _ptr 指针，即所管理对象的指针。这允许用户直接访问 _ptr 指针，但需要注意，这种直接访问可能会导致悬空指针问题，因为 _ptr 指针可能已经无效（所管理对象已被释放）。

🚨🚨注意：这个简化版的 weak_ptr 实现没有考虑线程安全性。在实际应用中，weak_ptr 需要与其他智能指针共同使用，比如 shared_ptr、unique_ptr，并且需要考虑线程安全性和异常安全性。

温馨提示

感谢您对博主文章的关注与支持！另外，我计划在未来的更新中持续探讨与本文相关的内容，会为您带来更多关于C++以及编程技术问题的深入解析、应用案例和趣味玩法等。请继续关注博主的更新，不要错过任何精彩内容！

再次感谢您的支持和关注。期待与您建立更紧密的互动，共同探索C++、算法和编程的奥秘。祝您生活愉快，排便顺畅！
在这里插入图片描述

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：/a/347315.html

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

Pandas ------ 如果读取带有 multi-index 和 Multi-column 表头的数据

Pandas ------ 如果读取带有 multi-index 和 Multi-column 表头的数据

pandas ------ 如果读取带有 multi-index 和 Multi-column 表头的数据 引言正文 引言 之前我们在 《Pandas ------ 向 Excel 文件中写入含有 multi-index 和 Multi-column 表头的数据》 一文中介绍了如何向 Excel 文件中写入含有 multi-index 和 Multi-column 表头的数据。但是…
阅读更多...
电脑出现msvcp140.dll丢失错误弹窗怎么办，msvcp140.dll丢失的解决方法

电脑出现msvcp140.dll丢失错误弹窗怎么办，msvcp140.dll丢失的解决方法

在使用电脑的过程中出现关于“msvcp140.dll丢失”的错误弹窗&#xff0c;电脑出现这样的弹窗是通常或导致电脑中的一些程序不能正常运行&#xff0c;那么有什么办法可以解决这样的错误呢&#xff1f;今天就将和大家说说关于电脑出现msvcp140.dll丢失的解决办法。 一.使用dll修复…
阅读更多...
JVM问题排查手册

JVM问题排查手册

三万字长文&#xff1a;JVM内存问题排查Cookbook 一、Heap快照 # jmap命令保存整个Java堆&#xff08;在你dump的时间不是事故发生点的时候尤其推荐&#xff09; jmap -dump:formatb,fileheap.bin <pid> # jmap命令只保存Java堆中的存活对象, 包含live选项&#xff0c;…
阅读更多...
自动 CAPTCHA 解决方案，最佳 CAPTCHA 解决方案扩展 2024？

自动 CAPTCHA 解决方案，最佳 CAPTCHA 解决方案扩展 2024？

自动 CAPTCHA 解决方案&#xff0c;最佳 CAPTCHA 解决方案扩展 2024&#xff1f; 在迅速发展的数字领域中&#xff0c;高效的 CAPTCHA&#xff08;Completely Automated Public Turing tests to tell Computers and Humans Apart&#xff0c;完全自动化的全球公共图灵测试&…
阅读更多...
正则表达式第三四个作用：替换、切割

正则表达式第三四个作用：替换、切割

目录 方法二 replaceAll&#xff1a; 方法三&#xff1a;spilt&#xff1a; 方法一之前已经见过了&#xff1a; 方法二 replaceAll&#xff1a; 形参中&#xff1a; 参数regex表示一个正则表达式。可以将当前字符串中匹配regex正则表达式的字符串替换为newStr。 代码演示 S…
阅读更多...
什么是线程死锁

什么是线程死锁

死锁是指两个或两个以上的进程&#xff08;线程&#xff09;在执行过程中&#xff0c;由于竞争资 源或者由于彼此通信而造成的一种阻塞的现象&#xff0c;若无外力作用&#xff0c;它们都将无法推 进下去。此时称系统处于死锁状态或系统产生了死锁&#xff0c;这些永远在互相…
阅读更多...
SIP PRACK method

SIP PRACK method

PRACK 在rfc 3262中定义。 在RFC3261 中，provisonal response (1xx response)表示所联系的服务器正在执行一些进一步的操作，并且尚未有明确的响应。如果服务器预计需要超过 200 毫秒才能获得最终响应，则会发送 1xx 响应。临时（1xx）响应可以包含消息正文，包括会话描述。 p…
阅读更多...
MySQL--删除数据表(6)

MySQL--删除数据表(6)

MySQL中删除数据表是非常容易操作的&#xff0c;但是你在进行删除表操作时要非常小心&#xff0c;因为执行删除命令后所有数据都会消失。 语法 以下为删除 MySQL 数据表的通用语法&#xff1a; DROP TABLE table_name ; -- 直接删除表&#xff0c;不检查是否存在 或 DROP…
阅读更多...
语音方向精典论文品读_HuBERT

语音方向精典论文品读_HuBERT

英文名称: HuBERT: Self-Supervised Speech Representation Learning by Masked Prediction of Hidden Units 中文名称: HuBERT&#xff1a;通过隐藏单元的屏蔽预测进行自监督语音表示学习 链接: http://arxiv.org/abs/2106.07447v1 代码: https:// github.com/pytorch/fairseq…
阅读更多...
DevEco Studio打印console日志

DevEco Studio打印console日志

Button("MenuSimple").margin(10).onClick(() > {console.info(打印日志信息);console.info("普通的信息");console.debug("DEBUG级别的信息");console.warn("警告的信息");console.error("错误的信息");router.pushUrl(…
阅读更多...
6.Toast（Android）

6.Toast（Android）

愿你出走半生,归来仍是少年&#xff01; 环境&#xff1a;.NET 7、MAUI 在Maui开发中使用的Toast太丑了&#xff0c;在android项目中使用时不够看。通过Maui的安卓绑定库可实现将android中已有的包导入到C#项目中使用&#xff0c;借助这个方法就可以使用以前在android原生开发…
阅读更多...
Spring Security 之摘要认证

Spring Security 之摘要认证

摘要认证 注意： 在现代应用程序中不应该使用摘要认证，因为它不被认为是安全的。最明显的问题是你必须以明文或加密或 MD5 格式存储密码。所有这些存储格式都被认为是不安全的。相反，你应该使用单向自适应密码哈希（如 bCrypt、PBKDF2、SCrypt 等）来存储凭据，而这是摘要认…
阅读更多...
线性代数速通

线性代数速通

二---矩阵 逆矩阵 抽象矩阵求逆 数字型矩阵求逆 二阶矩阵求逆秒杀 解矩阵方程 方阵 伴随矩阵 三---向量组的线性相关性 线性表示 数字型向量组 线性相关性判断 抽象型向量组 线性相关性判断 向量组的秩与极大无关组 四---线性方程组 齐次方程组 基础解系 通解 非齐…
阅读更多...
Mediasoup Demo-v3笔记（一）——框架和Nodejs的基本语法

Mediasoup Demo-v3笔记（一）——框架和Nodejs的基本语法

Medisasop Demo的框架 Nodejs基本语法 后记   个人总结&#xff0c;欢迎转载、评论、批评指正
阅读更多...
E5 触发器的定义和应用

E5 触发器的定义和应用

一、实验目的: 熟练使用MySQL触发器的定义和应用。 二、实验要求: 1、基本硬件配置:英特尔Pentium III 以上,大于4G内存&#xff1b; 2、软件要求:Mysql&#xff1b; 3、时间:1小时&#xff1b; 4、撰写实验报告并按时提交。 三、实验内容: 问题1&#xff1a;创建触发器…
阅读更多...
Docker 魔法解密：探索 UnionFS 与 OverlayFS

Docker 魔法解密：探索 UnionFS 与 OverlayFS

本文主要介绍了 Docker 的另一个核心技术&#xff1a;Union File System。主要包括对 overlayfs 的演示&#xff0c;以及分析 docker 是如何借助 ufs 实现容器 rootfs 的。 1. 概述 Union File System Union File System &#xff0c;简称 UnionFS 是一种为 Linux FreeBSD NetB…
阅读更多...
应急响应红蓝工程师白帽子取证Linux和windows入侵排查还原攻击痕迹，追溯攻击者，以及各种木马和病毒以及恶意脚本文件排查和清除

应急响应红蓝工程师白帽子取证Linux和windows入侵排查还原攻击痕迹，追溯攻击者，以及各种木马和病毒以及恶意脚本文件排查和清除

应急响应红蓝工程师白帽子取证Linux入侵排查还原攻击痕迹，追溯攻击者，以及各种木马和病毒以及恶意脚本文件排查和清除。 一般服务器被入侵的迹象，包括但不局限于：由内向外发送大量数据包（DDOS肉鸡）、服务器资源被耗尽（挖矿程序）、不正常的端口连接（反向shell等）、服务…
阅读更多...
#常见问题总结#在docker中跑前端vue项目

#常见问题总结#在docker中跑前端vue项目

目录 前言一、no such file or directory, open...总结 前言 提示&#xff1a;这里可以添加本文要记录的大概内容&#xff1a; 记录在docker中跑前端项目过程中&#xff0c;我遇到的问题以及解决方法 提示&#xff1a;以下是本篇文章正文内容&#xff0c;下面案例可供参考 一…
阅读更多...
github 推送报错 ssh: connect to host github.com port 22: Connection timed out 解决

github 推送报错 ssh: connect to host github.com port 22: Connection timed out 解决

&#x1f680; 作者主页&#xff1a; 有来技术 &#x1f525; 开源项目&#xff1a; youlai-mall &#x1f343; vue3-element-admin &#x1f343; youlai-boot &#x1f33a; 仓库主页&#xff1a; Gitee &#x1f4ab; Github &#x1f4ab; GitCode &#x1f496; 欢迎点赞…
阅读更多...
伦敦金技术分析如何避免事后诸葛的尴尬

伦敦金技术分析如何避免事后诸葛的尴尬

技术分析是我们分析伦敦金走势的常用工具&#xff0c;但技术分析长期因为“事后诸葛”的特点而备受一些投资者责难。那有没有什么办法可以避免这种事后诸葛的尴尬呢&#xff1f;下面我们就来讨论一下。 技术分析的事后诸葛是指&#xff0c;在当下用技术分析方法进行分析判断时经…
阅读更多...
最新文章

Copyright @ 2022~2023