有一组问题可以使用互斥体本身（不需要附加的东西，如条件变量）来同步线程。

例如，假设我希望一个后台线程执行一些可能很耗时的初始化，然后执行它的主作业，但是主作业不应在我从主线程给出信号之前开始:

std::thread backgroundThread ([]() {
    initialize ();
    waitForSignalQ ();
    doMainJob ();
});

…;

emitSignalQ ();

是的，我知道我可以使用互斥量+布尔变量+条件变量来实现WaitForSignalQ和EmitSignalQ。 或者，我可以使用void-returning future+void-returning promaces来达到同样的目的，就像Scott Meyers建议的那样。

但这里更简单的方法似乎只是使用一个互斥体:

std::mutex myMutex;
std::unique_lock <std::mutex> backgroundThreadCantStartItsMainJob (myMutex);

std::thread backgroundThread ([&myMutex]() {
    initialize ();

    // This line won't return until myMutex is unlocked:
    std::lock_quard <std::mutex> (myMutex);

    doMainJob ();
});

…;

// This line will unlock myMutex:
backgroundThreadCantStartItsMainJob.unlock();

但这种做法有效吗？ 或者是否存在一些缺陷（例如:OS级互斥锁时间限制，软件分析工具的误报等）？

_{P。 S.:
•是， 我知道，如果MyMutex没有解锁（由于BackgroundThreadCantStartItsMainJob.Unlock()之前的异常或其他原因），会出现问题，但问题不在于此（对于condvar和future方法，如果主线程“忘记”发出信号Q，我们会遇到同样的问题）。
•是的，我知道在实践中，使用信号Q的几种变体（例如“继续到主作业”与“取消”）可能是有意义的，但问题不在于此（以及condvar和future方法，所讨论的方法也允许传递额外的数据）。}