使用std::enable_shared_from_this时,析构函数崩溃

Crash in destructor when using std::enable_shared_from_this

本文关键字:析构函数 崩溃 this shared std enable 使用 from      更新时间:2023-10-16

我正在尝试编写一个类似boost信号的类(作为学习c++的练习)。我发现当我使用enable_shared_from_this时,我总是在析构函数中崩溃。这是代码(我使用的是vs2012更新2):

对此有何评论?这个问题应该是由shared_from_this()引起的,因为当我取消对signal_connection::disconnect中的行(auto this_ = shared_from_this();)的注释时,一切都很好。

我知道在调用shared_from_this()之前,它必须至少有一个有效的shared_ptr。我的代码应该满足这一点。

代码

    #include <memory>
    #include <map>
    class slot_manager;
    class signal_connection: public std::enable_shared_from_this<signal_connection>
    {
    public:
        signal_connection(slot_manager* manager)
            :manager_(manager)
        {}
    public:
        void disconnect() ;
    private:
        slot_manager* manager_;
    };
    class slot_manager
    {
    public:
        typedef std::shared_ptr<signal_connection> connection_type;
        typedef std::map<connection_type, int> map_type;
        typedef map_type::value_type map_value_type;
    public:
        void connect(int slot)
        {
            std::shared_ptr<signal_connection> c(new signal_connection(this));
            slots_.insert(map_value_type(c, slot));
        }
        ~slot_manager()
        {
            auto iter = slots_.begin();
            map_type::iterator iter2 = slots_.end();
            while (iter != slots_.end())
            {
                iter2 = iter++;
                iter2->first->disconnect();
            }
        }
        void disconnect(std::shared_ptr<signal_connection> connection)
        {
            auto c = slots_.find(connection);
            if (c != slots_.end())
            {
                slots_.erase(c);
            }
        }
    protected:
        map_type slots_;
    };
    void signal_connection::disconnect() 
    {
        if (manager_ != nullptr)
        {
            //auto this_ = shared_from_this();
            manager_->disconnect(shared_from_this());
            manager_ = nullptr;
        }
    }
    int _tmain(int argc, _TCHAR* argv[])
    {
        slot_manager x;
        x.connect(1);
    return 0;
    }

问题是,在将其管理器设置为nullptr之前,disconnect()中的signal_connection会被解除,这会导致访问冲突,即调用管理器的断开连接。这是因为管理器持有连接的唯一shared_ptr,而您持有erase()。该对象无法使自己保持活力。当然,除非您取消对该行的注释。this_的寿命刚好可以解决这个问题。