1. 在等待时拆包异常
在等待任务时,任务出错或取消都将抛出异常,但并不是 AggregateException 。大多情 况下为方便起见,抛出的是 AggregateException 中的第一个异常,往往这就是我们想要的。 异步特性就是像编写同步代码那样编写异步代码,如下所示:
1 async Task<string> FetchFirstSuccessfulAsync(IEnumerable<string> urls) 2 { 3 //验证url 4 foreach (string url in urls) 5 { 6 try 7 { 8 using (var client=new HttpClient()) 9 { 10 return await client.GetStringAsync(url); 11 } 12 } 13 catch (System.Net.WebException) 14 { 15 //记录日志 16 } 17 } 18 throw new System.Net.WebException("No urls Success"); 19 }
目前,先不要在意损失所有的原始异常,以及按顺序获取所有页面。我想说明的是,我们希 望在这里捕获 WebException 。执行一个使用 HttpClient 的异步操作,失败后可抛出 WebException 。我们想捕获并处理它,对吧?但 GetStringAsync() 方法不能为服务器超时等 错误抛出 WebException ,因为方法仅仅启动了操作。它只能返回一个包含 WebException 的任 务 。 如 果 简 单 地 调 用 该 任 务 的 Wait() 方 法 , 将 会 抛 出 一 个 包 含 WebException 的 AggregateException 。任务awaiter的 GetResult 方法将抛出 WebException ,并被以上代码 所捕获。
当然,这样会丢失信息。如果错误的任务中包含多个异常,则 GetResult 只能抛出其中的一 个异常(即第一个)。你可能需要重写以上代码,这样在发生错误时,调用者就可捕获 AggregateException 并检查所有失败的原因。重要的是,一些框架方法(如 Task.WhenAll() ) 也可以实现这一点。 WhenAll() 方法可异步等待(方法调用中指定的)多个任务的完成。如果其 中有失败的,则结果即为失败,并包含所有错误任务中的异常。但如果只是等待(await) WhenAll() 返回的任务,则只能看到第一个异常。
幸好,要解决这个问题并不需要太多的工作。我们可以使用可等待模式的知识,编写一个 Task<T> 的扩展方法,从而创建一个可从任务中抛出原始 AggregateException 的特殊可等待 模式成员。以下:
1 public static partial class TaskExtensions 2 { 3 [Description("Listing 15.03")] 4 public static AggregatedExceptionAwaitable WithAggregatedExceptions(this Task task) 5 { 6 if (task == null) 7 { 8 throw new ArgumentNullException("task"); 9 } 10 11 return new AggregatedExceptionAwaitable(task); 12 } 13 14 public struct AggregatedExceptionAwaitable 15 { 16 private readonly Task task; 17 18 internal AggregatedExceptionAwaitable(Task task) 19 { 20 this.task = task; 21 } 22 23 public AggregatedExceptionAwaiter GetAwaiter() 24 { 25 return new AggregatedExceptionAwaiter(task); 26 } 27 } 28 29 public struct AggregatedExceptionAwaiter : ICriticalNotifyCompletion 30 { 31 private readonly Task task; 32 33 internal AggregatedExceptionAwaiter(Task task) 34 { 35 this.task = task; 36 } 37 38 // Delegate most members to the task's awaiter 39 public bool IsCompleted { get { return task.GetAwaiter().IsCompleted; } } 40 41 public void UnsafeOnCompleted(Action continuation) 42 { 43 task.GetAwaiter().UnsafeOnCompleted(continuation); 44 } 45 46 public void OnCompleted(Action continuation) 47 { 48 task.GetAwaiter().OnCompleted(continuation); 49 } 50 51 public void GetResult() 52 { 53 // This will throw AggregateException directly on failure, 54 // unlike task.GetAwaiter().GetResult() 55 task.Wait(); 56 } 57 } 58 }
2. 在抛出异常时进行包装
你可能已经猜到我要说什么了,没错,就是异步方法在调用时永远不会直接抛出异常。异常方 法会返回 Task 或 Task<T> ,方法内抛出的任何异常(包括从其他同步或异步操作中传播过来的异 常)都将简单地传递给任务,就像前面介绍的那样。如果调用者直接等待任务,则可得到一个包 含真正异常的 AggregateException ;但如果调用者使用 await ,异常则会从任务中解包。返回 void 的异步方法可向原始的 SynchronizationContext 报告异常,如何处理将取决于上下文 。
除非你真的在乎为特定的上下文包装和解包异常,否则只需捕获嵌套的异步方法所抛出的异常即可。
1 private async static void MainSync() 2 { 3 Task<string> task = ReadFileAsync("fileName"); 4 try 5 { 6 string text = await task; 7 Console.WriteLine("file content {0}", text); 8 9 } 10 catch (System.IO.IOException ex) 11 { 12 Console.WriteLine("caught exception {0}", ex.Message); 13 } 14 } 15 private async static Task<string> ReadFileAsync(string fileName) 16 { 17 using (var reader = System.IO.File.OpenText(fileName)) 18 { 19 return await reader.ReadToEndAsync(); 20 } 21 }
调用 File.OpenText 时可抛出一个 IOException (除非创建了一个名为“garbage file” 的文件),但如果 ReadToEndAsync 返回的任务失败了,也会出现同样的执行路径。在 MainAsync 中, ReadFileAsync 的调用 发生在进入 try 块之前,但只有在等待任务时 ,调用者才能看到 异常并在 catch 块中捕获 ,就像前面的 WebException 示例一样。同样,除异常发生的时机以 外,其行为我们也非常熟悉。
与迭代器块类似,参数验证会有些麻烦。假设我们在验证完参数不含有空值后,想在异步方 法里做一些处理。如果像在同步代码中那样验证参数,那么在等待任务之前,调用者不会得到任 何错误提示。代码清单15-5给出了一个这样的例子。
1 static void Main(string[] args) 2 { 3 MainAsync().Wait(); 4 5 Console.ReadKey(); 6 } 7 private async static Task MainAsync() 8 { 9 Task<int> task = ComputeLengthAsync(null); 10 Console.WriteLine("fetch the task"); 11 int length = await task; 12 Console.WriteLine("length {0}", length); 13 } 14 private async static Task<int> ComputeLengthAsync(string text) 15 { 16 if (text == null) 17 { 18 throw new ArgumentNullException("text"); 19 } 20 await Task.Delay(500); 21 return text.Length; 22 }
代码清单15-5在失败前会先输出 Fetched the task 。实际上,在输出这条结果之前,异常 就已经同步地抛出了,这是因为在验证语句之前并不存在 await 表达式 。但调用代码直到等待 返回的任务时 ,才能看到这个异常。一般来说,参数验证无须耗时太久(或导致其他异步操作)。 最好能在系统陷入更大的麻烦以前,立即报告失败的存在。例如,如果对 HttpClient. GetStringAsync 传递一个空引用,则其可立即抛出异常。
在C# 5中,有两种方式可以迫使异常立即抛出。第一种方式是将参数验证和实现分离,这与 代码清单6-9中处理迭代器块的情形相同。以下代码清单展示了 ComputeLengthAsync 的固定 版本。
代码清单15-6 将参数验证从异步实现中分离出来
1 private static Task<int> ComputeLengthAsync(string text) 2 { 3 if (text == null) 4 { 5 throw new ArgumentNullException("text"); 6 } 7 return ComputeLengthAsyncImpl(text); 8 } 9 private async static Task<int> ComputeLengthAsyncImpl(string text) 10 { 11 await Task.Delay(500); //模拟真正的异步工作 12 return text.Length; 13 }
在代码清单15-6中,就语言形式而言, ComputeLengthAsync 本身并不是一个异步方法,因 为它没有 async 修饰符。该方法执行时使用的是正常的执行流,因此如果方法开始处的参数验证 抛出异常,就真的会抛出异常。而如果通过验证,则返回 ComputeLengthAsyncImpl 方法(工 作真正发生的地方)创建的任务。在更现实的场景中, ComputeLengthAsync 可以为公共或内 部(internal)方法,而 ComputeLengthAsyncImpl 应该为私有方法,因为它假设参数验证已经 执行过了。
另一个及早(eager)验证的方法是使用异步匿名函数,15.4节再来讨论这个示例。
异步方法中还有一种异常,其处理方式与其他异常不同,这个异常就是:取消(cancellation)。
3. 处理取消
任务并行库(TPL)利用 CancellationTokenSource 和 CancellationToken 两种类型 向.NET 4中引入了一套统一的取消模型。该模型的理念是,创建一个 CancellationToken Source ,然后向其请求一个 CancellationToken ,并传递给异步操作。可在source上只执行取 消操作,但该操作会反映到token上。(这意味着你可以向多个操作传递相同的token,而不用担心 它们之间会相互干扰。)取消token有很多种方式,最常用的是调用 ThrowIfCancellation Requested ,如果取消了token,并且没有其他操作,则会抛出 OperationCanceledException 。 如果在同步调用(如 Task.Wait )中执行了取消操作,则可抛出同样的异常。
C# 5规范中并没有说明取消操作如何与异步方法交互。根据规范,如果异步方法体抛出任何 异常,该方法返回的任务则将处于错误状态。“错误”的确切含义因实现而异,但实际上, 如 果 异 步 方 法 抛 出 OperationCanceledException ( 或 其 派 生 类 , 如 TaskCanceled Exception ),则返回的任务最终状态为 Canceled 。以下代码清单证实了导致任务取消的原因 确实是一个异常。
1 static void Main(string[] args) 2 { 3 Task task = ThrowCancellationException(); 4 Console.WriteLine(task.Status); 5 Console.ReadKey(); 6 } 7 private async static Task ThrowCancellationException() 8 { 9 throw new OperationCanceledException(); 10 }
这段代码的输出为 Canceld ,而不是 Faulted 。如果在任务上执行 Wait() ,或请求其结果 (针对 Task<T> ),则 AggregateException 内还是会抛出异常,所以没有必要在每次使用任务 时都显式检查是否有取消操作。
重要的是,等待一个取消了的操作,将抛出原始的 OperationCanceledException 。这意 味着如果不采取一些直接的行动,从异步方法返回的任务同样会被取消,因为取消操作具有可传 播性。 代码清单15-8给出了一个有关任务取消操作的更为实际的例子。
1 static void Main(string[] args) 2 { 3 var source = new CancellationTokenSource(); 4 var task = DelayFor30Seconds(source.Token); 5 source.CancelAfter(TimeSpan.FromSeconds(1)); 6 Console.WriteLine("initial status {0}", task.Status); 7 try 8 { 9 task.Wait(); 10 } 11 catch (AggregateException ex) 12 { 13 Console.WriteLine("caught {0}", ex.InnerExceptions[0]); 14 } 15 Console.WriteLine("final status {0}", task.Status); 16 Console.ReadKey(); 17 /* waiting for 30 seconds... 18 initial status WaitingForActivation 19 caught System.Threading.Tasks.TaskCanceledException: 已取消一个任务。 20 final status Canceled */ 21 } 22 static async Task DelayFor30Seconds(CancellationToken token) 23 { 24 Console.WriteLine("waiting for 30 seconds..."); 25 await Task.Delay(TimeSpan.FromSeconds(30), token); 26 }
上述代码中启动了一个异步操作 ,该操作调用 Task.Delay 模拟真正的工作 ,并提供了 一个 CancellationToken 。这一次,我们的确涉及了多个线程:到达 await 表达式时,控制返 回到调用方法,这时要求 CancellationToken 在1秒后取消 。然后(同步地)等待任务完成 , 并期望在最终得到一个异常。最后展示任务的状态 。
可认为取消操作默认是可传递的:如果A操作等待B操作,而B操作被取消了,那么我们认为 A操作也被取消了。 当然,你不必这么做。你可以在 DelayFor30Seconds 方法中捕获 OperationCanceled Exception ,然后或继续做其他事情,或立即返回,或干脆抛出一个其他类型的异常。异步特性 不会移除控制,它只是提供了一种有用的默认行为而已。
【说明】 小心使用该代码 代码清单15-8在控制台程序中或从线程池线程调用时,均可运作良好。 但如果在Windows Forms UI线程(或其他单线程同步上下文)上执行这段代码,则会造成 死锁。能看出原因吗?想想在延迟任务完成时, DelayFor30Seconds 方法会试图返回到 哪个线程上?再想想 task.Wait() 调用运行在哪个线程上?这是个相对简单的例子,但 一些程序员在初次接触异步代码时往往会犯同样的错误。从根本上来说,问题在于调用 了 Wait() 方法或 Result 属性。在相关任务完成前,二者均可阻塞线程。我并不是说不能 使用它们,但在每次使用时必须考虑清楚。我们应该总是使用 await ,来异步地等待任务 的结果。