Skip to content

Latest commit

 

History

History
115 lines (83 loc) · 5.51 KB

chapter8-10-chinese.md

File metadata and controls

115 lines (83 loc) · 5.51 KB
Raw

对共享对象使用弱指针

本节和shared_ptr有关，我们已经了解了如何使用共享指针。和unique_ptr一样，其提升了C++对动态分配对象的管理能力。

拷贝shared_ptr时，我们会将内部计数器加1。当持有共享指针的拷贝时，其指向的对象则不会被删除。但是，当使用某种弱指针时，其能像普通指针一样对指向对象进行操作，但依旧能让所指向对象被销毁？然而，销毁之后我们应该如何确定对象是否存在呢？

这种情况下weak_ptr就是我们最佳的选择。其相对于unique_ptr和shared_ptr来说有些复杂，但是在本节随后的内容中，我们将会对其进行使用。

How to do it...

我们将使用shared_ptr对一个实例进行管理，然后我们将weak_ptr混入其中，从而了解对weak_ptr的操作对智能指针的内存处理有何影响：

  1. 包含必要的头文件，并声明所使用的命名空间：

    #include <iostream>
#include <iomanip>
#include <memory>

using namespace std;

  2. 接下来，我们将实现一个类，将在析构函数的实现中进行打印。当类型被析构时，我们可以从打印输出进行判断：

    struct Foo {
    int value;
    
    Foo(int i) : value{i} {}
    ~Foo() { cout << "DTOR Foo " << value << '\n'; }
};

  3. 让我们来实现一个函数用于对弱指针的信息进行打印，这样我们就可以了解弱指针不同指向时的状态。expired成员函数会告诉我们，弱指针指向的对象是否依旧存在，因为使用弱指针持有这个对象并无法让其生命周期延长！use_count计数器告诉我们，当前shared_ptr实例中对象的引用次数：

    void weak_ptr_info(const weak_ptr<Foo> &p)
{
    cout << "---------" << boolalpha
        << "\nexpired: " << p.expired()
        << "\nuse_count: " << p.use_count()
        << "\ncontent: ";

  4. 当我们要访问一个实际对象时，需要调用lock函数，会返回一个指向对象的共享指针。当对象不存在时，返回的共享指针则是一个空指针。我们将对其进行检查，然后对其进行访问：

        if (const auto sp (p.lock()); sp) {
    	cout << sp->value << '\n';
    } else {
    	cout << "<null>\n";
    }
}

  5. 主函数中实例化一个空的弱指针，并且对其内容进行打印：

    int main()
{
    weak_ptr<Foo> weak_foo;
    weak_ptr_info(weak_foo);

  6. 新的代码段中，使用Foo类实例化了一个共享指针，再将其拷贝给弱指针。需要注意的是，这个操作并不会对共享指针的引用计数有任何影响。其引用计数依旧为1，因为只有共享指针对其具有所有权：

    	{
		auto shared_foo (make_shared<Foo>(1337));
		weak_foo = shared_foo;

  7. 离开代码段前，我们对弱指针的状态进行打印；离开时候，再打印一次。虽然弱指针依旧指向Foo的对象，但是Foo实例还是会在离开代码段时立即被销毁：

            weak_ptr_info(weak_foo);
    }

    weak_ptr_info(weak_foo);
}

  8. 编译并运行程序，就会看到weak_ptr_info函数的输出。第一次，是弱指针为空的时候。第二次，是其指向我们创建的Foo实例，并在弱指针锁定后对其进行解引用。第三次调用之前，我们离开了内部代码区域，会触发Foo类型的析构。之后，我们就无法通过弱指针获取已经删除的Foo对象，并且在这时弱指针也意识到，原先指向的对象已经不存在了：

    $ ./weak_ptr
---------
expired: true
use_count: 0
content: <null>
---------
expired: false
use_count: 1
content: 1337
DTOR Foo 1337
---------
expired: true
use_count: 0
content: <null>

How it works...

弱指针为我们提供了一种指向共享指针对象，但不会增加其引用计数的方式。Okay，一个裸指针也可以做这样的事，不过裸指针无法告诉我们其是否处于悬垂的状态，而弱指针可以！

为了能更好的了解弱指针为共享指针添加的功能，我们画了一张图供大家参考：

流程与共享指针的图类似。第1步中，我们有两个共享指针和一个弱指针，都指向Foo类型的实例。虽然有三个指针指向这个对象，但是其共享指针引用数依旧为2，弱指针在控制块有属于自己的计数器。第2和3步中，共享指针的实例被销毁，这步将会让引用计数归0。第4步，Foo对象也被销毁了，不过控制块依旧存在。因为弱指针依旧需要控制块来对其是否悬垂进行判断。只有当最后一个指向对象的弱指针被销毁，那么控制块才会被销毁。

也可以说处于悬垂状态的弱指针是无效的。为了对这个属性进行检查，我们可以调用weak_ptr指针的expired成员函数，其将会为我们返回一个布尔值。当其返回true时，我们就不能对这个弱指针进行解引用，因为其说明这个对象已经不存在了。

为了对弱指针解引用，我们需要调用lock()函数。这是种安全和方便的方法，因为函数返回给我们一个共享指针。当持有这个共享指针时，我们对其进行了锁定，所以这时对象的计数器无法进行变化。lock()之后，对象被删除，我们将会得到一个空的共享指针。