shared_ptr 删除对象

Question

void ClassName::LocalMethod( )
{
    boost::shared_ptr<ClassName> classNamePtr( this );

    //some operation with classNamePtr
    return;
}

这里，当对象从 LocalMethod() 返回时，它会被释放，因为 classNamePtr 超出了范围。难道shared_ptr不够聪明，知道ClassName对象仍在范围内而不删除它吗？

Answer 1

为对象创建 shared_ptr 意味着什么？这意味着 shared_ptr 的持有者现在承担了该对象的所有权。所有权意味着该对象将在他愿意时被删除。当 shared_ptr 的持有者销毁其 shared_ptr 时，这将导致该对象可能被销毁，假设没有其他 shared_ptr 可以销毁那个物体。

当shared_ptr是类的成员时，这意味着shared_ptr指向的对象的生命周期至少只要shared_ptr 所属的对象。当 shared_ptr 位于堆栈上时，这意味着 shared_ptr 所指向的对象的生命周期至少与创建它的作用域一样长。一旦对象从堆栈中掉出，它就可能被删除。

唯一您应该获取指针并将其包装到shared_ptr中的时间是您最初分配对象时 >。为什么？因为对象不知道它是否在shared_ptr中。它不可能知道。这意味着创建原始 shared_ptr 的人现在有责任将其传递给需要共享该内存所有权的其他人。共享所有权的唯一工作方式是通过 shared_ptr 的复制构造函数。例如：

shared_ptr<int> p1 = new int(12);
shared_ptr<int> p2 = p1.get();
shared_ptr<int> p3 = p1;

shared_ptr 的复制构造函数在 p1 和 p3 之间创建共享所有权。请注意，p2 不与 p1 共享所有权。他们都认为自己拥有相同的内存，但这与共享它不同。因为他们都认为自己拥有它唯一的所有权。

因此，当三个指针被销毁时，会发生以下情况。首先，p3 将被销毁。但由于 p3 和 p1 共享该整数的所有权，因此该整数还不会被销毁。接下来，p2 将被销毁。由于它认为自己是该整数的唯一持有者，因此它将销毁它。

此时，p1 指向已删除的内存。当p1被销毁时，它认为它是该整数的唯一持有者，因此它将销毁它。这是坏，因为它已经被摧毁了。

你的问题是这样的。您位于类的实例内。并且您需要调用一些带有 shared_ptr 的函数。但您拥有的只是 this，它是一个常规指针。你做什么工作？

您将获得一些建议 enable_shared_from_this 的示例。但考虑一个更相关的问题：“为什么这些函数采用 shared_ptr 作为参数？”

函数采用的指针类型指示该函数对其参数执行的操作。如果函数采用shared_ptr，则意味着它需要拥有指针。它需要共享内存所有权。因此，请检查您的代码并询问这些函数是否确实需要获得内存的所有权。他们是否将 shared_ptr 长期存储在某个地方（即：在一个对象中），或者只是在函数调用期间使用它们？

如果是后者，那么函数应该采用裸指针，而不是 shared_ptr。这样，他们就无法主张所有权。然后，您的接口是自记录的：指针类型解释了所有权。

但是，您可能正在调用真正需要共享所有权的函数。那么你需要使用enable_shared_from_this。首先，您的类需要从 enable_shared_from_this 派生。然后，在函数中：

void ClassName::LocalMethod()
{
    boost::shared_ptr<ClassName> classNamePtr(shared_from_this());

    //some operation with classNamePtr
    return;
}

注意，这里有一个成本。 enable_shared_from_this 在类中放置一个 boost::weak_ptr 。但没有虚拟开销或类似的东西；它不会使课堂变得虚拟。 enable_shared_from_this 是一个模板，因此您必须像这样声明它：

class ClassName : public boost::enable_shared_from_this<ClassName>

Answer 2

shared_ptr 不是足够聪明，知道 ClassName 对象是
仍在范围内而不删除它？

这不是 shared_ptr 的工作原理。当您在构造 shared_ptr 时传递指针时，shared_ptr 将取得指针对象的所有权（在本例中为 *this< /代码>）。换句话说，由于 shared_ptr 现在拥有指针对象，因此 shared_ptr 承担了对指针对象生命周期的完全控制。因此，最后一个拥有该指针的 shared_ptr 将删除它。

如果 ClassName::LocalMethod() 之外没有 classNamePtr 的副本，您可以传递一个在构造 时不执行任何操作的删除器>classNamePtr。 下面是一个用于防止 < code>shared_ptr 删除其指针对象。根据您的情况调整示例：

struct null_deleter // Does nothing
{
    void operator()(void const*) const {}
};

void ClassName::LocalMethod() 
{
    // Construct a shared_ptr to this, but make it so that it doesn't
    // delete the pointee.
    boost::shared_ptr<ClassName> classNamePtr(this, null_deleter()); 
    // Some operation with classNamePtr 

    // The only shared_ptr here will go away as the stack unwinds,
    // but because of the null deleter it won't delete this.
    return; 
}

您还可以使用 enable_shared_from_this 从 this 获取 shared_ptr。请注意，成员函数 shared_from_this() 仅当现有 shared_ptr 已指向 this 时才起作用。

class ClassName : public enable_shared_from_this<ClassName> 
{ 
public: 
    void LocalMethod()
    { 
        boost::shared_ptr<ClassName> classNamePtr = shared_from_this(); 
    } 
} 

// ...

// This must have been declared somewhere...
shared_ptr<ClassName> p(new ClassName);
// before you call this:
p->LocalMethod();

这是更合适的“官方”方法，并且比空删除器方法要简单得多。

也可能您实际上并不需要首先创建 shared_ptr。 //some operation with classNamePtr 注释部分包含哪些内容？可能还有比前两种方法更好的方法。