手写智能指针:带你彻底搞懂 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!

相关推荐
草莓熊Lotso2 小时前
【C++】详解形参和实参:别再傻傻分不清
c语言·开发语言·c++·经验分享·笔记·其他
百度森森3 小时前
【nuscenes数据集有关】
c++·数码相机·学习·ubuntu
吗喽对你问好3 小时前
Java场景题面试合集
java·开发语言·面试
一眼万里*e3 小时前
用ai写了个UE5插件
c++·ue5
He1955013 小时前
Go初级之九:Select 与并发控制
开发语言·后端·golang
R-G-B3 小时前
【75】OpenCV C++实战篇——OpenCV 图像拼接、全景拼接(教程合集)
c++·人工智能·opencv·图像拼接·opencv 图像拼接·opencv 图像全景拼接·图像全景拼接
玩镜的码农小师兄3 小时前
[从零开始面试算法] (11/100) LeetCode 226. 反转二叉树:递归的“镜像”魔法
c++·算法·leetcode·面试·递归·hot100
不要再敲了3 小时前
Java 流程控制:从入门到面试的全方位指南
java·开发语言·面试
@HNUSTer4 小时前
基于 HTML、CSS 和 JavaScript 的智能图像虚化系统
开发语言·前端·javascript·css·html