遞歸和的await /異步關鍵詞

Question

我的await關鍵字是如何工作的脆弱把握，我想延長我對它的理解有點。

仍然讓我目瞪口呆的問題是使用遞歸的。這裏有一個例子：

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 

namespace TestingAwaitOverflow 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      var task = TestAsync(0); 
      System.Threading.Thread.Sleep(100000); 
     } 

     static async Task TestAsync(int count) 
     { 
      Console.WriteLine(count); 
      await TestAsync(count + 1); 
     } 
    } 
} 

這一個顯然是拋出一個StackOverflowException。

我的理解是因爲代碼實際上同步運行，直到第一個異步操作，之後它返回一個包含有關異步操作信息的Task對象。在這種情況下，不存在異步操作，因此它只是在虛假承諾下繼續遞歸，最終將返回Task。

現在改變它只是一點點：

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 

namespace TestingAwaitOverflow 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      var task = TestAsync(0); 
      System.Threading.Thread.Sleep(100000); 
     } 

     static async Task TestAsync(int count) 
     { 
      await Task.Run(() => Console.WriteLine(count)); 
      await TestAsync(count + 1); 
     } 
    } 
} 

這一個不會拋出StackOverflowException。我可以sortof明白爲什麼它的工作原理，但我把它更多的是直覺的（它可能與代碼是如何安排使用回調以避免建立堆棧交易，但我不能把這一預感到解說）

所以我有兩個問題：

• 如何第二批代碼，避免StackOverflowException？
• 第二批代碼是否浪費其他資源？ （例如它是否在堆上分配了大量的Task對象？）

謝謝！

Answer 1

的部分最多在任何函數的第一個AWAIT同步運行。在第一種情況下，它會因爲這種情況而陷入堆棧溢出 - 沒有任何事情會中斷自己調用的函數。

第一的await（不立即完成 - 這是具有高的情形產生對你的情況）導致返回功能（並放棄它的堆棧空間！）。它將其餘的部分作爲延續。 TPL確保延續永遠不會太深。如果存在堆棧溢出的風險，則繼續排隊到線程池，重新設置堆棧（堆棧開始填充）。

第二個例子仍然可以溢出！如果Task.Run任務總是立即完成，該怎麼辦？ （這是不太可能的，但可以通過正確的OS線程調度來實現）。然後，異步函數永遠不會被中斷（導致它返回並釋放所有堆棧空間），並且會導致與情況1相同的行爲。