C++中std::memory_order通过控制内存访问顺序来确保多线程数据可见性和操作顺序，六种内存序提供不同强度的同步保证：relaxed仅保原子性；acquire防止后续读写重排到前面；release防止前面读写重排到后面；acq_rel兼具两者；seq_cst提供全局顺序一致。常见应用包括用relaxed实现高性能计数器，acquire-release配对实现无锁同步，如标志位通知，而seq_cst为默认最安全选项，适合不熟悉内存模型的开发者，在保证正确性的同时需权衡性能开销。
在C++的多线程编程中，原子操作和内存顺序（memory order）是控制并发行为的核心机制。std::memory_order 用于指定原子操作周围的内存访问如何被排序，从而影响数据可见性和执行顺序。理解这些内存顺序选项，有助于编写高效且正确的并发代码。
内存顺序的基本作用
原子操作本身保证了对单个变量的读写是不可分割的，但不控制其他内存操作的顺序。CPU 和编译器为了优化性能，可能会重排指令。std::memory\_order 允许程序员插入内存屏障（memory barrier），限制这种重排，确保特定的同步语义。
C++ 提供了六种 memory order 枚举值：
- std::memory_order_relaxed：最弱的顺序约束，只保证原子性，不提供同步或顺序保证。
- std::memory_order_consume：依赖该原子操作结果的后续读写不能被重排到其前面（目前很少使用，多数场景推荐用 acquire）。
- std::memory_order_acquire：用于读操作，保证该操作之后的读写不会被重排到它前面。
- std::memory_order_release：用于写操作，保证该操作之前的读写不会被重排到它后面。
- std::memory_order_acq_rel：同时包含 acquire 和 release 语义，适用于读-修改-写操作。
- std::memory_order_seq_cst：最强的顺序模型，提供全局顺序一致性，所有线程看到的操作顺序一致。
常见内存顺序的应用场景
不同的 memory order 适用于不同同步需求，选择合适的可以兼顾性能与正确性。
立即学习“C++免费学习笔记（深入）”；
relaxed 内存序：计数器场景当只需要原子性而不需要同步时，可以用 relaxed。例如多个线程递增一个计数器：
std::atomic<int> counter{0};
void increment() {
counter.fetch_add(1, std::memory_order_relaxed);
}
这里不关心其他内存操作的顺序，只保证 counter 的修改是原子的。
acquire-release 模型：实现锁或标志同步这是最常见的非默认内存序组合。一个线程 release 写入标志，另一个线程 acquire 读取该标志，可建立同步关系。
std::atomic<bool> ready{false};
int data = 0;
// 线程1：发布数据
data = 42;
ready.store(true, std::memory_order_release);
// 线程2：等待并读取数据
while (!ready.load(std::memory_order_acquire)) {
// 等待
}
assert(data == 42); // 不会触发，data 的写入对当前线程可见
release 保证 data = 42 不会被重排到 store 后面，acquire 保证 load 后的读取能看到之前 release 前的所有写入。
seq_cst：默认且最安全的选择所有原子操作默认使用 std::memory_order_seq_cst。它提供了类似“所有线程都看到相同操作序列”的直观行为。
ready.store(true); // 默认是 seq_cst
虽然安全，但在某些架构（如 ARM、PowerPC）上性能开销较大，因为需要全局内存屏障。
内存屏障与可见性的关系
内存顺序的本质是控制“可见性”和“顺序”。没有适当的 barrier，一个线程的写操作可能长时间对另一个线程不可见，或观察到不合逻辑的操作顺序。
acquire-release 配对建立了“synchronizes-with”关系，使得一个线程的修改能被另一个线程可靠观察到。而 relaxed 操作之间无法建立这种关系，不适合同步用途。
seq_cst 在所有原子变量间引入一个全局总序，避免了复杂推理，适合对并发模型不熟悉的开发者。
基本上就这些。合理使用 memory order 能在保证正确性的同时减少不必要的性能损耗。关键是根据同步需求选择最弱的有效约束。
