c++ - 信号量实现-在通知condition_variable之前，notify()是否应释放互斥量？

Question

我已经看到了信号量的许多实现，其中notify()函数看起来像这样:
(此特定示例来自here)

void notify() {
        std::lock_guard<decltype(mutex_)> lock(mutex_);
        ++count_;
        condition_.notify_one();
    }

我不明白在调用 notify_one()时保持锁定的原因。即使在释放互斥锁之后但在通知条件变量之前发生了虚假唤醒，也应该一切正常(因为 condition_.wait()应该使用谓词来处理虚假唤醒)。

是否有以下情况:

void notify() {
        {
        std::scoped_lock lock(mutex_);
        ++count_;
        }
        condition_.notify_one();
    }

会失败吗？

Answer 1

根据cppreference(重点是我的):

The thread that intends to modify the variable has to

1. acquire a std::mutex (typically via std::lock_guard)
2. perform the modification while the lock is held
3. execute notify_one or notify_all on the std::condition_variable (the lock does not need to be held for notification)

因此，您帖子中的任何代码序列都应该可以。