std::bind 中的 shared_from_this 在对象不存在的情况下如何工作？

Question

该代码安全吗？

class C : public std::enable_shared_from_this<C> {
    void start() {
             boost::asio::async_write(socket_, boost::asio::buffer(message_), 
             std::bind(&tcp_connection::handle_write, shared_from_this(),
             _1, _2));
    };
    // ...
};

class D {
    void start()
    {
         std::shared_ptr<C> cptr = std::make_shared<C>(); // (1)
         cptr->start();
    } // (2)
};

如果消息很长，async_write 操作可能需要很长时间。

在点 (1) 只有一个 shared_ptr 指向 C 对象。 start() 被调用，start() 完成并且在 (2) 变量 cptr 超出范围并被销毁。

当async_write完成写操作后，回调被调用；这会导致崩溃，因为shared_from_this() 尝试将shared_ptr 设置为不存在的对象。

对将要发生的事情的描述是否正确？

Answer 1

不，你错了。

对shared_from_this() 的调用发生在start 返回之前。生成的shared_ptr 的副本由bind 的结果保存。

因此，当您到达 (2) 时，对该对象的两个引用中只有一个已经消失，并且它仍然存在