C++实现简单的垃圾回收(GC)机制 _ 智能指针计数原理【详解】

解决方式只有两个：

• 一方改用 weak_ptr：它不增加引用计数，访问前需调用 lock() 转成 shared_ptr，失败说明对象已销毁
• 手动打破循环：比如在析构函数中显式清空对方持有的指针，或用回调/信号机制解耦

注意：weak_ptr 不是“弱引用 GC”，它只是避免计数干扰，不提供自动清理能力。

裸指针和智能指针混用的典型 crash 场景

实践中常见的错误现象：

• shared_ptr p1(new T); T* raw = p1.get(); delete raw; → double-free，程序大概率崩溃
• T* ptr = new T; shared_ptr p1(ptr); shared_ptr p2(ptr); → 两个独立计数器，各自 delete 同一块内存
• return &local_obj; 然后用 shared_ptr 包装返回值 → 指向栈内存，析构时 delete 栈地址，UB（未定义行为）

根本原因在于：C++ 允许任意指针转换（reinterpret_cast）、无统一基类、无运行时类型信息（RTTI 不覆盖所有场景），所以任何“全局扫描指针图”的 GC 方案，在标准 C++ 下都无法安全实现。

如果你真需要类似 GC 的行为，只能妥协

这不是推荐做法，而是现实约束下的权衡：

• 用 std::shared_ptr + std::weak_ptr 组合，严格约定所有权边界，禁用裸指针传递对象生命周期
• 对容器类（如树、图）做侵入式引用计数（intrusive_ptr），把计数器嵌入对象，但要求所有使用者都走同一套接口
• 引入第三方库如 BDW GC（Boehm-Demers-Weiser），但它禁止栈上指针逃逸、不支持 placement new、无法处理 union 中的指针，且与 STL 容器兼容性差

最常被忽略的一点：哪怕用了 shared_ptr，只要存在异常提前退出、或跨线程共享未加锁访问计数器（非原子操作），仍可能触发未定义行为——它默认是非线程安全的，多线程下必须用 std::atomic 或启用编译器的线程安全模式。