智能指针:告别内存泄漏的利器----《Hello C++ Wrold!》(27)--(C/C++)

智能指针:告别内存泄漏的利器----《Hello C++ Wrold!》(27)--(C/C++)

文章目录

前言

在 C++ 编程中,动态内存管理始终是开发者面临的核心挑战之一。手动使用new分配内存、delete释放内存的模式,不仅需要开发者时刻关注内存生命周期,更可能因疏忽导致内存泄漏(忘记调用delete)、二次释放(重复调用delete),或是在异常抛出时因执行流跳转跳过delete语句等问题 —— 这些隐患轻则导致程序性能退化,重则引发崩溃或不可预期的运行错误,成为项目中难以排查的 “隐形 bug”。

为解决这一痛点,C++ 标准库引入了智能指针这一核心工具。它基于 “资源获取即初始化”(RAII)的设计思想,将动态内存资源封装为对象的成员,利用 C++ 对象自动调用析构函数的特性,实现内存的 “自动释放”,从根本上减少手动管理内存的负担与风险。

本文将系统梳理智能指针的核心作用、实现原理,并针对 C++ 标准库中不同类型的智能指针(auto_ptr、unique_ptr、shared_ptr、weak_ptr)展开详细解析:包括它们的设计逻辑、模拟实现代码、适用场景,以及如何规避shared_ptr循环引用等典型问题。同时,文中还将补充 “删除定制器” 等进阶用法,帮助开发者根据实际需求灵活应对复杂的内存管理场景,最终掌握高效、安全的 C++ 动态内存管理方案。

智能指针的作用

作用:如果正确使用了智能指针的话,就不用自己手动delete

自己手动delete容易忽略的地方:在抛异常时容易跳过自己写的delete或者自己忘记delete

智能指针的实现和原理

原理:资源交给对象管理,对象生命周期内,资源有效;对象生命周期到了,释放资源–用的是RAII思想

–在实现的时候要让这个对象的用法像指针一样哈
智能指针的实现:template<classT>classSmartPtr{public:SmartPtr(T* ptr):_ptr(ptr){}~SmartPtr(){delete _ptr;} T&operator*(){return*_ptr;} T*operator->(){return _ptr;}private: T* _ptr;}; 用的话就eg:SmartPtr<string>sp(newstring("renshen"));
但是这种智能指针有个问题:

库里面的智能指针

不需要拷贝的场景,一般使用unique_ptr

需要拷贝的场景,一般使用shared_ptr–但是要小心循环引用

std::auto_ptr

这个是C++98实现的 原理其实就是管理权的转移–eg:在拷贝,会把被拷贝对象的资源管理权转移给拷贝对象,被拷贝对象悬空

这个智能指针也是基于RAII思想搞出来的
这个智能指针有很大的弊端:如果管理权被转移了的话,之前那个指针就会变成空指针

–因此很多公司都是明令禁止使用的

auto_ptr的模拟实现

template<classT>classauto_ptr{public:auto_ptr(T* ptr):_ptr(ptr){}~auto_ptr(){delete _ptr;} T&operator*(){return*_ptr;} T*operator->(){return _ptr;}auto_ptr(auto_ptr<T>& ap):_ptr(ap._ptr){ ap._ptr =nullptr;}//其实还有=号,->会把eg:sp1 = sp2的sp1原来的内存delete掉,然后管理权转移private: T* _ptr;}; 使用eg:A是一个类 auto_ptr<A>ap1(newA(5));//new A(5)这可不是什么匿名对象

std::unique_ptr

unique_ptr,shared_ptrweak_ptr是Boost库先实现的(底层和名字稍有不同),后来C++11也支持这几个智能指针的使用了
unique_ptr的话就是直接让智能指针不能拷贝和赋值+管理权转移

–这个智能指针也是基于RAII思想实现的

unique_ptr的模拟实现

template<classT>classunique_ptr{public:unique_ptr(T* ptr):_ptr(ptr){}~unique_ptr(){delete _ptr;} T&operator*(){return*_ptr;} T*operator->(){return _ptr;}unique_ptr(unique_ptr<T>& ap)=delete; unique_ptr<T>&operator=(unique_ptr<T>& ap)=delete;//除了这种办法:还能private这个成员函数,并且只声明不实现private: T* _ptr;}; 使用:unique_ptr<A>up1(newA(5));
引申:一般拷贝不让实现的话,赋值也不能实现–就像上面禁止就一起禁止了

std::shared_ptr

这个智能指针是最全面的–一般都是用的这个,然后有循环引用的时候搭配weak_ptr

–也是RAII思想实现的

原理:通过引用计数的方式来实现多个shared_ptr对象之间共享资源

shared_ptr的模拟实现

template<classT>classshared_ptr{public:shared_ptr(T* ptr =nullptr):_ptr(ptr),_pcount(newint(1)){}template<classD>shared_ptr(T* ptr, D del):_ptr(ptr),_pcount(newint(1)),_del(del){}~shared_ptr(){if(--(*_pcount)==0)//注意理解这里{_del(_ptr);delete _pcount;}} T&operator*(){return*_ptr;} T*operator->(){return _ptr;}shared_ptr(const shared_ptr<T>& sp):_ptr(sp._ptr),_pcount(sp._pcount){++(*_pcount);} shared_ptr<T>&operator=(const shared_ptr<T>& sp){if(_ptr == sp._ptr)return*this;//注意自己给自己赋值这个场景--一般都需要考虑if(--(*_pcount)==0){delete _ptr;delete _pcount;} _ptr = sp._ptr; _pcount = sp._pcount;++(*_pcount);return*this;//赋值的话一般return =前面的那个操作数} T*get()const{return _ptr;}private: T* _ptr;int* _pcount;//这里的计数 用静态的:static int count是不行的 function<void(T*)> _del =[](T* ptr){delete ptr;};//这个_del的类型很巧妙}; 用法: shared_ptr<A>sp1(newA(1)); 注意:shared_ptr<A>跟A可不是一个类型 
引申:编译器对越界访问的检查一般不是很彻底的

shared_ptr的一个弊端

shared_ptr在遇到循环引用的时候也是会内存泄漏的

std::weak_ptr

weak_ptr这个智能指针不是RAII思想的,他的唯一作用就是解决shared_ptr的循环引用问题的

这个智能指针可以访问资源,但是不参与资源释放的解决

weak_ptr不能管理资源!!!

注意:weak_ptr库里面实现了让他可以和shared_ptr相互转换

weak_ptr的模拟实现

template<classT>classweak_ptr{public:weak_ptr():_ptr(nullptr){}weak_ptr(const shared_ptr<T>& sp):_ptr(sp.get()){} weak_ptr<T>&operator=(const shared_ptr<T>& sp){ _ptr = sp.get();return*this;} T&operator*(){return*_ptr;} T*operator->(){return _ptr;}private: T* _ptr;};//weak_ptr其实也是可以转换成shared_ptr的,只是自己没有实现罢了

删除定制器

在智能指针使用过程中,可以会有new[]或者malloc出来的空间,这些空间用delete根本不行–此时就需要删除定制器了
库里面的话,是给unique_ptrshared_ptr配备了删除定制器的

这里的话,自己模拟实现一下shared_ptr的删除定制器(在上面的模拟实现里面自己写了的)

作业部分

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

Read more

Python 入门必吃透:函数、列表与元组核心用法(附实战案例)

Python 入门必吃透:函数、列表与元组核心用法(附实战案例)

🔥草莓熊Lotso:个人主页 ❄️个人专栏: 《C++知识分享》《Linux 入门到实践:零基础也能懂》 ✨生活是默默的坚持,毅力是永久的享受! 🎬 博主简介: 文章目录 * 前言: * 一. 函数:告别重复代码的 “代码工厂” * 1.1 为什么需要函数? * 1.2 函数的核心语法(重点) * 1.3 函数的进阶用法(嵌套 + 递归) * 1.4 函数核心小结 * 二. 列表和元组:批量存储数据的 “容器” * 2.1 列表(list):最常用的可变容器 * 2.2 元组(tuple):不可变的序列容器 * 2.3 列表的元组小结 * 结尾:

By Ne0inhk
一篇带你速通差分算法(C/C++)

一篇带你速通差分算法(C/C++)

个人主页:摆烂小白敲代码 创作领域:算法、C/C++ 持续更新算法领域的文章,让博主在您的算法之路上祝您一臂之力 欢迎各位大佬莅临我的博客,您的关注、点赞、收藏、评论是我持续创作最大的动力 差分算法是一种在计算机科学中常用的算法,特别是在处理序列数据时,它可以帮助我们快速计算出序列中相邻元素的差值。时间复杂度可以达到O(1),在C++中实现差分算法不仅可以提高程序的效率,还可以简化代码的复杂度。本文将详细介绍差分算法的原理、C++实现方法以及算法例题。  算法原理 上一篇博客一篇带你速通前缀和算法(C/C++)-ZEEKLOG博客我们介绍了前缀和算法,这一篇文章就与前缀和算法相反为差分算法。 一维差分: 差分算法的核心思想是利用已有的数据序列,通过计算相邻元素之间的差值来生成一个新的序列。对于一个给定的序列 a=[a1 ,a2 ,...,an ],其差分序列 d 可以表示为:d[i]=a[i]−a[i-1]。差分数组长度一般为原定序列长度+1,即:

By Ne0inhk

全面了解 nlohmann/json:现代 C++ 的 JSON 处理利器

一、概述:为什么选择nlohmann/json? nlohmann/json 是由德国程序员 Niels Lohmann 开发的一个开源C++ JSON库,自2013年发布以来,因其极简的API设计、零依赖的头文件库特性,以及完整的现代C++支持,迅速成为C++社区中最受欢迎的JSON库(GitHub星标超38k)。相较于传统JSON库(如JsonCpp),它具有以下革命性优势: 1. 强类型安全:提供at()安全访问、类型检查API 2. 跨平台:支持Windows/Linux/macOS及嵌入式系统 3. 高性能:比JsonCpp快2倍以上(官方基准测试) 直觉式语法:操作JSON像写JavaScript一样自然 j["user"]["name"]="Alice";// 链式访问 适用场景:

By Ne0inhk
【C++DFS 马拉车】3327. 判断 DFS 字符串是否是回文串|2454

【C++DFS 马拉车】3327. 判断 DFS 字符串是否是回文串|2454

本文涉及知识点 C++DFS 马拉车 LeetCode3327. 判断 DFS 字符串是否是回文串 给你一棵 n 个节点的树,树的根节点为 0 ,n 个节点的编号为 0 到 n - 1 。这棵树用一个长度为 n 的数组 parent 表示,其中 parent[i] 是节点 i 的父节点。由于节点 0 是根节点,所以 parent[0] == -1 。 给你一个长度为 n 的字符串 s ,其中 s[i] 是节点 i 对应的字符。 Create the

By Ne0inhk