C＆＃x2b;＆＃x2B; 11 Promise对象无效，但其未来对象既不返回值，也不会抛出异常

Question

我有这个测试代码可以查看，如果一个承诺对象不在生命周期之外，那么它的未来对象会发生什么：

#include <chrono>
#include <future>
#include <iostream>
#include <thread>
using namespace std;

void getValue(future<int>& future) {
    cout << "sub process 1 \n";
    try {
        cout << "sub process 2 \n";
        int value = future.get();
        cout << "sub process 3\n";
        cout << value << endl;
    } catch (future_error &e) {
        cerr << e.code() << '\n' << e.what() << endl;
    } catch (exception e) {
        cerr << e.what() << endl;
    }
    cout << "sub process 4\n";
}
int main() {
    thread t;
    {
        promise<int> plocal;
        future<int> flocal = plocal.get_future();
        t = thread(getValue, ref(flocal));
    }
    t.join();
    return 0;
}

我希望在getValue函数中，它会打印Future ::获取结果，或者抛出运行时异常并打印异常信息，因为Plocal已在“ Main”中破坏了。

从行为上讲，该程序打印：

sub process 1
sub process 2

结束。

Answer 1

您的问题与std :: Promise或std :: Future行为无关。

您只需通过将flocal对象征用到线程，在线程中访问该flocal对象来引起数据竞赛（并因此是未定义的行为），并且在主线程中也无需任何同步即可将其销毁。

无论哪种类型或类型的对象tlocal是，这都不起作用。

通过std :: Future通过std :: move：

void getValue(future<int> future)

/*...*/

t = thread(getValue, std::move(flocal));

随着此更改，std :: Promise将存储a <代码> std :: future_error 共享状态中的异常，get在线程中的未来将接收并投掷。

---

如果您用std :: Ref将某些内容传递给线程，则您始终必须确保引用的对象要列出线程，否则您需要确保有一些同步确定主线程何时可能破坏对象的机制。