(7)Feature,Promise和async()

其实，这节课程中一开始的引入future的环节不是太清晰，反正只要知道使用了future, 在代码中可以省略mutex 和条件变量的使用，并且也保证了主线程在得到x的值的过程，一定是在子线程结束后发生．而这个代码段是为了得到从线程中返回值．

#include <deque>
#include <functional>
#include <iostream>
#include <fstream>
#include <thread>
#include <string>
#include <mutex>
#include <future>

using namespace std;

int factorial(int N)
{
    int res = 1;
    for(int i=N;i>1;--i)
        res *= i;
    cout << "Result is: " << res << endl;
    return res;
}

int main(int argc,char** argv)
{
    int x;
    std::future<int> fu = std::async(factorial, 4);
    x = fu.get();//get()函数会等待子线程结束，然后将值赋值给x.
    return 0;
}

future类是可以从未来获取某个变量的类，需要注意的是，future的get函数只能调用一次．如果调用２次则会崩溃．

此外这里的async并不会创建一个子线程，取决于其第一个参数．

std::future<int> fu = std::async(std::launch::deferred, factorial, 4);
//这样是不会创建一个线程的，它会延期启动factorial函数，当执行到了get()函数，factorial()函数会在同个线程中调用．
//当把参数改为std::launch::async,则会创建一个子线程．
//当把参数改为std::launch::async | std::launch::deferred,则表示是否创建一个线程，取决与实现，这个参数也是默认参数．

future也是一种线程间通信方式，它是用于主线程获取子线程中的变量，如果我们从子线程中来获取主线程中的变量又应该怎么来实现呢？我们可以通过promise的类的使用，来将主线程的值传递到子线程中．

#include <deque>
#include <functional>
#include <iostream>
#include <fstream>
#include <thread>
#include <string>
#include <mutex>
#include <future>

using namespace std;

int factorial(std::future<int>& f)
{
    int res = 1;
    int N = f.get();//如果主线程中没有set_value(),则会抛出异常
    for(int i=N;i>1;--i)
        res *= i;
    cout << "Result is: " << res << endl;
    return res;
}

int main(int argc,char** argv)
{
    int x;
    std::promise<int> p;
    std::future<int> f = p.get_future();
    std::future<int> fu = std::async(std::launch::async, factorial, std::ref(f));
    p.set_value(4);
    x = fu.get();//get()函数会等待子线程结束，然后将值赋值给x.
    cout << "Get from child:" << x; 
    return 0;
}

promise的定义就像一种承诺，如果定义就一定要对其值进行设置．而且，这里的promise和future都不能被拷贝，只能被移动．

如果在上面这段代码中，我们需要创建10个线程，那么我们就需要同步的创建１０对的promise和future,这样并不是很方便．因此，我们引入std::shared_future<int>类型．其中，该类型对象可以被拷贝．

#include <deque>
#include <functional>
#include <iostream>
#include <fstream>
#include <thread>
#include <string>
#include <mutex>
#include <future>

using namespace std;

int factorial(std::shared_future<int> f)
{
    int res = 1;
    int N = f.get();//如果主线程中没有set_value(),则会抛出异常
    for(int i=N;i>1;--i)
        res *= i;
    cout << "Result is: " << res << endl;
    return res;
}

int main(int argc,char** argv)
{
    int x;
    std::promise<int> p;
    std::future<int> f = p.get_future();
    std::shared_future<int> sf = f.share();
    std::future<int> fu = std::async(std::launch::async, factorial, sf);
    std::future<int> fu2 = std::async(std::launch::async, factorial, sf);
    std::future<int> fu3 = std::async(std::launch::async, factorial, sf);
    p.set_value(4);
    x = fu.get();//get()函数会等待子线程结束，然后将值赋值给x.
    cout << "Get from child:" << x; 
    return 0;
}