走进C++11（三十五）weak_ptr

关注公众号获取更多信息：

 

开始之前先看一段代码，

struct A {std::shared_ptr<B>pointer;~A(){std::cout<< "A被销毁"<<std::end;}};struct B {std::shared_ptr<A>pointer;~B(){std::cout<< "B被销毁"<<std::end;}};int main() {auto a =std::make_shared<A>();auto b =std::make_shared<B>();a.pointer = b;b.pointer = a;}

 

看出这段代码的问题了么？如果看出来了，那么你就可以略过本文了。如果感觉有问题，又不能具体指出哪里有问题，那么希望你能好好看完这篇文章。

 

std::weak_ptr 是一种智能指针，它对被 std::shared_ptr 管理的对象存在非拥有性（“弱”）引用。在访问所引用的对象前必须先转换为 std::shared_ptr。std::weak_ptr 用来表达临时所有权的概念：当某个对象只有存在时才需要被访问，而且随时可能被他人删除时，可以使用 std::weak_ptr 来跟踪该对象。需要获得临时所有权时，则将其转换为 std::shared_ptr，此时如果原来的 std::shared_ptr 被销毁，则该对象的生命期将被延长至这个临时的 std::shared_ptr 同样被销毁为止。std::weak_ptr 的另一用法是打断 std::shared_ptr 所管理的对象组成的环状引用。若这种环被孤立（例如无指向环中的外部共享指针），则 shared_ptr 引用计数无法抵达零，而内存被泄露。能令环中的指针之一为弱指针以避免此情况。 

 

总结起来就是weak_ptr的最主要的用途就是打断shared_ptr的环状引用。我们再回味一下最开始的代码。结合下图，我们就能看出其中的问题：

 

 

当a被销毁的时候，由于b中有a的引用，所以a并不会销毁。同理，b被销毁的时候，由于a没有被销毁，a里还有b的引用，所以b也不会销毁。所以a和b永远不会被销毁。进而造成内存泄露。

 

为了解决这个问题C++11引入shared_ptr时也一并引入了weak_ptr。

 

std::weak_ptr 没有 * 运算符和 ->运算符，所以不能够对资源进行操作，它的唯一作用就是用于检查 std::shared_ptr 是否存在，其 expired() 方法能在资源未被释放时，会返回true，否则返回 false。

 

所以一开始的代码的成员变量应该将shared_ptr改为weak_ptr。如下图，内存就可以正确的释放：

 

 

在上图中，最后一步只剩下 B，而 B 并没有任何智能指针引用它，因此这块内存资源也会被释放。

 

weak_ptr vs shared_ptr

 

weak_ptr是shared_ptr的补充, 它并不拥有对对象的所有权, 即不增加shared_ptr中的引用计数; 同样的它也不保有对象的指针, 因此我们不能通过weak_ptr访问对象. 必须将weak_ptr转换为shared_ptr才能访问其所引用的对象. 换句话说,weak_ptr建模了临时所有权, 只有当要访问对象存在时才起作用。

 

而shared_ptr 内部包含两个指针，一个指向对象，另一个指向控制块(control block)，控制块中包含一个引用计数(reference count), 一个弱计数(weak count)和其它一些数据。

 

下面的例子取自std::weak_ptr/cppreference.com显示了如何使用lock()函数获取它所关联的对象的shared_ptr指针。

 

#include <iostream>#include <memory> std::weak_ptr<int> gw; void observe(){    std::cout << "use_count == " << gw.use_count() << ": ";    if (auto spt = gw.lock()) { // Has to be copied into a shared_ptr before usage  std::cout << *spt << "\n";    }    else {        std::cout << "gw is expired\n";    }} int main(){    {        auto sp = std::make_shared<int>(42);  gw = sp;   observe();    }     observe();}

输出：

use_count == 1: 42use_count == 0: gw is expired