指针的boost :: shared_ptr

Question

我偶然发现了boost :: shared_ptr文档，该文档为：

Sometimes it is necessary to obtain a shared_ptr given a raw pointer
to an object that is already managed by another shared_ptr instance.
Example:

void f(X * p) 
{
    shared_ptr<X> px(???);
}

Inside f, we'd like to create a shared_ptr to *p.

In the general case, this problem has no solution.

为什么？ 是否不允许这样做：

shared_ptr<X> px(p);

我想念什么吗？

Answer 1

如果您有一个shared_ptr管理一个指针，然后创建另一个shared_ptr管理相同的指针（不复制原始的shared_ptr），那么最终您将得到两个管理器来使用相同的资源。 当两者之一达到引用计数为0时，它将删除该对象，而另一个shared_ptr将指向删除的内存以及所有后续内容。

Answer 2

您可以这样做，但可能导致未定义的行为，因为无法告诉第二个共享指针引用计数（指向同一对象的共享指针的数量）增加了。 然后可能会发生这样的事情：

void f()
{
    boost::shared_ptr<int> firstSmart(new int(23)); // firstSmart is the only 
                                                    // manager of the int
    int *raw = firstSmart.get();
    boost::shared_ptr<int> secondSmart(raw);        // secondSmart also manages
                                                    // the same int as firstSmart
                                                    // but secondSmart does not 
                                                    // know about firstSmart
                                                    // and vice versa
}

当f退出时secondSmart被销毁，销毁共享int 。 然后， firstSmart被销毁并尝试销毁已经销毁的int从而导致不确定的行为。

Answer 3

如果您要这样做：

main() {
  Object *obj = new Object();
  func(obj)
}

void func( Object *obj ) {
  shared_ptr objPtr(obj); // take ownership.
  objPtr->fun();
  // Passed object "obj" is destroyed here.
}

在函数func的末尾，对象指针将被破坏，而指针本身将被破坏。 这不是理想的行为。

Answer 4

实际上，您可以执行此操作，但是必须知道退出该功能时将删除指向的对象...

我尝试了增强：

void f(X * p)
{
    boost::shared_ptr<X> px(p);
    // do smething
}

void main()
{
    X* ptr = new X();
    f( ptr );
    // ptr is not valid anymore because the object were deleted
}

吉恩

Answer 5

这是不可能的。

共享指针使用引用计数工作。 将资源（原始指针）分配给共享指针时，将创建一个计数为= 1的引用计数对象。 当为同一资源创建另一个共享指针时，引用计数对象（ 在两个共享指针之间共享 ）被更新为value count = 2。 如果删除了一个共享指针，则共享引用对象中的计数将递减，当计数达到0时，资源将被销毁。

为了使上述机制起作用，应该使用shared_ptr px（p）之类的东西来创建第一个共享指针，并使用px（而非'p'）来创建所有后续指针。 这样，所有创建的共享指针将知道它们拥有相同的资源并共享相同的引用计数对象。

如果使用shared_ptr px（p）创建了另一个共享指针，那么最终将得到两个彼此不相关的共享指针-即那里的引用计数对象不相同。 他们都假设他们拥有不同的资源，并且每个人都有不同的（不同的）引用计数对象 ，其计数= 1。 （您不想要这个）。