std::condition_variable::notify_one()唤醒等待线程的顺序是否不可预测？

结论：完全不可预测

C++标准并没有对std::condition_variable::notify_one()的唤醒顺序做出任何规定，它不会按照线程创建顺序、等待顺序或者其他固定规则来选择要唤醒的线程。具体唤醒哪个等待线程，完全取决于底层操作系统的线程调度实现，不同编译器、不同OS的行为可能不同，甚至同一环境下每次运行的结果都可能存在差异。

结合你的代码来看：
你创建了四个工作线程t1-t4，执行完毕后调用notify_one()，但如果存在其他等待在该cv上的线程（代码中未展示等待逻辑，但从现象推断存在），notify_one()只会随机唤醒其中一个等待线程。如果恰好唤醒了程序预期的线程，程序就能正常执行；如果没唤醒到目标线程，就会出现阻塞，这就是你观察到“偶尔成功、偶尔阻塞”的原因。而notify_all()会唤醒所有等待在该cv上的线程，自然不会出现阻塞问题。

需要注意的是，永远不要依赖notify_one()的唤醒顺序来编写业务逻辑，这种假设属于未定义行为范畴，会导致程序的稳定性和可移植性极差。如果需要实现特定顺序的线程唤醒，应该设计额外的同步机制：

• 使用多个独立的std::condition_variable，每个对应特定的唤醒条件
• 引入更精细的状态变量，让线程在等待时检查具体的唤醒条件（配合wait()的谓词参数）

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