c++ - IF 的原子性和下面的语句

Question

这是 A. Williams C++ Concurrency in Action 一书，无锁堆栈和危险指针主题。假设我了解了它，除了两行，它们在这里(这里是 source):

// code before
if (old_head) {
res.swap(old_head->data);
// code after

问题是:另一个线程能否在取消引用(old_head->data)之前删除(修改等)“old_head”指针？逻辑上说没有，因为整个 Williams 的代码都是错误的，但我怀疑它是否是一种原子操作。你怎么看？

Answer 1

如果 old_head 可用于多个线程并且引用的代码块不受任何同步机制的保护，那么可以在检查和取消引用之间修改 old_head。 if 语句本身不保证任何原子性。