15.3 Task 语法和语义

15.3.1 声明异步方法和返回类型

         async static void GetStringAsync()
         {
             using (var client = new HttpClient())
             {
                 Task<string> task = client.GetStringAsync("https://www.baidu.com/");
                 string result = await task;
             }
         }

15.3.3 可等待模式

　　大量工作都是通过模式来表示的，这有点类似于 foreach 和LINQ查询。为了更清晰地描述
该模式的轮廓，假设存在一些相关的接口（但实际并没有）。稍后我会介绍真实情况，现在先来
看看虚构的接口：

     /// <summary> 为包含返回值的异步操作 建立的虚拟的接口  警告：这些并不存在 自定义的</summary>
     public interface IAwaitable<T>
     {
         IAwaiter<T> GetAwaiter();
     }

     public interface IAwaiter<T> : INotifyCompletion
     {
         bool IsCompleted { get; }
         T GetResult();

         //从INotifyCompletion 继承
         //void OnCompleted(Action continuation);
     }

     /// <summary> 为没有返回值的异步操作 建立的虚拟的接口 </summary>
     public interface IAwaitable
     {
         IAwaiter GEtAwaiter();
     }

     public interface IAwaiter : INotifyCompletion
     {
         bool IsCompleted { get; }
         void GetResult();

         //从INotifyCompletion 继承
         //void OnCompleted(Action continuation);
     }

　　前面讲述了什么样的表达式可以作为 await 关键字的目标，不过整个表达式本身也同样拥有
一个有趣的类型：如果 GetResult() 返回 void ，那么整个 await 表达式就没有类型，而只是一
个独立的语句。否则，其类型与 GetResult() 的返回类型相同。
　　例如， Task<TResult>.GetAwaiter() 返回一个 TaskAwaiter<TResult> ，其 GetResult()
方法返回 TResult 。（希望你不会感到奇怪。）根据 await 表达式的类型规则，我们可以编写这样
的代码：

             using (var client = new HttpClient())
             {
                 Task<string> task = client.GetStringAsync("https://www.baidu.com/");
                 string result = await task;
             }

　　这里的 await 表达式不会返回任何类型的值，因此不能将其分配给变量，或作为方法实参进
行传递，也不能执行其他任何将表达式作为值的相关操作。
　　需要注意的是，由于 Task 和 Task<TResult> 都实现了可等待模式，因此可以在一个异步方
法内调用另一个异步方法：

         public async Task<int> Foo()
         {
             string bar = await BarAsync();
             //显然通常会更复杂
             return bar.Length;
         }
         public async Task<string > BarAsync()
         {
             //一些异步代码，可能会调用更多异步方法
         }

　　组合异步操作正是异步特性大放异彩的一个方面。进入异步模式（mode）后，就可以很轻
松地保持这种模式，编写自然流畅的代码。