C++11 std::condition_variable:我们可以将锁直接传递给通知的线程吗?

我正在学习 C++11 并发性，我之前唯一使用并发原语的经验是六年前在操作系统课上，所以如果可以的话，请保持温和。

在 C++11 中，我们可以写

std::mutex m;
std::condition_variable cv;
std::queue<int> q;
void producer_thread() {
    std::unique_lock<std::mutex> lock(m);
    q.push(42);
    cv.notify_one();
}
void consumer_thread() {
    std::unique_lock<std::mutex> lock(m);
    while (q.empty()) {
        cv.wait(lock);
    }
    q.pop();
}

这工作正常，但我对需要将cv.wait包装在循环中感到冒犯。我们需要循环的原因对我来说很清楚：

Consumer (inside wait())       Producer            Vulture
release the lock
sleep until notified
                               acquire the lock
                               I MADE YOU A COOKIE
                               notify Consumer
                               release the lock
                                                   acquire the lock
                                                   NOM NOM NOM
                                                   release the lock
acquire the lock
return from wait()
HEY WHERE'S MY COOKIE                              I EATED IT

现在，我相信unique_lock的一个很酷的事情是我们可以传递它，对吧？因此，如果我们能这样做，那将是非常优雅的：

Consumer (inside wait())       Producer
release the lock
sleep until notified
                               acquire the lock
                               I MADE YOU A COOKIE
                               notify and yield(passing the lock)
wake(receiving the lock)
return from wait()
YUM
release the lock

现在秃鹫线程无法猛扑，因为互斥锁从I MADE YOU A COOKIE一直锁定到YUM。另外，如果notify()要求你传递锁，这是确保人们在调用notify()之前实际锁定互斥锁的好方法（请参阅向条件变量发出信号（pthreads））。

我很确定 C++11 没有任何这个成语的标准实现。这有什么历史原因（只是 pthreads 没有这样做吗？然后为什么会这样）？是否有技术原因导致一个冒险的C++程序员无法在标准 C++11 中实现这个成语，称之为可能my_better_condition_variable？

我也有一种模糊的感觉，也许我正在重新发明信号量，但我在学校里记得的还不够多，不知道这是否准确。