c++ - C++中跨线程的变量可见性

Question

给定以下代码，是否可以保证看到a的最新值4？

int a;
mutex mtx;
void f() {
    unique_lock<mutex> lck(mtx);
    // read(a);
    // is it guarantee it will see the value 4?
}

int main() {
    a = 4;
    thread(f);
}

Answer 1

是的，可以保证:

32.4.2.2 Constructors [thread.thread.constr]

Synchronization: The completion of the invocation of the constructorsynchronizes with the beginning of the invocation of the copy of f.

换句话说，在原始执行线程中发生的 std::thread本身的构造与线程函数调用的开始同步。或者，换句话说:在原始函数中，在构造 std::thread之前发生的所有事情在线程函数中都是可见的。