共享指针的对象被删除，而 shared_ptr 的实例仍在范围内

Question

我有一个 STL 映射，其中包含指向在多个线程中操作的对象的共享指针。 shared_ptr 拥有的对象正在被删除，而智能指针仍然存在于容器和/或其他函数的范围内。所有 shared_ptr 实例都是按值传递的（因此滥用引用不是问题）。我从这个来源here 得到的印象是，只要存在 shared_ptr 的实例（从现有的 shared_ptr 复制），它拥有的对象就不会被释放。

这基本上是我正在做的事情：

/* Remove Event response in Thread A */
std::map<std::string, std::shared_ptr<object>>::iterator it = objects.find(id);
if(it != objects.end())
{
    std::shared_ptr<object> ob = it->second;
    objects.erase(it);

    //Do cleanup work with ob
}

/* Add Event response in Thread B */
std::map<std::string, std::shared_ptr<object>>::iterator it = objects.find(id);
if(it == objects.end())
{
    std::shared_ptr<object> ob(new object(id));
    objects[id] = ob;

    //Do setup work with ob
}

/* Duty Cycle Event response in Thread C (very frequent) */
//Take snapshot of objects so Remove Event does not invalidate iterators of duty cycle
std::map<std::string, std::shared_ptr<object>> temp_objects = objects; 
for(std::map<std::string, std::shared_ptr<object>>::const_iterator it = temp_objects.begin(); it != temp_objects.end(); ++it)
{
    std::shared_ptr<object> ob = it->second;
    //Access violation can (but doesn't always) occur when dereferencing ob (ob is empty)
}

我做错了什么？我是否滥用了共享指针或对它们的操作方式做出了不正确的假设？

Answer 1

shared_ptr 对象的引用计数是原子的；这是 C++11 所要求的。但是，不需要 std::map 操作 是原子的。他们当然不是。

不保证您可以从一个线程插入并从另一个线程删除，并且仍然保持map 内容的完整性。因此，除非您放入自己的互斥锁或其他一些同步，以防止 map 本身出现竞争条件，否则您的代码将会中断。

这与shared_ptr无关；这只是问题的症状。这是关于包含它们的map。