C++如何使用std::atomic::wait高性能地轮询等待原子变量状态变化通知

作者：袖梨 2026-07-13

std::atomic::wait是C++20引入的轻量等待机制，需编译器（GCC 11+/Clang 12+/MSVC 19.30+）、标准库及系统支持（如glibc≥2.34），必须配对notify_one/notify_all并用循环检查条件以应对虚假唤醒。

std::atomic::wait 是 C++20 引入的，不是所有编译器默认启用

它依赖 std::atomic 的等待/通知机制（类似 futex），但需要编译器和标准库支持。GCC 11+、Clang 12+、MSVC 19.30+ 才完整支持，且必须开启 C++20 模式：-std=c++20。否则调用 wait 会触发编译错误或退化为忙等（fallback busy-wait），完全失去意义。

检查是否可用最直接的方式是编译时断言：

#include <atomic><br>static_assert(std::atomic<int>::is_always_lock_free); // 基础保障<br>static_assert(__cpp_lib_atomic_wait >= 201907L); // C++20 wait 特性宏

Linux 上需 glibc ≥ 2.34（否则即使编译通过，wait 可能 silently fallback）
macOS 目前（截至 macOS 14）libstdc++/libc++ 均未实现 wait，调用会抛 std::system_error 或崩溃
Windows 上 MSVC 已支持，但 MinGW-w64 仍普遍不支持

std::atomic::wait 必须搭配 std::atomic::notify_one/notify_all 使用

wait 不是轮询 —— 它把线程挂起，直到被显式唤醒或虚假唤醒（spurious wakeup）。如果没人调用 notify_one 或 notify_all，线程可能永远阻塞（除非带超时）。

典型误用是只写 wait 不配对 notify，或者在错误线程里 notify（比如 notify 发生在 wait 之前，而没有内存序保证可见性）：

立即学习“C++免费学习笔记（深入）”；

std::atomic<int> flag{0};<br>// 线程 A：<br>flag.wait(0); // 等待 flag != 0<br><br>// 线程 B：<br>flag.store(1, std::memory_order_relaxed);<br>flag.notify_one(); // ✅ 正确：store 后 notify<br>// ❌ 错误：先 notify 再 store → A 可能永远等不到

notify 必须发生在 wait 观察到旧值之后，推荐用 memory_order_seq_cst 或至少 memory_order_release store + memory_order_acquire load 配合
notify_one 和 notify_all 性能差异明显：notify_all 唤醒所有等待者，适合广播场景；notify_one 更轻量，适用于一对一同步
wait 的参数是“期望值”，即当原子变量值**等于该值时才挂起**；一旦值变化（哪怕只是临时变过），wait 就返回

避免虚假唤醒导致逻辑错乱

wait 可能无理由返回（spurious wakeup），所以不能假设返回就一定是因为 notify。必须用循环检查条件是否真正满足：

std::atomic<bool> ready{false};<br><br>// ✅ 正确写法<br>while (!ready.load(std::memory_order_acquire)) {<br>    ready.wait(false); // 等待 ready 变成 true<br>}<br><br>// ❌ 错误：一次 wait 不够<br>ready.wait(false); // 可能虚假唤醒，此时 ready 仍是 false