thread_local 和 std::future 对象 - 对象的生存期是多少

Question

这是我的测试代码：

vector<int> const & foo(int const counter)
{
    thread_local static vector<int> v{counter, counter + 1, counter + 2};
    return v;
}
int main()
{
    using myFut = future<vector<int> const &>;
    vector<myFut> futures;
    for(int i{0}; i < 5; ++i)
    {
        futures.push_back(async(launch::async, &foo, i * 3));
    }
    for(myFut & fut : futures)
    {
        vector<int> v{fut.get()}; // or vector<int> const & v{fut.get()};
        cout << v.size() << endl; // 0, I expect 3
    }
    return 0;
}

当foo()返回时，可以销毁线程 - 以及thread_local变量。但是由于我使用的是std::future变量的生存期应该延长，直到调用std::future::get()，对吧？但在我的情况下，std::future返回一个空向量。那么规则是什么呢？

Answer 1

但是由于我使用的是 std：：future，变量

的生命周期应该延长，直到调用 std：：future：：get((，对吧？

事实并非如此。std：：async 使用的线程将在与未来关联的std::promise上调用set_value()，然后它可以自由终止。因此，您的线程局部变量很可能在std::future::get()返回之前甚至在您调用它之前被销毁。