它的工作方式类似于 C# 2.0 中的 yield return 关键字。
异步方法实际上不是普通的顺序方法。它被编译成具有某些状态的状态机(对象)(局部变量被转换为对象的字段)。两次使用await 之间的每个代码块都是状态机的一个“步骤”。
这意味着当方法启动时,它只是运行第一步,然后状态机返回并安排一些要完成的工作——当工作完成时,它将运行状态机的下一步。例如这段代码:
async Task Demo() {
var v1 = foo();
var v2 = await bar();
more(v1, v2);
}
会被翻译成这样的:
class _Demo {
int _v1, _v2;
int _state = 0;
Task<int> _await1;
public void Step() {
switch(this._state) {
case 0:
this._v1 = foo();
this._await1 = bar();
// When the async operation completes, it will call this method
this._state = 1;
op.SetContinuation(Step);
case 1:
this._v2 = this._await1.Result; // Get the result of the operation
more(this._v1, this._v2);
}
}
重要的部分是它只是使用SetContinuation方法来指定当操作完成时,它应该再次调用Step方法(并且该方法知道它应该运行原始代码的第二位使用_state 字段)。您可以轻松想象SetContinuation 类似于btn.Click += Step,它将完全在单个线程上运行。
C# 中的异步编程模型非常接近 F# 异步工作流(实际上,除了一些技术细节之外,它本质上是相同的),使用 async 编写反应式单线程 GUI 应用程序是相当有趣的区域 - 至少我是这么认为的 - 参见例如 this article(也许我现在应该写一个 C# 版本:-))。
翻译类似于迭代器(和yield return),事实上,之前可以使用迭代器在 C# 中实现异步编程。我不久前写了an article about that - 我认为它仍然可以让您了解翻译的工作原理。