没有来自标准的保证，它将取决于标准库的实现。
它甚至不能保证 * 只有 * 一个线程是未阻塞的。任何数量的合格线程，但是如果至少一个合格，则至少一个可以被解除阻止。简单地将notify_one转发到notify_all的实现将是符合的。

从几个答案中总结，答案将是：

• 标准C++规范没有任何与atomic_flags的公平性相关的指导方针，并且可能通过扩展到所有其他原子类型。
• 每个实现可以在它们认为合适时唤醒等待线程。
• 使用notify_all（）而不是notify_one（）将给予所有线程几乎相等的机会来竞争atomic_flag并将其进一步留给调度器。
• 抢占式线程调度器引导管弦乐队哪个线程获得第一机会。我由此得出结论，使用notify_all（），线程的饥饿可能变得不可能，或者至少问题较少，因为调度程序将为每个线程提供机会。
• 多核并不能保证同一个线程总是完全在同一个核上执行，所以公平性不会在试图更好地将负载分散在几个核上时带来任何东西。

谢谢大家。现在感觉很好，因为公平是一个比我最初想象/担心的要小的问题。

C++标准在这里没有任何要求--每个实现都可以自由地唤醒它认为最合适的线程。
如果对您很重要的话，您可能希望在您的平台上存在的编译器之间进行比较。