为什么C＃编译器处理空的异步任务方法与返回任务不同？

Question

您好，

编辑：该帖子被编辑为不使用空方法，以更清楚我想知道的内容。

C＃编译不使用方法不使用等待返回 task> task.pletedTask 的情况下，C＃编译没有编译async任务方法的原因吗？

有时，有必要实现一种返回任务的方法，但它不使用等待。

我想知道这两种方法之间生成的IL代码是否如此不同的原因是否有一个原因：

public async Task DoNothing()
{
    Console.WriteLine("nothing");
}

public Task DoNothing()
{
    Console.WriteLine("nothing");
    return Task.CompletedTask;
}

我创建了两个可以查看生成的IL代码的提琴。
async任务： httpps://dotnetfiddle.net/uqujuh


task.completedTask： https://dotnetfiddle.net/err4i1

为什么编译器不优化代码以相同处理两种情况的原因？ 谢谢。

Answer 1

在这两个代码中处理异常的方式存在显着差异，因此，不是等效：

public async Task DoNothing()
{
    Console.WriteLine("nothing");
}

如果console.writeline.writeline提出了一个例外，则实际上，异常被内部捕获并存储在生成的任务中，由task.siffed表示。当您在任务上使用等待时，该异常实际上是“抛出的”。

public Task DoNothing()
{
    Console.WriteLine("nothing");
    return Task.CompletedTask;
}

但是，这种情况是完全同步的。 console.writeline的潜在异常甚至在返回或处理任何任务之前就会提出。我认为这实际上比第一个选择要少一些，因为此行为可能是出乎意料的。迭代器对屈服中的差异；和返回array array.empty＆lt; object＆gt;（）;之间的差异表现出相似的行为。

现在，您的问题最初询问了实际上是空的方法。好吧，该方法实际上不是空的。它可能在调试模式下包含断点，注入代码或可能对参数的自动生成检查。即使是空的，仍然为一个空物体生成了块：

  .try
  {
    IL_0000:  leave.s    IL_0019
  }  // end .try
  catch [mscorlib]System.Exception 
  {

现在，我可以想象可以将生成async方法 的例外对于真正空的方法的情况，编译器，但这只会使代码复杂化，而没有（可以说）真实的收益。可能有一个空的async方法（例如，给其他可能想在未来提示中实现它的程序员），但是您不需要关心性能很大程度上需要这种优化（无论如何您都有一个微不足道的解决方案）。

（有趣的旁注：C＃11可能会引入参数nullexception从带有> !!的参数。 > async/迭代方法的代码立即在调用后，因此可以说，方法主体或它变成了什么，从技术上讲，它仍然是空的。）