对原子变量的非原子操作，反之亦然[重复]

Question

给定以下代码：

static int x;

static void f() {
  for (int i = 0; i < 100; ++i)
    atomic_fetch_add(&x, 3);
}

进一步，假设f 被两个线程同时调用。 C/C++ 内存模型是否保证在所有硬件平台上结果总是600？

如果我把它改成下面呢？结果在所有硬件平台上是否仍然保证为600？

static atomic_int a_x;

static void f() {
  for (int i = 0; i < 100; ++i)
    a_x += 3;
}

或者结果不能保证，我不应该将原子操作与非原子类型混合，反之亦然？

PS：我在这里使用了 int 类型，但我的问题适用于任何类型 T 和 _Atomic T。

Answer 1

如果你想对非原子变量使用原子操作，你可以使用std::atomic_ref (C++20)。你可以看一个例子here。

您的第二个示例应该没问题，因为a_x 是原子的，具有memory_order_seq_cst 内存模型，而+= 是defined，因为它是原子操作。