提升Shared_Ptr分配

Question

为什么我不这样做？

boost::shared_ptr<QueuList> next;

void QueuList::SetNextPtr(QueuList* Next)
{
    boost::mutex mtx;

    boost::mutex::scoped_lock lock(mtx);
    {// scope of lock
        //if (next == NULL)  // is this needed on a shared_ptr??
        next = Next;  // Why can I not assign a raw ptr to a shared_ptr????
    }

}

我应该怎么做呢？

编辑：在正确分配下一个变量时调用此方法，当QueuList对象因某种原因被销毁时仍会导致错误。 我得到一个调试断言。 对象的析构函数没有做任何特别的事情。 它只在我调用此函数时崩溃：

    QueuList li;
    QueuList lis;

    li.SetNextPtr(&lis);

当main超出范围时，我得到一个调试断言......任何想法？

Answer 1

这样做是为了防止意外地将指针分配给其生命周期独立管理的shared_ptr 。 您必须显式创建一个shared_ptr ，然后获取该对象的所有权。

next = boost::shared_ptr<QueueList>( Next );

编辑您的编辑问题是，在您的情况下， shared_ptr获取堆栈上对象的所有权。 然后会发生两件事：

1. 在shared_ptr达到引用计数0之前，对象的堆栈帧被清除。在这种情况下， shared_ptr将尝试稍后删除某个不存在的对象，从而导致未定义的行为。
2. 在清除堆栈帧之前， shared_ptr达到引用计数0。 在这种情况下，它将尝试删除堆栈中的对象。 我不确切知道在这种情况下会发生什么，但我认为它也是未定义的行为。

Answer 2

您可以使用Reset（）函数而不是next = boost::shared_ptr<QueueList>(Next);

next.Reset(Next);

Answer 3

将指针放在shared_ptr会将指针的所有权转移到shared_ptr，因此shared_ptr负责删除它。 这在概念上是一个重要的操作，因此shared_ptr的设计者不希望它只是作为看似正常的赋值的一部分发生。 例如，他们想要阻止代码：

some_shared_ptr = some_other_smart_pointer.get();

看起来相当无害，但这意味着两个智能指针都认为他们有责任清理指针，并且可能会双重删除指针或类似的东西。

这就是您的调试断言所发生的事情。 调用SetNextPtr(&lis)通过所有权&lis的shared_ptr ，而“所有权”指shared_ptr将调用delete其指针对象时的最后一个副本shared_ptr超出范围。 所以你有效地删除了一个本地（堆栈）变量 - lis - 它会破坏堆栈并导致崩溃。