手写智能指针:带你彻底搞懂 C++ 内存管理的底层逻辑

博主介绍:程序喵大人

📚《C++藏经阁》知识库 已在 ima 上线!知识库现阶段所涵盖的内容如下图所示👇👇👇

📌 对知识库感兴趣的同学可以厚台踢我或点击 👉 C++藏经阁(轻触跳转)查看知识库完整介绍~

一、裸指针的困境

先来看一段典型的裸指针代码:

cpp 复制代码
void foo() {
    MyClass* p = new MyClass();
    // 业务逻辑
    delete p;  // 如果忘了,内存泄漏
}

如果 delete p 忘写,程序就会内存泄漏;如果写了两次,程序又可能崩溃。

裸指针的手动管理不但繁琐,还容易引入难以察觉的错误。

二、智能指针的设计目标

智能指针本质是一个类,封装裸指针,负责:

  • 自动释放资源,防止内存泄漏
  • 明确资源所有权,防止重复释放
  • 操作简洁,支持类似裸指针的访问方式

三、手写独占智能指针 ------ SimpleSmartPtr

我们先实现一个独占式智能指针,它独自拥有指针资源,不允许复制,只能移动。

cpp 复制代码
template<typename T>
class SimpleSmartPtr {
    T* ptr;

public:
    // 构造函数,默认nullptr
    explicit SimpleSmartPtr(T* p = nullptr) : ptr(p) {}

    // 析构函数,释放资源
    ~SimpleSmartPtr() {
        delete ptr;
    }

    // 禁止拷贝构造和拷贝赋值,防止重复释放
    SimpleSmartPtr(const SimpleSmartPtr&) = delete;
    SimpleSmartPtr& operator=(const SimpleSmartPtr&) = delete;

    // 支持移动构造,实现资源转移
    SimpleSmartPtr(SimpleSmartPtr&& other) noexcept : ptr(other.ptr) {
        other.ptr = nullptr;
    }

    // 支持移动赋值,实现资源转移
    SimpleSmartPtr& operator=(SimpleSmartPtr&& other) noexcept {
        if (this != &other) {
            delete ptr;         // 释放原有资源
            ptr = other.ptr;    // 接管新资源
            other.ptr = nullptr; // 置空旧指针
        }
        return *this;
    }

    // 解引用操作符,支持指针操作
    T& operator*() const { return *ptr; }
    T* operator->() const { return ptr; }

    // 获取裸指针
    T* get() const { return ptr; }
};

关键点详解:

  • 构造函数 接收一个裸指针,默认 nullptr
  • 析构函数 确保指针析构时,资源自动释放。
  • 禁止拷贝:防止多个智能指针同时管理同一资源,避免双重释放。
  • 支持移动:允许智能指针资源所有权转移,防止资源浪费。
  • 操作符重载:让智能指针表现得像普通指针,方便使用。

四、为什么禁止拷贝?为什么要支持移动?

如果允许拷贝:

cpp 复制代码
SimpleSmartPtr<MyClass> p1(new MyClass());
SimpleSmartPtr<MyClass> p2 = p1;  // 拷贝,两个智能指针指向同一个裸指针

两个智能指针都会在析构时 delete 同一指针,导致重复释放,程序崩溃。

移动语义允许资源所有权在智能指针之间安全转移:

cpp 复制代码
SimpleSmartPtr<MyClass> p2 = std::move(p1);  // p2接管资源,p1置空

这样避免了重复释放,也能灵活转移资源。

五、引用计数智能指针 shared_ptr 基本思路

独占式智能指针不能满足多处共享对象需求。C++ 标准库提供了 std::shared_ptr,通过引用计数实现资源共享管理。

核心原理是:

  • 引用计数存放在堆上,所有 shared_ptr 实例共享
  • 每次拷贝构造/赋值计数加1,析构计数减1
  • 计数为0时释放资源

手写引用计数智能指针虽然稍复杂,但思路简单:增加一个计数器成员指针,管理引用次数。

六、weak_ptr 的角色

当两个对象相互持有 shared_ptr,就会产生循环引用,导致计数永远不为0,资源泄漏。

weak_ptr 是一种不增加引用计数的智能指针,专门用来观察 shared_ptr,避免循环引用。

七、小结

通过手写智能指针,你不仅能:

  • 理解 RAII(资源获取即初始化)理念
  • 掌握移动语义、禁止拷贝的重要设计
  • 理解资源所有权与生命周期管理
  • 理解引用计数智能指针的基本原理

还能让你写出更安全、高效、易维护的现代 C++ 代码。

码字不易,欢迎大家点赞,关注,评论,谢谢!

👉C++训练营

一个专为校招、社招3年工作经验的同学打造的 1v1 项目实战训练营,量身定制学习计划、每日代码review,简历优化,面试辅导,已帮助多名学员获得大厂offer!

相关推荐
先知后行。27 分钟前
QT实现计算器
开发语言·qt
掘根27 分钟前
【Qt】常用控件3——显示类控件
开发语言·数据库·qt
GUIQU.33 分钟前
【QT】嵌入式开发:从零开始,让硬件“活”起来的魔法之旅
java·数据库·c++·qt
西阳未落4 小时前
C++基础(21)——内存管理
开发语言·c++·面试
我的xiaodoujiao4 小时前
Windows系统Web UI自动化测试学习系列2--环境搭建--Python-PyCharm-Selenium
开发语言·python·测试工具
callJJ5 小时前
从 0 开始理解 Spring 的核心思想 —— IoC 和 DI(2)
java·开发语言·后端·spring·ioc·di
超级大福宝5 小时前
使用 LLVM 16.0.4 编译 MiBench 中的 patricia遇到的 rpc 库问题
c语言·c++
wangjialelele5 小时前
Linux中的线程
java·linux·jvm·c++
hsjkdhs6 小时前
万字详解C++之构造函数析构函数
开发语言·c++
Lin_Aries_04217 小时前
容器化简单的 Java 应用程序
java·linux·运维·开发语言·docker·容器·rpc