多线程环境中初始化的内存语义（C++）

Question

我不确定 C++ 初始化过程的内存语义。 假设我们有以下程序。

#include <iostream>
#include <thread>

using namespace std;

void func(int* arr, int s)
{
    for (int i = 0; i < s; ++i)
    {
        cout << arr[i] << endl;
    }
}

int main(int argc, char *argv[])
{
    int *a = new int[10];
    for (int i = 0; i < 10; ++i)
    {
        a[i] = i;
    }

    // Do I need some sort of memory barrier here?
    std::thread t(func, a, 10);
    t.join();
    return 0;
}

新线程会看到正确初始化的数组吗？或者我是否需要在两者之间插入某种内存屏障。 C++语言如何定义初始化的内存语义？

我担心的是所有对数组 a[10] 的写入都可能位于一个 cpu 的写入缓冲区中，并且我们在不同的 cpu 上启动了一个新线程，它可能不会观察到初始化写入。

我们是否需要用于初始化的内存栅栏，以便稍后在不同 cpu 上运行的线程能够观察到？

Answer 1

在执行线程构造函数之前父进程中的操作与子进程中运行的线程过程之间存在“先发生”关系。特别是标准说（f 是线程过程）：

同步：构造函数调用的完成与f副本的调用开始同步。

这可以在[thread.thread.constr]部分找到