c++的std::memory_order_consume为什么被弃用了？ (原子操作的演进)-C++-PHP中文网

std::memory_order_consume在C++20被弃用，因其数据依赖语义难以被编译器正确实现，主流编译器均将其降级为acquire，导致行为不可靠且无实际优化收益。

c++的std::memory_order_consume为什么被弃用了？ (原子操作的演进)

std::memory_order_consume 为什么在 C++20 被标记为 deprecated？

因为它的语义太难正确实现，且几乎没有编译器真正按标准要求支持它。C++ 标准委员会在 C++20 中将其标记为 deprecated，不是因为它“没用”，而是因为它的使用成本远高于收益——几乎所有实际代码都该改用 std::memory_order_acquire。

它和 std::memory_order_acquire 的关键区别在哪？

std::memory_order_consume 本意是只对“数据依赖链”上的读操作施加顺序约束（data-dependency ordering），而 std::memory_order_acquire 是对所有后续读写都加屏障（acquire barrier）。这意味着：

理论上，consume 允许编译器做更多优化（比如重排不依赖的访存）
但实际上，主流编译器（GCC、Clang、MSVC）为简化实现，**一律将 consume 当作 acquire 处理**
即使硬件支持（如 Alpha），编译器也很难在 IR 层精确跟踪“数据依赖”——尤其是经过内联、SROA、LTO 后，依赖关系可能被破坏或隐藏

你写了 consume，但实际得到的是 acquire

这段代码看似用了 consume：

std::atomic<int> ptr{nullptr};
std::atomic<bool> ready{false};
<p>// 线程 A
int data = 42;
ptr.store(&data, std::memory_order_relaxed);
ready.store(true, std::memory_order_release);</p>
<p>// 线程 B
while (!ready.load(std::memory_order_consume)) { /<em> spin </em>/ }
int<em> p = ptr.load(std::memory_order_consume);  // ← 这里期望依赖约束
int value = </em>p;  // ← 依赖于 p，应被 consume 保护</p></bool></int>

但 GCC/Clang 实际生成的汇编和 acquire 完全一致；更糟的是，如果编译器误判依赖（例如把 *p 提前到 load 之前，或因优化消除间接访问），consume 就无法阻止重排——而你根本不会收到警告。