一种编程风格，函数调用的结果仅单纯依赖于该函数的参数而不依赖于任何外部状态，纯函数也不修改任何外部状态，函数的影响完全局限在返回值上
c++是一种多范型语言妈耶可以用FP风格编写程序。随着lambda函数、std::bind、自动变量类型推导等的引入，c++11变得更容易实现函数式编程。而future是使得c++中FP风格的并发切实可行的最后一块拼图，一个future可以在线程间来回传递，使得一个线程的计算结果依赖于另一个的结果，而无需任何对共享数据的显式访问。
3、FP风格的并行快速排序
通过使用future将2中的代码改为并行版本，如下：
template<typename T> std::list<T> sequential_quick_sort(std::list<T> input) { if(input.empty()) return input; std::list<T> result; result.splice(result.begin(),input,input.begin());//将iput.begin()对应元素转移到result.begin()前面 T const& pivot = *result.begin(); auto divide_point = std::partition(input.begin(),input.end(),[&](T const& t){return t < pivot;}); //将input按照pivot的值分为两个区间，第一个区间值小于pivot ，第二个区间值不小于pivot，区间第一个元素的迭代器为divide_point std::list<T> lower_part; lower_part.splice(lower_part.end(),input,input.begin(),divide_point); 将input中从input.begin()开始到divide_point结束的所有元素都转移到lower_part.end()之前。 //auto new_lower(sequential_quick_sort(std::move(low_part))); std::future<std::list<T>> new_lower(std::async(&sequential_quick_sort<T>,std::move(low_part))); //原来的一个递归换成了开票新线程去执行。 auto new_higer(sequential_quick_sort(std::move(input))); //现在的input就剩下++divide_point到input.end()区间的所有元素了 result.splice(result.end(),new_higher); result.splice(result.begin(),new_lower.get()); //需要去get一下 return result; }代码里最大的变化就是没有在当前线程中对较小部分进行排序，而是使用std::async()开辟新线程进行处理。
