在C++现代开发中，智能指针极大简化了动态内存管理，但shared_ptr的盲目使用容易引发环形引用。当两个对象通过shared_ptr相互引用时，彼此的强引用计数都无法降为零，对象永远不会被释放。weak_ptr配合独立的弱引用计数机制，正是标准库给出的解决方案。
环形引用是如何产生的
考虑一个简单的场景：节点A和节点B各自包含一个指向对方的shared_ptr。即使外部不再使用这两个节点，它们内部的shared_ptr仍互相保持对方存活，强引用计数停留在1，内存泄漏随之发生。
#include <memory>
#include <iostream>
struct Node {
std::shared_ptr<Node> next;
~Node() { std::cout << "Node destroyedn"; }
};
int main() {
auto a = std::make_shared<Node>();
auto b = std::make_shared<Node>();
a->next = b; // b强引用计数+1
b->next = a; // a强引用计数+1
// 离开作用域时，a和b局部shared_ptr销毁，但互相引用导致计数不为0
return 0;
}
弱引用计数机制的原理
每个被shared_ptr管理的对象背后都有一个控制块，其中记录两项数据：强引用计数（shared count）与弱引用计数（weak count）。shared_ptr构造或拷贝时强引用加一；weak_ptr由shared_ptr构造时只增加弱引用计数，不影响强引用。
- 强引用计数为0时，对象本身被销毁。
- 弱引用计数为0时，控制块内存被释放。
- weak_ptr不拥有对象，因此不会阻止对象析构。
使用weak_ptr打破环
将其中一个方向的shared_ptr改为weak_ptr，环就被打破。此时强引用计数可以正常归零，对象得以释放，弱引用仅用于后续安全地观察。
#include <memory>
#include <iostream>
struct Node {
std::weak_ptr<Node> next; // 改为弱引用
~Node() { std::cout << "Node destroyedn"; }
};
int main() {
auto a = std::make_shared<Node>();
auto b = std::make_shared<Node>();
a->next = b; // 仅弱引用计数+1，不影响b强引用
// 离开作用域，a和b强引用归零，对象销毁
return 0;
}
weak_ptr的安全访问
由于weak_ptr不保证对象存活，使用前需通过lock()尝试提升为shared_ptr，若对象已释放则得到空指针。
#include <memory>
#include <iostream>
void use_weak(std::weak_ptr<int> wp) {
if (auto sp = wp.lock()) {
std::cout << "value: " << *sp << "n";
} else {
std::cout << "object expiredn";
}
}
强弱引用计数协作总结
下表对比了shared_ptr与weak_ptr在计数上的行为差异：
| 指针类型 | 强引用计数 | 弱引用计数 | 是否拥有对象 |
|---|---|---|---|
| shared_ptr | 增减 | 不增 | 是 |
| weak_ptr | 不变 | 增减 | 否 |
合理运用weak_ptr与弱引用计数，可以在保留对象关联能力的同时，彻底规避智能指针环形引用带来的内存泄漏风险。