内存序是c++多线程中控制内存操作顺序、防止重排引发错误的机制。1. memory_order_relaxed仅保证原子性，适用计数器；2. memory_order_consume限制依赖操作重排，用于指针传递；3. memory_order_acquire确保后续操作不重排到其前，常与release配对使用；4. memory_order_release确保前面操作不重排到其后，用于数据发布；5. memory_order_acq_rel兼具acquire和release特性，适用于原子读改写操作；6. memory_order_seq_cst提供全局顺序一致性，性能开销最大。选择时应根据场景权衡正确性与性能。
理解C++中的内存序（memory order），其实是在多线程环境下控制变量读写顺序的一种机制。它影响的是编译器和CPU在执行指令时对内存操作的重排行为，从而影响程序的正确性和性能。
C++11引入了原子操作与内存模型的支持，其中std::memory_order定义了六种不同的内存顺序类型，它们分别适用于不同的并发场景，使用不当会导致数据竞争或难以排查的bug。
什么是内存序？为什么需要它？
现代处理器为了提高性能，会对指令进行重排序（reordering），同时编译器也可能优化代码顺序。但在多线程环境下，这种“自由发挥”可能导致不同线程看到的内存状态不一致，进而引发错误。
立即学习“C++免费学习笔记（深入）”；
内存序的作用就是告诉编译器和CPU：“你可以在什么范围内自由重排，哪些操作必须保持顺序。”通过为原子操作指定内存顺序，可以精确控制这种行为。
六种内存顺序的语义与适用场景
1. memory_order_relaxed
这是最宽松的内存顺序，只保证原子性，不提供任何顺序约束。也就是说，其他操作可以自由地重排到它前后。
- 适用场景：计数器、不需要同步顺序的操作。
- 注意点：不能用于同步两个线程之间的数据依赖关系。
例如：
std::atomic<int> counter{0};
counter.fetch_add(1, std::memory_order_relaxed);2. memory_order_consume
表示当前操作之后的依赖操作不能重排到该操作之前。主要用于传递依赖关系。
- 适用场景：跨线程传递指针或值，后续操作依赖该值。
- 现状：实际中很少使用，部分平台支持有限。
示例：
std::atomic<int*> ptr; int* p = ptr.load(std::memory_order_consume); // 后续使用p的操作不会被重排到上面这句load之前
3. memory_order_acquire
确保该操作之后的所有读写操作不能重排到它之前。通常用于“获取锁”。
- 适用场景：线程等待某个条件成立后继续执行。
-
常见搭配：与
memory_order_release配对使用。
比如：
std::atomic<bool> ready{false};
// 线程A
data = 42;
ready.store(true, std::memory_order_release);
// 线程B
while (!ready.load(std::memory_order_acquire)) {}
// 此时可以安全访问data4. memory_order_release
确保该操作之前的所有读写操作不能重排到它之后。常用于“释放锁”。
- 适用场景：在线程间发布数据。
- 逻辑意义：我做完事情了，你可以用了。
见上例。
5. memory_order_acq_rel
结合了acquire和release的特性，用于原子的读-改-写操作（如fetch_add、exchange等）。
- 适用场景：多个线程修改同一个原子变量，并且希望保证操作前后的可见性。
- 典型用法：实现自旋锁、计数器同步等。
示例：
std::atomic<int> flag{0};
flag.fetch_or(1, std::memory_order_acq_rel);6. memory_order_seq_cst（默认）
顺序一致性，所有线程看到的操作顺序是一致的，是最强的约束，也是默认的内存顺序。
- 适用场景：需要严格保证顺序的地方，比如算法正确性依赖顺序。
- 缺点：性能开销最大，因为限制最多。
比如：
std::atomic<int> x{0}, y{0};
x.store(1, std::memory_order_seq_cst);
y.store(1, std::memory_order_seq_cst);在这种模式下，所有线程看到的x和y的变化顺序是相同的。
如何选择合适的内存顺序？
- 如果只是单个线程内部使用，或者不要求顺序，就用
relaxed； - 如果要跨线程传递依赖关系，考虑
consume（但注意平台支持）； - 需要同步数据发布的，用
release+acquire； - 修改共享状态并需要保证顺序的，用
acq_rel； - 要求全局顺序一致性的，才用
seq_cst；
建议：
- 不要一开始就追求极致性能而随意降低内存顺序；
- 只有在明确知道其语义和影响的前提下才使用弱于
seq_cst的顺序； - 多看标准文档，多参考权威资料，避免误用。
基本上就这些。内存序不是特别复杂，但容易忽略细节。用得对能提升性能，用错了可能埋下隐藏很深的并发问题。
