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

为什么 C++ 标准不自带垃圾回收
C++ 的设计哲学是“零开销抽象”,new 和 delete 的行为完全由程序员控制,运行时无隐式内存管理开销。标准直到 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 或自定义构造)
最容易被忽略的是:引用计数解决的是“谁负责释放”,不是“何时释放最高效”。在高频短生命周期对象场景(如游戏帧内临时数据),频繁原子操作反而比栈分配+手动清理更慢。











