提升shared_ptr容器问题

Question

假设我有一个多线程应用程序使用的指针容器（std :: vector）。向容器添加新指针时，使用临界区（boost :: mutex）保护代码。一切都很好。代码应该能够将这些指针中的一个返回到线程进行处理，但是另一个单独的线程可以选择删除其中一个指针，这些指针可能仍在使用中。 e.g：

thread1()
{
    foo* p = get_pointer();
    ...
    p->do_something();
}

thread2()
{
    foo* p = get_pointer();
    ...
    delete p;
}

所以thread2可以删除指针，而thread1正在使用它。讨厌。

所以我想使用Boost共享ptrs的容器。 IIRC这些指针将被引用计数，因此只要我返回共享ptrs而不是原始指针，从容器中删除一个将不会实际释放它直到最后一次使用它超出范围。即。

std::vector<boost::shared_ptr<foo> > my_vec;

thread1()
{
    boost::shared_ptr<foo> sp = get_ptr[0];
    ...
    sp->do_something();
}

thread2()
{
    boost::shared_ptr<foo> sp = get_ptr[0];
    ...
    my_vec.erase(my_vec.begin());
}

boost::shared_ptr<foo> get_ptr(int index)
{
    lock_my_vec();
    return my_vec[index];
}

在上面的例子中，如果thread1在thread2调用erase之前获取指针，指向的对象是否仍然有效？当thread1完成时，它实际上不会被删除？ 请注意，访问全局向量将通过关键部分。

我认为这是shared_ptrs的工作方式，但我需要确定。

Answer 1

对于boost :: shared_ptr的线程安全性，你应该检查此链接。它不保证安全，但在许多平台上它都有效。修改std :: vector不是安全的AFAIK。

Answer 2

  

在上面的例子中，如果thread1在thread2调用erase之前获取指针，指向的对象是否仍然有效？当thread1完成时，它实际上不会被删除？

在您的示例中，如果thread1在thread2之前获取指针，则thread2将必须在函数的开头等待（因为锁定）。所以，是的，指向的对象仍然有效。但是，您可能希望在访问其第一个元素之前确保my_vec不为空。

Answer 3

此外，如果您同步对向量的访问（与原始原始指针提议中一样），则您的使用是安全的。否则，您可能会在另一位受访者提供的链接中违反示例4。