Promise内部会建立一个shared state是用来放一个相应的类型的值或是一个异常,并可被future object 取其数据当线程结果

promise是在形成成果后才将结果放进shared state中。所以不会发生读和写的并发操作

#include <thread>
#include <future>
#include <iostream>
#include <string>
#include <exception>
#include <random>//随机数类
#include <chrono>//时间处理类
#include <stdexcept>//标准异常类
#include <functional>//STL 定义运算函数(代替运算符)
#include <utility>//STL 通用模板类
using namespace std;

void toSomething(promise<string> &p)
{
    try{
        cout << "read char ('x' for exception):";
        //char c = cin.get();
        char c;
        default_random_engine dre(time(NULL));
        uniform_int_distribution<int> id(0, 24);
        c = 'a' + id(dre);
        //this_thread::sleep_for(chrono::milliseconds(5000));
        if (c == 'x')
        {
            throw runtime_error(string("char ") + " read");
        }
        string s = string("char ") + c + " processed";
        //在主函数调用get()方法时线程会停滞(block)直到share state 成为ready-当promise的set_value()或set_exception()执行后便是如此,也不意味promise的线程已经结束;
        //该线程可能仍执行着其他语句,甚至储存其他结果放进其他promise内。
        //如果想令shared state 在线程确实结束时变成ready-以确保线程的local object 及其他材料在释放前清除线程你应该使用set_value_at_thread_exit() and set_exception_at_thread_exit(),防止泄露
        p.set_value_at_thread_exit(move(s));
    }
    catch (const exception &e)
    {
        p.set_exception_at_thread_exit(current_exception());
    }
}

int main()
{
    try{
        promise<string>p;//在线程定义前定义一个promise object。promise内部会建立y一个shared state, 在这里
        //是用来放一个相应的类型的值或是一个异常,并可被future object 取其数据当线程结果
        //这个promise随后被传给一个分离线程中运行的任务(task):
        thread t(toSomething, ref(p));//借由ref() 确保promise以by reference(传地址)方式传递,使其可以被改变。
        t.detach();//将线程分离主线程,使其在后台运行
        future<string> f(p.get_future());//定义一个用来取promise结果的future(),它与promise()是匹配的
        cout << "result: " << f.get() << endl;//获取线程的结果

    }
    catch (const exception &e)
    {
        cerr << "EXCEPTION:" << e.what() << endl;
    }
    system("pause");
    return 0;
}