关于C++的多线程同步的条件变量如何运作?

Question

condition_variable cv;
mutex mu;
void thread1()
{
    mu.lock();
    unique_lock<mutex>lck(mu);
    cv.wait(lck);
    cout<<1;

}
void thread2()
{
    sleep(1);
    mu.lock();
    cv.notify_all();
    cout<<2;
    
}
int main()
{
    thread t1(thread1);
    thread t2(thread2);
    sleep(2);

}

我理解中的条件变量完成3件事.
1.解锁互斥锁.
2.等待通知.
3.通知到来后,再次给互斥锁上锁.
但这个不对劲,线程1开始wait之后,互斥锁应该已经解开了,线程2为什么依然没法获取互斥锁?
最后两个程序都应该打印一个数字,但实际上它们什么也不打印.

Answer 1

解决办法移除线程2的 mu.lock()

void thread2()
{
    sleep(1);
    cv.notify_all();
    cout << 2;
}

mutex mu;
condition_variable cv;

void thread1()
{
    unique_lock<mutex> lck(mu); 
    cv.wait(lck);
    cout << 1;
}

void thread2()
{
    sleep(1);
    unique_lock<mutex> lck(mu); 
    cv.notify_all(); 
    cout << 2;
}

int main()
{
    thread t1(thread1);
    thread t2(thread2);
    t1.join(); 
    t2.join(); 
}

Answer 2

    mu.lock();
    unique_lock<mutex>lck(mu);

unique_lock 的构造会调用 mu.lock()，于是直接死锁了，因为 mu 已经被加锁了。走不到 wait 。