在C++中允许这些优化吗？[副本]

Question

让std::atomic num{0}； 在代码中可访问/可见的地方定义。C++编译器是否允许用一个空代码（什么都不做的东西）替换以下两个代码中的每一个？同样，这些优化是否允许在运行时发生？我只是想更好地理解事情是如何运作的。

num.fetch_add(1,std::memory_order_relaxed);
num.fetch_sub(1,std::memory_order_relaxed);

和

num.fetch_add(1,std::memory_order_relaxed);
std::this_thread::yield();
num.fetch_sub(1,std::memory_order_relaxed);

Answer 1

我认为理论上是的，甚至yield也无济于事。

但在实践中 没有 今天不是，但将来可能。

参见：

null