c++中如何实现简单的垃圾回收机制_c++引用计数技术原理

C++标准不自带垃圾回收,因其坚持“零开销抽象”设计哲学;所谓GC实为手动模拟的引用计数智能指针(如std::shared_ptr),需用weak_ptr打破循环引用,且不适用于高频短生命周期场景。

为什么 C++ 标准不自带垃圾回收

C++ 的设计哲学是“零开销抽象”,newdelete 的行为完全由程序员控制,运行时无隐式内存管理开销。标准直到 C++11 才引入实验性 GC 接口(如 std::declare_reachable),但从未被主流实现启用,也未纳入语言核心机制。所以所谓“C++ 垃圾回收”,实际指**手动模拟的引用计数智能指针**,而非 Java/Python 那种后台扫描式 GC。

std::shared_ptr 是最常用的引用计数实现

它通过控制块(control block)独立记录引用计数与弱引用计数,对象生命周期由强引用数决定。关键点不是“自动释放”,而是“谁最后一个释放谁 delete”。

  • 构造时计数 +1,拷贝/赋值时计数 +1,析构/重置时计数 −1
  • 当强引用计数降为 0,自动调用 delete(或自定义删除器)
  • 循环引用会导致内存泄漏——shared_ptr 本身无法打破环,必须配合 weak_ptr
  • 控制块分配额外内存(通常一次 new 分配对象+控制块),有轻微性能开销
struct Node {
    std::shared_ptr next;
    ~Node() { std::cout << "Node destroyed\n"; }
};

int main() { auto a = std::make_shared(); auto b = std::make_shared(); a->next = b; // 强引用 b->next = a; // 循环引用 → a、b 永远不会析构 }

如何避免循环引用:用 weak_ptr 打破强引用环

weak_ptr 不增加强引用计数,只观察对象是否还存在。它不能直接访问对象,必须先调用 lock() 转成 shared_ptr,失败则说明对象已销毁。

  • weak_ptr 构造/拷贝不改变强计数,仅影响弱计数(用于控制块自身释放)
  • lock() 成功返回非空 shared_ptr,且此时强计数 +1;失败返回空 shared_ptr
  • 典型场景:树结构中父节点持子节点 shared_ptr,子节点用 weak_ptr 指向父节点
struct TreeNode {
    std::shared_ptr parent;
    std::vector> children;
    // parent 是 weak_ptr,避免父子互相 hold
    std::weak_ptr parent_weak;
void set_parent(std::shared_ptrzuojiankuohaophpcnTreeNodeyoujiankuohaophpcn p) {
    parent_weak = p; // 不增加 parent 的强引用计数
}

std::shared_ptrzuojiankuohaophpcnTreeNodeyoujiankuohaophpcn get_parent() {
    return parent_weak.lock(); // 安全获取,可能为空
}

};

手写简易引用计数类要注意什么

除非教学或嵌入式极端受限场景,否则不要自己实现。但理解其原理有助于排查问题:

  • 计数变量必须是原子类型(如 std::atomic_int),否则多线程下 ++/-- 竞态
  • 控制块和对象最好分开分配,否则 delete 时无法定位控制块地址
  • 自定义删除器必须能访问控制块(例如通过虚函数或函数指针)
  • 禁止从裸指针重复构造多个计数对象(即不能对同一 new 出来的地址多次调用 make_shared 或自定义构造)

最容易被忽略的是:引用计数解决的是“谁负责释放”,不是“何时释放最高效”。在高频短生命周期对象场景(如游戏帧内临时数据),频繁原子操作反而比栈分配+手动清理更慢。