这种使用 std::atomic_thread_fence 是否正确？

Question

我想在构造函数中初始化一个字段，之后再也不更改它。我希望保证在构造函数完成后，每次读取该字段都会读取初始化值，无论读取发生在哪个线程中。

基本上，我想要的保证与 Java 中的 final 字段相同。

这是我尝试过的：

#include <atomic>
#include <iostream>
#include <thread>

struct Foo
{
    Foo(int x) : x(x)
    {
        // ensure all writes are visible to other threads
        std::atomic_thread_fence(std::memory_order_release);
    }

    int x;
};

void print_x(Foo const& foo)
{
    // I don't think I need an aquire fence here, because the object is
    // newly constructed, so there cannot be any stale reads.
    std::cout << foo.x << std::endl;
}

int main()
{
    Foo foo(1);
    std::thread t(print_x, foo);
    t.join();
}

• 这是否保证始终打印1 或线程t 观察foo.x 处于未初始化状态？
• 如果不使用成员初始化器 x(x) 而是使用显式赋值 this->x = x; 会怎样？
• 如果x 不是int 而是某个类类型怎么办？
• 将x 设为const int 是否会改变线程安全方面的任何内容？

Answer 1

基本上，如果其他一切都正确，就不应该有任何 问题。在初始化字段之后，在访问它之前 在任何线程中，您都需要某种内存同步； 这很清楚。否则其他线程怎么会知道它 被构造。如果在启动另一个之前初始化它 线程，然后创建线程将确保必要的 同步。 （这只适用于线程之间 创建和创建的线程。其他已经运行的线程 不同步。）之后，只要没有线程 修改值，不需要同步。

关于您的代码，您不需要围栏，因为 值在任何其他线程被初始化之前被初始化 创建，并创建线程确保必要的 同步。