关于std::condition_variable与mutex配对及lambda作用的技术疑问

问题1：为何std::condition_variable总是要与std::mutex配对？ #

这是为了安全同步共享条件变量，避免竞态条件和信号丢失：

• 像示例里的ready这类控制等待逻辑的变量是多线程共享的，必须用mutex保护，否则主线程修改ready与子线程检查ready的操作可能交叉执行，引发数据竞争，导致逻辑错误。
• cv.wait()的机制依赖mutex：调用wait时，它会自动解锁mutex，让其他线程能修改共享变量；线程被唤醒后，又会自动重新锁定mutex，此时才能安全检查条件。如果没有mutex，wait无法完成这种“解锁等待-唤醒加锁”的原子操作，要么会导致线程永远阻塞（比如主线程notify后子线程还没进入等待，直接错过信号），要么会出现共享变量的访问冲突。

问题2：此处的lambda函数[]{ return ready; }具体起到什么作用？ #

这个lambda是等待的条件谓词，核心作用是避免无效等待和虚假唤醒：

• 第一次调用cv.wait()时，会先执行这个lambda检查ready的值，如果ready已经为true，就直接跳过等待，继续执行后续代码，无需阻塞。
• 当线程被notify_one()唤醒，或是被系统虚假唤醒（比如操作系统线程调度的原因，并非主动notify）时，wait会再次执行这个lambda检查条件。只有当条件满足（ready为true）时，才会退出wait；如果条件不满足，会自动解锁mutex继续等待。这能保证只有当真正满足业务条件时，线程才会继续工作，不会因意外唤醒导致错误执行。

内容的提问来源于stack exchange，提问作者lustfully