在C++并发编程里，原子操作通过std::atomic提供不可分割的读写能力，但多线程下仅保证原子性远远不够。不同线程对普通变量的访问何时对其他线程可见，编译器与CPU是否重排指令，都取决于memory_order参数。它本质上是给原子操作附加的内存屏障语义，用来在性能与正确性之间做权衡。
什么是memory_order
memory_order是定义于<atomic>中的一个枚举类型，用于指定原子操作的内存顺序约束。C++标准规定了六种取值，分别是memory_order_relaxed、memory_order_consume、memory_order_acquire、memory_order_release、memory_order_acq_rel和memory_order_seq_cst。它们并不改变原子操作本身的原子性，而是控制该操作前后其他内存访问的排序与可见性。
从硬件视角看，现代CPU为了提升吞吐会对指令重排，并且各核心缓存不一致；从编译器视角看，优化也会调整代码顺序。memory_order就是程序员向系统和编译器表达的意图：我希望这次原子操作附近的内存访问按照什么规则被其他线程观察到。错误使用会导致逻辑错误，但过度使用最强序又会损失性能。
常见内存序详解
relaxed宽松序
memory_order_relaxed只保证原子操作自身不可分割，不施加任何同步或排序约束。不同线程看到的relaxed操作顺序可能完全不同，普通变量的读写仍可被任意重排。它适合只做计数器、统计这类不依赖其他内存状态的场景。
下面的例子展示两个线程各自用relaxed增加计数器，最终总和正确，但中间过程对其他线程不可预测：
#include <atomic>
#include <thread>
#include <vector>
std::atomic<int> counter(0);
void worker() {
for (int i = 0; i < 1000; ++i) {
// 仅保证counter自增原子性，不关心其他内存可见顺序
counter.fetch_add(1, std::memory_order_relaxed);
}
}
int main() {
std::vector<std::thread> threads;
for (int i = 0; i < 10; ++i) {
threads.emplace_back(worker);
}
for (auto& t : threads) {
t.join();
}
// 最终counter一定为10000
return 0;
}
acquire与release配对
memory_order_acquire用于读操作，memory_order_release用于写操作。release操作之前的所有内存写入，对随后对该原子变量进行acquire读的线程可见。这构成单方向同步，常用来实现锁或标志通知。
以下代码演示用原子标志做线程启动信号，release保证数据先写好，acquire保证读取时已看到：
#include <atomic>
#include <thread>
#include <string>
std::atomic<bool> ready(false);
std::string data;
void producer() {
data = "hello";
// release: 前面写data的操作对consumer可见
ready.store(true, std::memory_order_release);
}
void consumer() {
// acquire: 等待ready变为true
while (!ready.load(std::memory_order_acquire)) {
}
// 此处读data一定看到"hello"
}
int main() {
std::thread t1(producer);
std::thread t2(consumer);
t1.join();
t2.join();
return 0;
}
seq_cst顺序一致
memory_order_seq_cst是默认且最强的内存序，所有seq_cst操作在全局有单一总顺序，任何线程观察到的顺序一致。它最易推理但性能最低，因为通常需要完整内存屏障。
如果不显式写内存序，std::atomic的load和store默认就是seq_cst。简单场景下直接用默认即可，避免手动优化出错：
#include <atomic>
std::atomic<int> x(0);
void f() {
x.store(1); // 等价于 memory_order_seq_cst
int v = x.load(); // 等价于 memory_order_seq_cst
}
如何选择合适的memory_order
选择原则首先是正确，其次才是性能。如果不确定，一律使用默认的seq_cst，它不会引入难以排查的并发 bug。只有当性能剖析表明原子操作成为瓶颈，且能严格证明弱化序不会破坏逻辑时，才考虑acquire、release或relaxed。
典型模式是：标志位用release/acquire配对；单纯计数用relaxed；读写同一原子变量且需双向同步用acq_rel；跨多变量的复杂 invariant 保护仍应优先用互斥锁，而不是手动拼内存序。错误使用relaxed导致数据竞争是并发开发里的常见深坑。
| 内存序 | 同步能力 | 适用场景 |
|---|---|---|
| relaxed | 无 | 计数器、统计 |
| acquire/release | 单方向 | 标志通知、锁实现 |
| seq_cst | 全局一致 | 通用默认、强一致需求 |
小结
memory_order是C++原子操作内存序的核心控制手段，理解它要求明白编译器重排与CPU缓存一致性。合理使用能写出高性能无锁代码，滥用则制造极难复现的并发缺陷。实际工程中应以正确为先，逐步按测量优化。
memory_orderatomic内存模型修改时间：2026-07-31 17:21:26