为什么我的程序在boost::enable_shared_from_this<> / boost::shared_ptr<>中崩溃？

Question

我正在试图找出一个程序在shared_ptr中崩溃的原因。

#0  0x00007fff90723212 in __pthread_kill ()
#1  0x00007fff93415b54 in pthread_kill ()
#2  0x00007fff93459dce in abort ()
#3  0x00007fff8a0519eb in abort_message ()
#4  0x00007fff8a04f39a in default_terminate ()
#5  0x00007fff930bf887 in _objc_terminate ()
#6  0x00007fff8a04f3c9 in safe_handler_caller ()
#7  0x00007fff8a04f424 in std::terminate ()
#8  0x00007fff8a05058b in __cxa_throw ()
#9  0x0000000100057cbc in boost::throw_exception<boost::bad_weak_ptr> (e=@0x1002c5b88) at throw_exception.hpp:66
#10 0x0000000100057bf4 in boost::detail::shared_count::shared_count (this=0x1002c5d00, r=@0x100304180) at shared_count.hpp:509
#11 0x0000000100057b7d in boost::detail::shared_count::shared_count (this=0x1002c5d00, r=@0x100304180) at shared_count.hpp:511
#12 0x000000010004ad14 in boost::shared_ptr<myns::(anonymous namespace)::MySharedFromThisClass>::shared_ptr<myns::(anonymous namespace)::MySharedFromThisClass> (this=0x1002c5cf8, r=@0x100304178) at shared_ptr.hpp:220
#13 0x000000010004acad in boost::shared_ptr<myns::(anonymous namespace)::MySharedFromThisClass>::shared_ptr<myns::(anonymous namespace)::MySharedFromThisClass> (this=0x1002c5cf8, r=@0x100304178) at shared_ptr.hpp:223
#14 0x000000010004a9b4 in boost::enable_shared_from_this<myns::(anonymous namespace)::MySharedFromThisClass>::shared_from_this (this=0x100304178) at enable_shared_from_this.hpp:49

MySharedFromThisClass 被定义为：

class MySharedFromThis : public boost::enable_shared_from_this<MySharedFromThis> {
    // ....
};

被传递的实例定义如下：

auto myKlass = std::make_shared<MySharedFromThis>();

通过以下方式进行复制：

void myFunction(::boost::shared_ptr<MySharedFromThis> myKlass) {
  myFunction(shared_from_this());
}

一切编译都没有警告或错误，但很明显有不太愉快的崩溃。

- Sean

Answer 1

我是因为这一段代码编译时没有警告或错误而发表自己的答案，并且花费了相当多的精力来追踪它。

从上面的示例看，这行代码应该很明显：

auto myKlass = std::make_shared<MySharedFromThis>();

我的类myKlass的类型是std::shared_ptr<MySharedFromThis>，而不是boost::shared_ptr<MySharedFromThis>。将std::make_shared<>更改为boost::make_shared<>，一切都可以按照预期/意图工作。

导致这个崩溃的可能有两件事:

1. 在没有现有::boost::shared_ptr<>的情况下调用myFunction()中的shared_from_this()。相反，发生的是创建了一个std::shared_ptr<>，它具有与boost::shared_ptr<>不同的ABI。值得注意的是，libboost_thread-mt.dylib需要一个boost::enable_shared_from_this<>类，而不是std::enable_shared_from_this<>类。

2. 根据enable_shared_from_this<>文档，必须满足先决条件。

   需要：enable_shared_from_this必须是T的可访问基类。*this必须是类型T的实例t的子对象。必须存在至少一个拥有t的shared_ptr实例p。

   相反，存在一个std::shared_ptr<>实例，但不存在boost::shared_ptr<>实例。

至少这是我对发生的事情的理解。我认为#1是导致段错误的真正问题，#2迟早会成为问题（尽管我并不完全相信）。

- Sean

---

ABI在这里不是问题。正如预期的那样，您只会得到bad_weak_ptr异常 - 但不要捕获它，这样线程（和进程）就会终止。 - Igor R.

使用enable_shared_from_this <>引起此异常的常见原因是在被共享的对象的构造函数中调用shared_form_this（） - 如果您想将指针传递给其聚合成员的构造函数，则这不是罕见的事情。 简洁的解决方案是声明您的构造函数为私有并提供工厂方法，在其中可以毫不犹豫地使用shared_form_this（）。 - marko