为何std::memory_order_acq_rel在C++11中触发警告？合法用法解析

你的Clang 18.1.0-rc1编译器触发警告的原因很明确：std::memory_order_acq_rel（获取-释放内存序）不能用于纯读取的load或纯写入的store原子操作，它只适用于原子读取-修改-写入（RMW）操作。

为什么load/store不能用acq_rel？ #

• std::memory_order_acq_rel同时包含acquire（获取）和release（释放）两种语义：
  • acquire语义保证后续的读操作不会被重排到该操作之前，适用于读取共享变量的场景；
  • release语义保证之前的写操作不会被重排到该操作之后，适用于写入共享变量的场景。
• load是纯读取操作，只需要acquire或更弱的内存序（如relaxed），完全不需要release语义，传入acq_rel属于非法参数。
• store是纯写入操作，只需要release或更弱的内存序，不需要acquire语义，因此也不支持acq_rel。

合法使用场景 #

std::memory_order_acq_rel只能用于那些会原子性完成"读-改-写"全流程的原子操作，这类操作会先读取原子变量的当前值，修改后再写回新值，天然同时需要获取和释放语义。常见的支持该内存序的原子成员函数包括：

• 算术操作：fetch_add、fetch_sub
• 位操作：fetch_and、fetch_or、fetch_xor
• 交换与比较交换：exchange、compare_exchange_weak、compare_exchange_strong

合法示例代码 #

#include <atomic>

std::atomic<int> n;

int main() {
    // 合法：fetch_add是典型的读-改-写操作，适配acq_rel内存序
    n.fetch_add(1, std::memory_order_acq_rel);
}

内容的提问来源于stack exchange，提问作者xmllmx