如果我在多线程中重置相同的shared_ptr，则不会崩溃

Question

我只想确认在多线程中重置为具有锁的同一智能指针是安全的吗？如果没有lockguard，它就不安全，因为它不是线程安全的方法？我想重置不是线程安全的，但是，如果我取下锁，不会观察到崩溃。

class foo {
public:
foo()
{
std::cout << "foo constructed" << std::endl;
}
~foo()
{
std::cout << "foo destructed" << std::endl;
}
};
int main(int argc, const char * argv[]) {
std::shared_ptr<foo> f = std::make_shared<foo>();
conqueue = dispatch_queue_create("MyConcurrentDiapatchQueue", DISPATCH_QUEUE_CONCURRENT);
static std::mutex io_mutex;
for (int i = 0; i < 100000; i++)
{
dispatch_async(conqueue, ^{
std::lock_guard<std::mutex> lk(io_mutex); // no crash without this line as well
f.reset(); // it's safe? No crash if I reset the same shared_ptr in multi-threads.
});
}
return 0;
}

Answer 1

shared_ptr对象不是线程安全的，指向的对象也不是。只有引用计数是线程安全的。所以，是的，你需要使用一个警卫。

在C++20中，存在std::atomic<std::shared_ptr<T>>。

Answer 2

文档不能保证该组件的安全。从本质上讲，若标准并没有说明这一点，那个么你们的假设是正确的。你必须拥有那个lockquard或任何提供相同功能的东西。

崩溃可能是不可观察的，因为在您尝试在并发线程中读取指针之前，您不会有竞争条件，因为您实际上并没有尝试使用该值(重置所做的只是更改指针值(。

你不能相信你不能观察到UB，UB是薛定谔的猫。