C++如何使用std::atomic::wait高性能等待原子变量变化通知-C++-PHP中文网

std::atomic::wait仅支持整型特化（如std::atomic、std::atomic）及平台原语支持的平凡可复制类型，因底层依赖futex/waitonaddress等内核机制，且要求类型满足sizeof(t)≤指针宽度、lock-free、trivially copyable；std::atomic等不满足条件的类型无wait成员，编译失败。

c++如何使用std::atomic::wait高性能等待原子变量变化通知

std::atomic::wait 为什么不能直接用在所有原子类型上

因为 std::atomic::wait 只对 std::atomic<bool></bool>、std::atomic<:shared_ptr>></:shared_ptr> 和整型特化（如 std::atomic<int></int>、std::atomic<long></long> 等）有定义，且要求底层平台支持等待/通知原语（如 Linux futex、Windows WaitOnAddress）。不是所有 std::atomic<t></t> 都能调用 wait —— 比如 std::atomic<:string></:string> 或自定义结构体，编译会直接报错：no member named 'wait'。

常见误操作是把普通 std::atomic<int></int> 声明成 const 或绑定到 const auto&，导致无法调用非 const 成员函数 wait；也有人忽略头文件依赖，没加 #include <atomic></atomic> 或 #include <thread></thread>（后者在某些标准库实现中影响等待函数可见性）。

如何正确触发 std::atomic::notify_one / notify_all

notify_one 和 notify_all 必须由**修改原子变量值的线程**在写操作后显式调用，且写操作与通知之间不能有重排（编译器或 CPU 层面）。否则等待线程可能永远收不到信号。

推荐写法：用 store(new_val, std::memory_order_release) + notify_one()，确保 store 的内存序足够强
避免写法：a = new_val; a.notify_one(); —— 这里赋值默认是 seq_cst，但编译器仍可能重排 notify（实际少见，但不保证）

更安全的惯用写法是封装成函数：

void set_and_notify(std::atomic<int>& a, int val) {
    a.store(val, std::memory_order_release);
    a.notify_one();
}</int>

wait 的超时与虚假唤醒怎么处理

std::atomic::wait 本身不支持超时，必须配合 std::atomic::wait_until 或 std::atomic::wait_for。但要注意：这些函数返回后，**必须重新检查条件是否真正满足**，因为存在虚假唤醒（spurious wakeup）—— 即没被 notify 也返回了。

典型错误是写成：

flag.wait(false);  // 错！假设 wait 返回就代表 flag 变成了 true
do_work();

正确做法是循环检查：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

while (flag.load() == false) {
    flag.wait(false);
}
do_work();

如果需要带超时：

auto tp = std::chrono::steady_clock::now() + 100ms;
while (flag.load() == false && std::atomic_wait_until(&flag, false, tp)) {
    // 注意：wait_until 返回 true 表示被 notify，false 表示超时
    // 但即便返回 true，仍需 reload 检查值
}
if (flag.load()) {
    do_work();
}