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”指针吗？逻辑上说没有因为整个威廉姆斯的代码是错误的，但我怀疑它是否是一种原子操作。你怎么看？

Answer 1

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