std :: mutex不能在std :: thread之间共享

Question

在以下代码中，我认为子线程无法获取mLooperMutex。 但是节目输出非常令人惊讶。 看起来在std :: thread中捕获的mLooperMutex与主线程中的不同。

但是如果我将std :: thread的detach（）调用更改为join（），这将导致死锁，因为mLooperMutex已被主线程锁定。

如果我想在不同的线程中使用mLooperMutex，这个程序有什么问题吗？

a.out：main：等待cond开始
孩子：获得锁定开始
孩子：完成锁定
孩子：通知一个人开始
孩子：通知一个完成
主要：等待cond完成

#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>

using namespace std;

int main()
{
    std::condition_variable looperSet;
    bool child_done = false;
    std::mutex mLooperMutex;

    cout << "main: acquiring lock begin" << endl;
    std::unique_lock<std::mutex> lock(mLooperMutex);
    cout << "main: acquiring lock done" << endl;

    std::thread{[&mutex=mLooperMutex, &looperSet, &child_done] () {
        cout << "child: acquiring lock begin" << endl;
        std::unique_lock<std::mutex> lock(mutex);
        cout << "child: acquiring lock done" << endl;
        child_done = true;
        lock.unlock();

        cout << "child: notify one begin" << endl;
        looperSet.notify_one();
        cout << "child: notify one done" << endl;


    }}.detach();

    cout << "main: wait cond begin" << endl;
    looperSet.wait(lock, [&child_done]{ return child_done; });
    cout << "main: wait cond done" << endl;

    return 0;
}

Answer 1

可以在子线程中获取mLooperMutex的原因是因为looperSet.wait释放了looperSet.wait ：

// This unlocks "lock", and then locks it again afterwards.
looperSet.wait(lock, [&child_done]{ return child_done; });

这与.join()不起作用的原因是因为.join()在继续之前等待线程完成，并且线程在释放锁之前无法完成，并且looperSet.wait()释放了在.join()完成之前，lock不会运行。

创建一个线程然后立即调用.join()并不是很有用，你也可以直接运行代码而不是使用线程。