std::atomic::wait真正休眠需同时满足值严格匹配、类型平凡可复制且尺寸≤指针宽、平台支持futex/waitonaddress三条件；否则退化为自旋，且必须用while循环+load重检、store-release/notify-acquire配对以避免丢失通知与虚假唤醒。
要在C++多线程中实现零锁开销、内核级休眠的事件通知，必须让std::atomic::wait真正进入futex_wait或WaitOnAddress系统调用，而不是退化为CPU空转；这要求同时满足值匹配、类型可等待、平台原语就绪三重硬性条件，缺一不可。
确认原子类型是否真正支持wait
第一步：检查模板参数是否平凡可复制且尺寸合规。运行时无法检测，必须在编译期断言：
【static_assert(std::is_trivially_copyable_v
第二步：禁用std::atomic
第三步：避免自定义结构体或std::atomic<:string>，它们不满足trivially copyable，调用wait将触发未定义行为。
让wait真正休眠而非自旋
方法一：确保当前值与expected按位严格相等
不能写counter.wait(0)；若counter是64位对齐但只存低32位值，高位可能含随机垃圾，导致永远不匹配。必须先load再传入：
int expected = counter.load(std::memory_order_acquire);
counter.wait(expected);
方法二：验证平台是否启用原语
Linux下需内核支持futex，Windows需1903+并启用WaitOnAddress；macOS截至2026年仍回退到mutex+condvar模拟，此时wait本质是自旋+锁，毫无优势。
方法三：确认内存序配对
通知方store必须用std::memory_order_release，等待方load必须用std::memory_order_acquire——否则即使值匹配，新值也可能未刷新到等待线程所在CPU缓存行，导致wait永不返回。
编写安全的等待循环
① 始终用while包裹wait，禁止if：
while (!flag.load(std::memory_order_acquire)) {
flag.wait(false, std::memory_order_relaxed);
}
② 每次wait返回后必须重新load并判断——因为存在虚假唤醒，且notify_one不保证唤醒你期望的那个线程。
③ 通知方必须严格遵循“修改状态→store→notify”顺序，store与notify之间不可插入任何非原子操作，否则可能被编译器或CPU重排，造成唤醒丢失。
规避通知丢失（lost wakeup）
notify_one和notify_all不缓存通知：如果notify发生在任何线程调用wait之前，该次通知彻底消失。
安全模式只有一种：等待线程先完成一次load，确认条件不满足，再进入wait；通知线程必须在store之后立即notify。
错误示范：线程A先flag.store(true)，5ms后才notify_one；线程B在这5ms间隙调用wait(false)，将永远阻塞。
【正确做法是把store和notify写在同一表达式后，中间不加任何分号或换行】
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
