微软已经在VS10中加入了Concurrency Runtime namespace来支持C++的异步编程,笔者认为异步编程在是现代编程语言的一个发展方向。在此总结一些异步编程的基本概念和语法,希望能给大家理解异步编程带来一些方便。
首先,异步编程的基本单位是task class。我们把想要执行异步操作的函数放入task 里面,通过协调这些task的关系,来实现基于函数的异步操作。这种方式相对于传统的基于线程池的异步调用,开发者不需要关心底层的线程如何分配,资源如何同步,是否有死锁的存在。这样,开发者会更专注于代码的逻辑,进而提高编程的效率。
task<T> 是一个模板类,T是函数返回值的类型,比如task<int> t([](){return 1;}),或者函数返回值为空task<void> t([](){return;})。task的构造函数传入参数可以是lambda表达式。我们声明了一个task之后,通过调用wait()方法去执行他,对于有返回值的task,我们调用.get()方法去取得他的返回值。下面是一个简单的例子
#include <ppltasks.h>
#include <iostream>
using
namespace Concurrency;
using
namespace std;
int wmain()
{
task<
int> t([]() {
return
42;
});
t.wait();
wcout << t.
get() << endl;
}
我们可以用.then()的方法去指定一个连续的任务,就是在前一个task完成之后立刻执行.then()里面的函数。这个函数要求接受前一个任务返回的结果。比如前一个任务中函数返回的是int 那么在.then()的函数里面就要指定传入参数为int的lambda表达式()[int res]{ res++;}。.then()方法只要求传入参数和上一个任务相同,而返回值可以不同。比如下面的代码,第一个task返回int,在第一个then中返回void,然后返回int,最后返回void。这里要注意的是,在最后一个then()中调用wait,而不是t.wait(),否则第一个.then 不会执行。
task<
int> t([]() {
return
42;
});
t.then([](
int res){wcout<<
"
Hello
";}).then([](){
return
1;}).then([](
int res){wcout<<res<<endl;}).wait();
wcout << t.
get() << endl;
这段代码展示的是如何嵌套task,注意这里的返回值虽然是task<int>,但是外面的task的参数依然是int,这两个参数要保持一致。
task<
int> t([]() {
wcout << L
"
Task A
" << endl;
//
Create an inner task that runs before any continuation
//
of the outer task.
return task<
int>([]() {
wcout << L
"
Task B
" << endl;
return
1;
});
});
一组task的执行,我们可以把一组task放入到容器里,然后通过when_all(),这个函数去执行他们,when_all传入参数是容器迭代器的开始和结束。这里要求容器里面的task的返回值必须相同。这是没有返回值的例子
// Start multiple tasks.
array<task<
void>,
3> tasks = {
task<
void>([] { wcout <<
"
Hello from taskA.
" << endl; }),
task<
void>([] { wcout <<
"
Hello from taskB.
" << endl; }),
task<
void>([] { wcout <<
"
Hello from taskC.
" << endl; })
};
auto joinTask = when_all(tasks.begin(), tasks.end());
//
Print a message from the joining thread.
wcout <<
"
Hello from the joining thread.
" << endl;
//
Wait for the tasks to finish.
joinTask.wait();
这是有返回值的例子,注意when_all().then 的传入参数是vector<T>
//
Start multiple tasks.
array<task<
int>,
3> tasks = {
task<
int>([] {
return
88; }),
task<
int>([] {
return
42; }),
task<
int>([] {
return
99; })
};
auto joinTask = when_all(tasks.begin(), tasks.end())
.then([](vector<
int> results)
{
wcout <<
"
The sum is
"
<< accumulate(results.begin(), results.end(),
0)
<< L
'
.
' << endl;
});
//
Print a message from the joining thread.
wcout <<
"
Hello from the joining thread.
" << endl;
//
Wait for the tasks to finish.
joinTask.wait();
when_all().wait()是当容器里面所有的task都被执行后,才继续向下执行。而when_any().wait()就是当容器里第一个task完成之后,就继续向下执行。和when_all 一样,when_any 要求task的返回值相同 。但是,when_any().then()的传入参数是pair<T, size_t> pair.first 是task的返回值,pair.second是已经完成的task的序号。
//
Start multiple tasks.
array<task<
int>,
3> tasks = {
task<
int>([] {
return
88; }),
task<
int>([] {
return
42; }),
task<
int>([] {
return
99; })
};
//
Select the first to finish.
when_any(tasks.begin(), tasks.end())
.then([](pair<
int, size_t> result)
{
wcout <<
"
First task to finish returns
"
<< result.first
<< L
"
and has index
"
<< result.second
<< L
'
.
' << endl;
}).wait();
这篇文章是这个系列的第一篇,旨在向大家介绍一些基本的概念和用法。我会在接下来的系列中,给大家展示一些更深层次的东西。
引用自:http://msdn.microsoft.com/en-us/library/windows/apps/dd492427(v=vs.110).aspx