线程安全的局部变量

Question

void HelloWorld()
{
   static std::atomic<short> static_counter = 0;
   short val = ++static_counter; // or val = static_counter++;
}

如果从两个线程调用此函数，

两个线程中的局部变量val都可以为1吗？ 或（如果使用static_counter++则为0？）

Answer 1

否。在两个线程中， val可以具有相同值的唯一方法是两个原子操作重叠。 根据定义，原子操作不能重叠。

Answer 2

两个线程中的局部变量val都可以为1吗？

不， ++static_counter相当于：

 fetch_add(1)+1

因为 fetch_add是以原子方式执行的， 所以它不能为两个（或更多）线程返回相同的值。