删除原指针后访问weak_ptr

Question

执行以下代码时出现运行时错误：

#include <iostream>
#include <vector>
#include <memory>

using namespace std;

class Test
{
public:
    int value;
    Test( )
    {
        value = 1;
    }

    ~Test( )
    {

    }
};

int main() {
    shared_ptr<Test> pTest =  shared_ptr<Test>( new Test( ) );
    std::vector<weak_ptr<Test>> testList;

    testList.push_back( weak_ptr<Test>(pTest) );
    cout << "\n Before Deletion";
    for (unsigned int i=0; i < testList.size(); i++)
    {
        try
        {
            auto p = testList[i].lock();
            cout << "\n Item not null: " << p->value;
        }
        catch (bad_weak_ptr b)
        {
            wcout << L"Null object" << endl;
        }
    }

    pTest.reset( );

    cout << "\n After Deletion";
    for (unsigned int i=0; i < testList.size(); i++)
    {
        try
        {
            auto p = testList[i].lock();
            cout << "\n Item not null: " << p->value;
        }
        catch (bad_weak_ptr b)
        {
            wcout << L"Null object" << endl;
        }
    }

    // your code goes here
    return 0;
}

我试图在删除原始共享指针后查找指针是否仍然可以访问（不应该）。

Answer 1

Lock 不检查 null，它会将 weak_ptr 提升为共享指针。删除对象时不会抛出异常，而是返回null。

这是你应该做的。

#include <iostream>
#include <vector>
#include <memory>

using namespace std;

class Test
{
public:
    int value;
    Test( )
    {
        value = 1;
    }

    ~Test( )
    {

    }
};

int main() {
    shared_ptr<Test> pTest =  shared_ptr<Test>( new Test( ) );
    std::vector<weak_ptr<Test>> testList;

    testList.push_back( weak_ptr<Test>(pTest) );
    cout << "\n Before Deletion";
    for (unsigned int i=0; i < testList.size(); i++)
    {
      auto p = testList[i].lock();
        if (p)
        {

            cout << "\n Item not null: " << p->value;
        }
        else
        {
            wcout << L"Null object" << endl;
        }
    }

    pTest.reset( );

    cout << "\n After Deletion";
    for (unsigned int i=0; i < testList.size(); i++)
    {
      auto p = testList[i].lock();
        if (p)
        {

            cout << "\n Item not null: " << p->value;
        }
        else
        {
            wcout << L"Null object" << endl;
        }
    }

    // your code goes here
    return 0;
}

澄清一下，当您在 pTest 重置后对 test_list>lock 时会发生什么，您会得到一个包含 NULL 的 shared_ptr。而((Test*)NULL)->value 是当您执行p->value 时会发生的情况，这是一个明显的段错误。

拥有weak_ptr 的全部意义在于让用户能够安全地获取对可能超出范围的对象的引用。异常将是一个糟糕的机制，因为异常是缓慢的，如果weak_ptr的父级超出范围，它不一定是致命错误。所以机制是 lock 要么在提升时返回一个新的计数引用，要么如果它不能再提升所有权级别（父级已过期）则返回 NULL。

Answer 2

您可以read the documentation，而不是对事情的运作方式做出假设。

lock 不会通过抛出异常来表示空指针：它返回一个空指针。

所以，

        auto p = testList[i].lock();
        if( p != nullptr )
        {
            cout << "\n Item not null: " << p->value;
        }
        else
        {
            cout << "\n Item is null." << endl;
        }