在try-finally块中等待
在try-finally块中等待
提问于 2014-07-21 22:31:02
我一直在尝试Visual Studio14CTP2，这个版本的C# vNext支持在finally块中使用await关键字。
我正在尝试弄清楚这是如何实现的。我知道这是一个实现细节，在RTM发布之前可能会发生变化，但我仍然不得不为这个特性挑选自己的大脑。
为了尝试和理解底层编译器生成的代码，我创建了以下示例代码：
private async void button1_Click(object sender, EventArgs e)
{
try
{
}
finally
{
await MyFinallyTest();
}
}
private async Task MyFinallyTest()
{
await Task.Delay(1000);
}这是编译器生成的类：
[CompilerGenerated]
private sealed class <button1_Click>d__1 : IAsyncStateMachine
{
public int <>1__state;
public Form1 <>4__this;
public object <>7__wrap1;
public int <>7__wrap2;
public AsyncVoidMethodBuilder <>t__builder;
public TaskAwaiter <>u__$awaiter0;
private void MoveNext()
{
int num = this.<>1__state;
try
{
TaskAwaiter awaiter;
switch (num)
{
case 1:
break;
default:
{
this.<>7__wrap1 = null;
this.<>7__wrap2 = 0;
try
{
}
catch (object obj2)
{
this.<>7__wrap1 = obj2;
}
awaiter = this.<>4__this.MyFinallyTest().GetAwaiter();
if (awaiter.IsCompleted)
{
goto Label_0096;
}
this.<>1__state = num = 1;
this.<>u__$awaiter0 = awaiter;
Form1.<button1_Click>d__1 stateMachine = this;
this.<>t__builder.AwaitUnsafeOnCompleted<TaskAwaiter, Form1.<button1_Click>d__1>(ref awaiter, ref stateMachine);
return;
}
}
awaiter = this.<>u__$awaiter0;
this.<>u__$awaiter0 = new TaskAwaiter();
this.<>1__state = num = -1;
Label_0096:
awaiter.GetResult();
awaiter = new TaskAwaiter();
object obj3 = this.<>7__wrap1;
if (obj3 != null)
{
Exception source = obj3 as Exception;
if (source <= null)
{
throw obj3;
}
ExceptionDispatchInfo.Capture(source).Throw();
}
int num1 = this.<>7__wrap2;
this.<>7__wrap1 = null;
}
catch (Exception exception2)
{
this.<>1__state = -2;
this.<>t__builder.SetException(exception2);
return;
}
this.<>1__state = -2;
this.<>t__builder.SetResult();
}
[DebuggerHidden]
private void SetStateMachine(IAsyncStateMachine stateMachine)
{
}
}据我所知，编译器正在获取finally代码块，并在编译器生成catch块后将其移动到。这类似于我们在C# 6.0之前想要在await中追赶的事情。
我看到了几件我不理解的事情：
- 编译器正在以
catch (object obj2)的形式添加一个生成的catch块(在我的方法中没有出现)，并将其内部object设置为obj2异常。我不明白为什么要这样做。 - 我创建的
finally块已经不存在了。这是否意味着任何在finally块中为awaited的代码都不能“享受”我们实际将代码放在这样的块中所得到的保证？
？
回答 1
Stack Overflow用户
回答已采纳
发布于 2014-07-21 22:36:02
编译器只是在转：
try
{
Foo();
}
finally
{
Bar();
}变成类似这样的东西：
Exception caught = null;
try
{
Foo();
}
catch (Exception e)
{
caught = e;
}
Bar();
if (caught != null)
{
throw caught;
}..。而是以异步的方式。它最终得到相同的结果-无论是否抛出异常，您的finally代码块仍将执行，它只是使用“捕获所有内容然后执行”，而不是IL版本的finally。
我建议您考虑执行流程在各种情况下的样子(例如，在try块中是否抛出异常)，并说服自己在每种情况下都会得到预期的结果。
Mads Torgersen在C# 6CTP文档中写道，为什么C# 5中没有这个功能：
在C# 5.0中，我们不允许在
catch和finally块中使用await关键字，因为我们以某种方式说服自己这是不可能实现的。现在我们已经弄清楚了，所以很明显这并不是不可能的。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/24867683
复制相关文章
相似问题
腾讯云开发者
