代码仓库shanchuann/CPP-Learninng

weak_ptr 是 C++11 标准中专为配合 shared_ptr 设计的弱引用智能指针，不属于独立的资源管理指针，不具备普通指针的解引用、成员访问能力，核心定位是共享资源的生命周期观测者，而非所有者。其设计的核心目的，就是破解 shared_ptr 的循环引用难题，同时规避共享场景下的悬空指针非法访问风险，填补 shared_ptr 共享机制的安全漏洞，是现代 C++智能指针体系中不可或缺的配套组件。

底层核心特性

  • 不占用强引用计数： weak_ptr 绑定 shared_ptr 后，仅递增控制块内的弱引用计数，绝对不影响 shared_ptr 的强引用计数，不会延长托管对象的生命周期，这是破解循环引用的核心原理；
  • 无资源所有权： weak_ptr 不负责对象的创建与释放，既不会接管资源，也不会触发析构释放，全程仅观测对象生命周期，不干预 shared_ptr 的资源管控逻辑；
  • 依赖 shared_ptr 初始化： weak_ptr 无法直接通过 new 或裸指针初始化，只能通过已有的 shared_ptr 或其他 weak_ptr 拷贝、移动初始化，和 shared_ptr 共用同一个引用计数控制块；
  • 多线程安全兼容：弱引用计数的增减同样采用原子操作，和 shared_ptr 的强引用计数保持一致的线程安全性，多线程场景下可安全观测共享资源；
  • 无默认指针运算符：未重载*、->运算符，无法直接访问托管对象，必须先转换为合法的 shared_ptr 后再操作，从语法层面杜绝悬空访问。

接口全解与实操

weak_ptr 的接口数量少、功能专一，全部围绕生命周期观测与安全访问设计，五大核心接口功能明确，适配不同使用场景，具体用法与代码示例如下：

  • use_count()：获取当前观测对象的强引用计数值，可实时查看有多少个 shared_ptr 持有该资源，多用于调试排查循环引用、生命周期异常问题；
  • expired()：判断观测对象是否已被释放，返回 bool 值， true 代表资源已销毁、指针悬空， false 代表资源仍有效，是访问前的核心校验步骤；
  • lock()：将 weak_ptr 安全转换为 shared_ptr ，若资源未销毁则返回有效 shared_ptr ，若已销毁则返回空 shared_ptr ，这是 weak_ptr 访问对象的唯一合法方式；
  • reset()：重置 weak_ptr ，断开与当前观测资源的关联，弱引用计数递减，不影响强引用计数与资源本身；
  • swap()：交换两个 weak_ptr 的观测对象，无资源拷贝、无计数变动，效率极高。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#include <iostream>
#include <memory>
using namespace std;

class Test {
public:
    Test() { cout << "Test对象创建" << endl; }
    ~Test() { cout << "Test对象销毁" << endl; }
    void show() { cout << "Test对象方法调用" << endl; }
};

int main() {
    // 1. 创建shared_ptr，初始化weak_ptr
    shared_ptr<Test> sp = make_shared<Test>();
    weak_ptr<Test> wp(sp);  // 仅弱引用计数+1，强引用仍为1

    // 2. 查看强引用计数
    cout << "当前强引用计数：" << wp.use_count() << endl;

    // 3. 安全访问：先判断是否过期，再lock转换
    if (!wp.expired()) {
        shared_ptr<Test> tmp = wp.lock();
        tmp->show();
    }

    // 4. 释放原shared_ptr，资源销毁
    sp.reset();
    cout << "是否已过期：" << boolalpha << wp.expired() << endl;

    // 5. 过期后lock返回空指针，无法访问
    shared_ptr<Test> fail_sp = wp.lock();
    if (!fail_sp) {
        cout << "资源已销毁，无法访问" << endl;
    }
    return 0;
}

循环引用问题

循环引用是 shared_ptr 较为常见的内存泄漏场景，核心表现为两个及以上对象通过 shared_ptr 相互持有，形成闭环，导致强引用计数无法归零，资源无法正常释放。 weak_ptr 通过替换其中一方的强引用为弱引用，打破闭环，是标准的解决方案，对比案例如下：

错误案例：循环引用导致内存泄漏

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
class A;
class B;
class A {
public:
    shared_ptr<B> pb;  // 强引用，持有B
    ~A() { cout << "A对象销毁" << endl; }
};
class B {
public:
    shared_ptr<A> pa;  // 强引用，持有A，形成闭环
    ~B() { cout << "B对象销毁" << endl; }
};
int main() {
    shared_ptr<A> a = make_shared<A>();
    shared_ptr<B> b = make_shared<B>();
    a->pb = b;
    b->pa = a;
    // 退出作用域，强引用计数均为1，永不归零，内存泄漏
    return 0;
}

修正案例： weak_ptr 破除闭环

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
class A;
class B;
class A {
public:
    shared_ptr<B> pb;  // 保留强引用
    ~A() { cout << "A对象销毁" << endl; }
};
class B {
public:
    weak_ptr<A> pa;  // 替换为弱引用，不增加强引用计数
    ~B() { cout << "B对象销毁" << endl; }
};
int main() {
    shared_ptr<A> a = make_shared<A>();
    shared_ptr<B> b = make_shared<B>();
    a->pb = b;
    b->pa = a;
    // 退出作用域，强引用计数正常归零，资源顺利释放
    return 0;
}

修正后， B 对 A 的持有变为弱引用，不影响 A 的强引用计数，当外部 shared_ptr 释放后， A 的强引用计数归零并销毁，进而触发 B 的强引用计数归零，闭环彻底打破，无内存泄漏。

悬空指针

weak_ptr 自带悬空防护能力，是共享资源缓存、观察者模式等场景的优质选择：在多线程或异步场景中， shared_ptr 释放资源后， weak_ptr 通过 expired()能立刻感知资源失效， lock()转换只会得到空指针，绝对不会出现非法访问悬空内存的情况，彻底规避裸指针和单纯 shared_ptr 无法解决的悬空访问崩溃问题。

高频易错与使用禁忌

  • 不直接使用 weak_ptr 访问对象，建议通过 lock()转换为 shared_ptr 后，校验指针有效性再操作；
  • weak_ptr 不可单独使用，需依附 shared_ptr ，无独立资源管理能力；
  • 不建议用 weak_ptr 替代 shared_ptr 做常规资源共享，仅适用于观测和破除循环引用；
  • 循环引用场景中，将其中一方改为 weak_ptr 即可破除闭环，无需双方替换；
  • weak_ptr 的 expired()判断和 lock()转换并非原子操作，多线程场景下建议直接用 lock()转换后判空，安全性更高。

适用场景区分

unique_ptr 、 shared_ptr 、 weak_ptr 三者分工明确，适用场景差异鲜明，日常开发需根据业务需求精准选型，避免误用： unique_ptr 适配独占式资源管理场景，无需资源共享、追求极致高效内存管控的场景均可优先选用，比如对象内部专属资源、函数内临时资源托管、工厂模式返回值，是日常独占资源管理的首选指针； shared_ptr 适配多对象、多模块共享同一资源的场景，无需手动管控生命周期，共享完成后自动释放资源，比如容器存储共享对象、多线程共享资源、跨模块数据传递； weak_ptr 仅作为 shared_ptr 的辅助工具，不单独承担资源管理职责，专门用于破解循环引用、观测对象生命周期，无独立使用场景。

使用规范

现代 C++工程开发中，需遵循以下核心使用规范，最大化发挥智能指针的优势，规避各类内存风险：优先选用 C++11 智能指针替代传统裸指针，最大限度降低内存泄漏风险；优先通过 std::make_unique 、 std::make_shared 创建智能指针，避免手动 new 与裸指针混用带来的管控漏洞；禁止用同一个裸指针初始化多个 shared_ptr ，杜绝重复释放崩溃问题；使用 shared_ptr 时需警惕循环引用，及时搭配 weak_ptr 破除闭环； unique_ptr 禁止常规拷贝，通过移动语义完成所有权转移，不强行实现资源共享；不随意通过 get 函数获取裸指针并手动释放，避免破坏智能指针的自动化生命周期管控逻辑。

C++11 智能指针依托 RAII 机制与移动语义，搭建起一套完善的自动化内存管理体系，彻底解决了传统裸指针带来的内存泄漏、悬空指针、重复释放等诸多痛点。 unique_ptr 实现高效无开销的独占式内存管理， shared_ptr 实现安全灵活的共享式资源管控， weak_ptr 针对性破解循环引用难题，三者协同配合，覆盖现代 C++开发全场景的内存管控需求。严格遵循规范选型与使用智能指针，既能大幅降低内存管理的调试成本，又能显著提升程序稳定性与运行安全性，是现代 C++开发者必须熟练掌握的核心基础技能。