内存序是c++中控制原子操作顺序的机制，确保多线程下数据可见性和操作顺序正确。通过std::memory_order枚举实现，包含六种：memory_order_relaxed仅保证原子性，适用于计数器；memory_order_consume限制依赖操作重排，但支持弱；memory_order_acquire用于读操作，防止后续访问被提前；memory_order_release用于写操作，防止前置操作被后移；memory_order_acq_rel兼具acquire和release语义，用于读-修改-写操作；memory_order_seq_cst提供全局顺序一致，最安全但开销大。典型模式如发布-订阅使用release-acquire配对，确保数据发布后能被安全读取；计数器场景可用relaxed提升性能。选择时应权衡安全与效率，不确定时用seq_cst，明确同步关系时用acquire/release，仅需原子性用relaxed，避免滥用consume。掌握这些模式可有效提升并发程序性能与正确性。
内存序（memory order）是C++中用于控制原子操作之间内存访问顺序的机制，主要用在多线程编程中，确保数据在不同线程之间的可见性和操作顺序的正确性。它属于C++11引入的原子操作和内存模型的一部分，通过std::atomic和std::memory_order枚举来实现。
内存序的作用
在多核或多线程环境下，编译器和CPU为了优化性能，可能会对指令进行重排序。虽然单线程下这种重排不会影响结果，但在多线程环境中可能导致不可预期的行为。内存序的作用就是告诉编译器和处理器：哪些操作不能被重排，以及一个线程对共享数据的修改何时对其他线程可见。
使用合适的内存序可以在保证程序正确性的同时，避免过度使用重量级同步原语（如互斥锁），提升性能。
memory_order 的枚举值及其含义
C++定义了六种内存序，它们是std::memory_order的枚举常量：
立即学习“C++免费学习笔记（深入）”；
- std::memory_order_relaxed：最宽松的内存序。只保证该原子操作的原子性，不提供同步或顺序约束。适用于计数器等不需要同步的场景。
- std::memory_order_consume：当前操作之后的读操作不能重排到该操作之前，且依赖该原子变量的读写操作不会被提前。常用于指针或数据依赖场景，但实际支持较弱，多数编译器将其视为acquire。
- std::memory_order_acquire：用于读操作（load）。保证该操作之后的所有读写操作不会被重排到该操作之前。常用于获取锁或读取共享数据前的同步。
- std::memory_order_release：用于写操作（store）。保证该操作之前的所有读写操作不会被重排到该操作之后。常用于释放锁或发布数据。
- std::memory_order_acq_rel：同时具有acquire和release语义，适用于读-修改-写操作（如fetch_add、compare_exchange）。
- std::memory_order_seq_cst：最强的内存序，提供顺序一致性。所有线程看到的操作顺序一致，默认的内存序。性能开销最大，但最安全。
常见使用模式
合理搭配acquire和release可以实现高效的无锁同步。
发布-订阅模式（Release-Acquire）
一个线程准备数据后，通过release写入一个原子标志；另一个线程通过acquire读取该标志，一旦读到true，就能看到之前发布的所有数据。
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)) { // 等待 } // 此时可以安全使用 data
这里，release保证data = 42不会被重排到store之后，acquire保证后续对data的访问不会被提前。这样就实现了跨线程的数据传递安全。
计数器使用 relaxed
如果只是递增一个计数器，不涉及其他数据同步，可以用relaxed：
std::atomic<int> counter{0}; // 多个线程中 counter.fetch_add(1, std::memory_order_relaxed);
这比默认的seq_cst更高效。
如何选择合适的内存序
选择内存序要权衡性能和复杂性：
- 不确定时，使用默认的
memory_order_seq_cst，安全且易于理解。 - 需要高性能且能明确同步关系时，使用
acquire/release配对。 - 仅需原子性而不关心顺序，用
relaxed。 - 避免随意使用consume，因支持有限且易出错。
基本上就这些。内存序看似复杂，但掌握几个典型模式后，在实际开发中能有效提升并发程序的效率和安全性。关键是理解每种内存序对重排序的限制，以及它们如何建立线程间的“同步关系”。