1. 程式人生 > >【5min+】 秋名山的競速。 ValueTask 和 Task

【5min+】 秋名山的競速。 ValueTask 和 Task

系列介紹

簡介

【五分鐘的dotnet】是一個利用您的碎片化時間來學習和豐富.net知識的博文系列。它所包含了.net體系中可能會涉及到的方方面面,比如C#的小細節,AspnetCore,微服務中的.net知識等等。

場景

您可以在下班坐地鐵的時候,拿出手機逛一逛部落格園,利用短短的五分鐘完成閱讀。

誕生緣由

  • 曾經學過的內容可能過不了多久就忘了,我們需要一些文章來幫我們查漏補缺。
  • 太長篇幅的文章看著滾動條就害怕了,我們可能更期望文字少的文章。
  • .net體系的內容太多了,平時也不知道該學哪些,我們可能需要一點點知識線索。

文章質量

當然,並不意味著它篇幅短就質量差。所謂麻雀雖小五臟俱全,我們會盡可能保證利用最少的文字去詳細的闡述內容。

正文

伴隨著dotnet core的不斷迭代,我們在享受.net效能上的提升之外,還收穫了許許多多新出現的API。不知您有沒有發現,有這樣一個型別在開始逐漸出現在我們的視野中 ———— ValueTask。

比如在最新的EF Core中:

public virtual async ValueTask<EntityEntry> AddAsync(
    object entity,
    CancellationToken cancellationToken = default)

以上程式碼是EF Core中DBContext的AddAsync簽名,我們可以發現它的返回型別為ValueTask,可能就如同您想的一樣,既然AddAsync是這樣,那非同步查詢方法返回的型別也是這樣。是的,曾經這些由Task來包裹的結果,現在全部交由VauleTask來處理了。

在最新的C# 8的特性中,引入了 非同步流 的概念。它在原有的同步迭代器的基礎上,擴充了非同步的迭代器版本:

IAsyncEnumerable 和 IAsyncEnumerator

如果您還不瞭解同步的迭代器介面,可以檢視本系列的 上一篇文章。

而這個非同步迭代器介面的方法簽名是這樣的:

public interface IAsyncEnumerator<out T> : IAsyncDisposable
{
    T Current { get; }
    ValueTask<bool> MoveNextAsync();
}

OMG,又是ValueTask!!!

那麼,ValueTask到底是什麼東西呢?它和傳統的Task又有什麼區別呢?該在什麼時候使用它。

不要慌,接下來的五分鐘您將Get到它。

開胃菜

在開始之前,我們先來了解一下咱們.NET中對記憶體中物件的儲存格式:堆與棧。

先來看棧和堆的區別:

  • 棧,或多或少負責跟蹤正在程式中執行的程式碼。棧空間比較小,但是讀取速度快
  • 堆,或多或少負責跟蹤程式物件或資料。堆空間比較大,但是讀取速度慢

而在C#裡面(其它.NET語言同理哈),咱們都知道有Class 和 Struct這兩個類別,這兩個類別對應的就是引用型別和值型別。

我們先拿例項化一個類來說,比如我們在執行 var newInstance = new ClassA()的時候,我們就會建立一個A的物件,而這個物件的資料一般來說就是分配在堆上的,而同時會建立一個引用ID,該ID就一般就置放在棧上面。

那麼值型別的資料呢?一般來說它是存放在棧上的。當然這句話不全對:

"值型別儲存在棧中, 引用型別儲存在堆中” 這句話的前半句是有爭議的,“變數的值是在它宣告的位置儲存的,假如一個類中有一個int型別的例項變數,那麼在這個類的任何物件中,該變數的值總是和物件中的其他資料在一起,也就是在堆上,只有區域性變數(方法內部宣告的變數)和方法引數在棧上。而對於C#2以及更高版本,很多區域性變數並不完全存放在棧中”引用-《C# in depth》及譯本《深入理解C#》.

這也是為什麼我們會將結構化的小資料建立為Struct的原因,比如具有(R,G,B)三個屬性的結構Color。

棧裡面的資料一般來說因為空間小,讀取資料庫的原因,它的生命週期就比較小,比如一個返回值為int的方法,當方法完成之後,該棧中的資料就銷燬了。而堆呢?堆儲存了幾乎所有類中的資料,它怎麼銷燬資料來儲存記憶體不溢位呢? 是的,您會想到GC,在.NET中就是一個專門的垃圾回收器來完成該操作。

開始飆車

回到本篇文章的主題,ValueTask。 Task可能大家都用的比較多了,畢竟從DotNET Framework的年代就流傳至今,而ValueTask卻從DotNET Core2.0才引入。

我們先來看看 MSDN 中對ValueTask的闡述:

提供非同步操作的可等待結果。提供包裝 Task 和 TResult(僅使用其中之一)的值型別。

往下滑MSDN,就能看到裡面有一個很重要的一點:

There are tradeoffs to using a ValueTask instead of a Task. For example, while a ValueTask can help avoid an allocation in the case where the successful result is available synchronously, it also contains multiple fields, whereas a Task as a reference type is a single field.

不要問為什麼這個是英文,因為我嘗試MSDN的機翻。唉…………能讀懂個鬼,強烈建議給MSDN負責翻譯的人員扣雞腿。

上面大致的意思就是說,ValueTask會避免同步情況下一些不必要的記憶體分配,從而提升應用整體的效能。

所以說,現在就能明白ValueTask出現的目的是為了提升效能,而被提升的物件就是Task。二位秋名山車神的競速之路:

如果您足夠仔細,您會發現我上面說的是同步的情況。 “???納尼,我用Task不是非同步嗎?怎麼成同步了?”

別急,回想下您是否寫過這樣的程式碼:

return Task.FromResult(42);

您肯定寫過(就算沒寫過也看過