std::atomic 类型没有 notify_one 成员函数;真正提供 notify_one 的是 std::condition_variable,而 C++20 新增的 std::atomic_notify_one 是静态函数,仅适用于整型原子变量且需编译器和平台支持。

std::atomic::notify_one 不存在,别被名字骗了
直接说结论:std::atomic 类型(如 std::atomic<int></int>)**根本没有 notify_one 成员函数**。这是个常见误解——名字里带 “atomic” 和 “notify”,容易让人联想到 std::condition_variable 的 notify_one,但两者完全无关。
原子类型只提供无锁的读写、修改操作(如 load、store、fetch_add),不涉及线程阻塞或唤醒逻辑。想“唤醒等待线程”,必须搭配条件变量或类似同步原语。
真正能 notify_one 的是 std::condition_variable
如果你的目标是:一个线程修改某个状态后,通知另一个正在等待该状态变化的线程,标准做法是用 std::condition_variable 配合 std::mutex 和一个共享的 std::atomic(或普通变量)作为条件判断依据。
典型结构如下:
立即学习“C++免费学习笔记(深入)”;
std::atomic<bool> ready{false};
std::mutex mtx;
std::condition_variable cv;
// 等待线程
std::thread t1([&]{
std::unique_lock<std::mutex> lock(mtx);
cv.wait(lock, [&]{ return ready.load(); });
// 继续执行...
});
// 通知线程
std::thread t2([&]{
// 做一些准备...
ready.store(true);
cv.notify_one(); // ✅ 这才是真正的 notify_one
});
-
cv.wait必须和std::mutex一起用,内部会自动释放/重锁 -
ready用std::atomic是为了安全地在无锁路径读取(比如避免竞态导致 wait 跳过通知),但 wait 的谓词仍需在锁保护下检查(标准要求) -
notify_one不保证立即唤醒;若此时没有线程在 wait,通知会丢失——所以条件变量必须配合 while 循环或 lambda 谓词做二次检查
为什么不能只靠 std::atomic 实现“等待-唤醒”
原子操作本身不阻塞线程。有人尝试用忙等(busy-wait)模拟:
while (!flag.load(std::memory_order_acquire)) {
std::this_thread::yield();
}
这看似“等待”,但问题明显:
- CPU 空转耗电,尤其在单核或高负载环境
-
yield()不保证让出时间片,行为不可靠 - 无法响应中断、超时、或与其它同步机制协作
- 违反 C++ 标准中对
std::atomic的使用预期——它不是同步原语,而是内存访问修饰器
换句话说:std::atomic 解决的是“怎么安全读写”,不是“怎么暂停和恢复线程”。
std::atomic_wait 和 std::atomic_notify_one 是 C++20 新特性
C++20 引入了真正的原子等待 API:std::atomic_wait 和 std::atomic_notify_one,它们作用于 std::atomic 对象,且无需互斥量。
但要注意:
- 它们是**静态函数**,不是成员函数:
std::atomic_notify_one(&my_atomic),不是my_atomic.notify_one() - 仅适用于整型特化(
std::atomic<int></int>、std::atomic<:size_t></:size_t>等),不支持bool或自定义类型 - 底层依赖操作系统 futex(Linux)或 WaitOnAddress(Windows),并非所有平台都高效实现;MSVC 和 GCC 12+ 支持较好,Clang 支持较晚
- 仍需配合内存序使用,例如通知前要确保状态已写入:
flag.store(true, std::memory_order_release),再std::atomic_notify_one
示例片段:
std::atomic<int> flag{0};
// 等待线程
std::thread t1([&]{
std::atomic_wait(&flag, 0); // 等待 flag != 0
// ...
});
// 通知线程
std::thread t2([&]{
flag.store(1, std::memory_order_release);
std::atomic_notify_one(&flag); // ✅ C++20 正确用法
});
用 std::atomic_notify_one 前先确认编译器版本和目标平台是否真正支持,否则退回到 std::condition_variable 更稳妥。最常被忽略的一点是:C++20 的原子等待不是“替代 condition_variable”,而是为极低延迟、无锁数据结构(如 lock-free queue 的消费者唤醒)设计的窄场景工具——日常同步,别绕开 mutex + cv。


















