如何在没有互斥实例的情况下编译lock_guard <mutex>构造函数？

Question

我现在正在研究C++ 11中的线程,我遇到了以下代码:

lock_guard<mutex> lg(mutex);

没有变数mutex.mutex只是类型的名称.

任何人都可以解释我上面的代码行如何工作？

为什么编译器(GCC)不会打印任何错误？

完整代码:

#include <iostream>
#include <thread>
#include <mutex>
#include <chrono>

using namespace std;

void do_something()
{
    lock_guard<mutex> lg(mutex);

    cout << "Working..." << endl;

    this_thread::sleep_for(chrono::milliseconds(3000));
}

int main()
{
    thread thd(do_something);
    thd.join();
}

Answer 1

编译器认为这是一个原型函数声明:

lock_guard<mutex> lg(mutex);

为了清楚起见,编译器将其解析为名为"lg"的函数的声明,该函数将互斥锁作为参数并返回lock_guard实例.

#include <mutex>

int main()
{
    using namespace std;
    lock_guard<mutex> lg(mutex);
    return 0;
}

vc12 output : warning C4930 : 'std::lock_guard<std::mutex> lg(std::mutex)' : prototyped function not called(was a variable definition intended ? )