需要自己的std:：shared_future副本的线程，该副本引用共享状态

Question

我有一个关于斯科特·梅耶斯（Scott Meyers）写的《有效现代C》第270页的问题。

第5/6行，他写道：“唯一的微妙之处是每个反应线程都需要自己的std:：shared_future副本，该副本引用共享状态，…”

我的问题是：为什么我们必须向每个线程中的每个lambda函数传递一份std:：shared_future？然而，根据先验知识，我认为通过引用传递它没有任何问题，比如存在一个唯一的共享状态，不同的线程会使用它？

我写了一个代码，改编自斯科特·迈耶斯博士的书，即使我通过了标准参考，它也是有效的。

因此，是否有可能通过引用来传递它？

#include <future>
#include <vector>

std::promise<void> p;

void react(){}

void detect()
{
    auto sf = p.get_future().share();

    std::vector<std::thread> vt;
    int n=10;
    for(int i=0;i < n; i++)
    {
        vt.emplace_back([sf]{sf.wait();
        react();
                        });
    }

p.set_value();

for(auto& t : vt)
    t.join();


}

int main()
{
    detect();
    return 0;
}

Answer 1

如果引用传递，多个线程正在访问shared_future的同一个实例。这可能会导致数据竞争，并且是未定义的行为。如果多个线程通过自己的shared_future副本访问共享状态，库会确保它们是同步的。

get上的参考页面显示：

它有效地调用wait（），以等待结果。

等待上的cp首选项页面说：

从多个线程调用相同的std::shared_future是不安全的；预期的用途是每个在相同共享状态下等待的线程都有一个std::shared_future的副本。