C++怎么实现一个简单的垃圾回收机制_C++智能指针与引用计数GC

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

C++怎么实现一个简单的垃圾回收机制_C++智能指针与引用计数GC

2025-11-24

浏览次数：次

返回列表

C++中可通过智能指针模拟自动内存管理，std::shared_ptr基于引用计数实现对象生命周期管理，避免内存泄漏；循环引用问题可用std::weak_ptr解决；自定义SimplePtr可演示原理，但实际推荐使用标准库智能指针。

c++怎么实现一个简单的垃圾回收机制_c++智能指针与引用计数gc

在C++中，虽然没有像J*a或C#那样的自动垃圾回收机制（GC），但我们可以通过智能指针和引用计数的方式模拟一个简单的自动内存管理机制。这种方式能有效避免内存泄漏，提升代码的安全性和可维护性。

智能指_ptr与引用计数的基本原理

引用计数是一种常见的资源管理技术：每当有一个对象指针指向某块内存时，该内存的引用计数加1；当指针被销毁或指向其他对象时，引用计数减1；当引用计数变为0时，说明没有指针再使用这块内存，可以安全释放。

C++标准库中的 std::shared_ptr 就是基于引用计数实现的智能指针。它自动管理动态分配的对象生命周期，无需手动调用 delete。

示例代码：

#include <memory><br>#include <iostream><br><br>struct MyClass {<br>    MyClass() { std::cout << "MyClass 构造\n"; }<br>    ~MyClass() { std::cout << "MyClass 析构\n"; }<br>};<br><br>int main() {<br>    {<br>        std::shared_ptr<MyClass> ptr1 = std::make_shared<MyClass>();<br>        {<br>            std::shared_ptr<MyClass> ptr2 = ptr1; // 引用计数 +1<br>            std::cout << "当前引用计数: " << ptr1.use_count() << "\n"; // 输出 2<br>        } // ptr2 离开作用域，引用计数 -1<br>        std::cout << "ptr2 销毁后引用计数: " << ptr1.use_count() << "\n"; // 输出 1<br>    } // ptr1 销毁，引用计数为0，自动析构对象<br>    return 0;<br>}

如何避免循环引用问题

引用计数最大的问题是循环引用：两个或多个对象互相持有 shared_ptr，导致引用计数永远不为0，内存无法释放。

解决方法是使用 std::weak_ptr，它是一个弱引用指针，不会增加引用计数，仅用于临时访问 shared_ptr 管理的对象。

示例：用 weak_ptr 打破循环

PictoGraphic

AI驱动的矢量插图库和插图生成平台

133 查看详情 PictoGraphic

#include <memory><br><br>struct Node {<br>    std::shared_ptr<Node> parent;<br>    std::weak_ptr<Node> child; // 使用 weak_ptr 避免循环<br><br>    ~Node() { std::cout << "Node 被销毁\n"; }<br>};<br><br>int main() {<br>    auto node1 = std::make_shared<Node>();<br>    auto node2 = std::make_shared<Node>();<br><br>    node1->child = node2;<br>    node2->parent = node1; // parent 是 shared_ptr，但 child 是 weak_ptr<br><br>    // 当 main 结束时，两个节点都能正确释放<br>    return 0;<br>}

自定义简单GC思路（教学用途）

如果你想从零实现一个极简的引用计数GC，可以封装一个带计数器的结构体，手动管理增减计数。

以下是一个简化版示例：

template<typename T><br>class SimplePtr {<br>private:<br>    T* ptr;<br>    int* count;<br><br>public:<br&gt;    explicit SimplePtr(T* p) : ptr(p), count(new int(1)) {}<br><br>    SimplePtr(const SimplePtr& other) : ptr(other.ptr), count(other.count) {<br>        (*count)++;<br>    }<br><br>    SimplePtr& operator=(const SimplePtr& other) {<br>        if (this != &other) {<br>            release();<br>            ptr = other.ptr;<br>            count = other.count;<br>            (*count)++;<br>        }<br>        return *this;<br>    }<br><br>    void release() {<br>        (*count)--;<br>        if (*count == 0) {<br>            delete ptr;<br>            delete count;<br>        }<br>    }<br><br>    ~SimplePtr() { release(); }<br><br>    T& operator*() { return *ptr; }<br>    T* operator->() { return ptr; }<br>};