在遗留代码上使用shared_ptr时发生访问冲突

Question

我在旧应用程序中使用shared_ptr等实现了一个新模块，但是当shared_ptr调用析构函数时，我遇到了访问冲突。

app:

case ENUM_DATA:
{
    std::tr1::shared_ptr<CDataMsg> msg(new CDataMsg(_stringmsg)); // _stringmsg is initialized before
    Process(msg);
    break;
}

Process():

bool Process(std::tr1::shared_ptr<CDataMsg> msg)
{
    try
    {
        switch (msg->getDataType())
        {
            case ENUM_MYDATATYPE:
            {
                std::tr1::shared_ptr<CMyData> base(msg->getData());
                std::tr1::shared_ptr<CMyDataChild> data(std::tr1::static_pointer_cast<CMyDataChild>(base));

                // do some stuff with data
                std::tr1::shared_ptr<CRequest> request(new CRequest(data->getParam1(), data->getParam2()));
                handler->AddRequest(request->getBin());
                break;
            }
            default:;
        }
        return true;
    }
    catch (...)
    {
        // exception handling
    }
    return false;
}

析构函数：

CDataMsg::~CDataMsg()
{
    if (m_data)
        delete m_data;
    m_data = NULL;
}

m_data 是一个 CMyData* （此时无法更改）。

CDataMsg 是一个容器，其中保存 CMyData 类型的数据。 CmyDataChild是CMyData的子类，这里使用的是CMyData。

我在析构函数中有断点，但调试器仅在共享指针调用它时停止，然后我已经遇到访问冲突。

Answer 1

正如您在评论中确认的那样， msg->getData() 返回一个指向 msg 的成员变量的指针（大概是 m_data），并且它当此 switch 块作用域退出时将被删除：

case ENUM_MYDATATYPE:
{
    std::tr1::shared_ptr<CMyData> base(msg->getData());
    std::tr1::shared_ptr<CMyDataChild>
        data(std::tr1::static_pointer_cast<CMyDataChild>(base));

    // do some stuff with data
    std::tr1::shared_ptr<CRequest>
        request(new CRequest(data->getParam1(), data->getParam2()));
    handler->AddRequest(request->getBin());
    break;
}

当此 switch 块作用域退出时，稍后将调用 msg 的析构函数：

case ENUM_DATA:
{
    std::tr1::shared_ptr<CDataMsg> msg(new CDataMsg(_stringmsg));
    Process(msg);
    break;
}

并尝试重新删除成员变量m_data。

另外：

case ENUM_MYDATATYPE:
{
    std::tr1::shared_ptr<CMyData> base(msg->getData());
    std::tr1::shared_ptr<CMyDataChild>
        data(std::tr1::static_pointer_cast<CMyDataChild>(base));
    ...
}

data 指向与 base 相同的对象。当此作用域退出时，base 将被删除两次。

Answer 2

每当我看到这样的错误时，我立即想到双重删除。

std::tr1::shared_ptr<CMyData> base(msg->getData());
if (m_data) delete m_data;  //- in CDataMsg destructor

是否有可能“m_data”被删除两次？一次在shared_ptr中，一次在CDataMsg析构函数中。