C#中的9個(gè)“黑魔法”與“騷操作”

我們知道?C#是非常先進(jìn)的語(yǔ)言，因?yàn)槭撬苡羞h(yuǎn)見的“語(yǔ)法糖”。這些“語(yǔ)法糖”有時(shí)過(guò)于好用，導(dǎo)致有人覺得它是?C#編譯器寫死的東西，沒(méi)有道理可講的——有點(diǎn)像“黑魔法”。

那么我們可以看看?C#這些高級(jí)語(yǔ)言功能，是編譯器寫死的東西（“黑魔法”），還是可以擴(kuò)展（騷操作）的“鴨子類型”。

我先列一個(gè)目錄，大家可以對(duì)著這個(gè)目錄試著下判斷，說(shuō)說(shuō)是“黑魔法”（編譯器寫死），還是“鴨子類型”（可以自定義“騷操作”）：

LINQ操作，與?IEnumerable<T>類型；

async/await，與?Task/?ValueTask類型；

表達(dá)式樹，與?Expression<T>類型；

插值字符串，與?FormattableString類型；

yieldreturn，與?IEnumerable<T>類型；

foreach循環(huán)，與?IEnumerable<T>類型；

using關(guān)鍵字，與?IDisposable接口；

T?，與?Nullable<T>類型；

任意類型的?Index/Range泛型操作。

1.?LINQ操作，與?IEnumerable<T>類型

不是“黑魔法”，是“鴨子類型”。

LINQ是?C# 3.0發(fā)布的新功能，可以非常便利地操作數(shù)據(jù)。現(xiàn)在?12年過(guò)去了，雖然有些功能有待增強(qiáng)，但相比其它語(yǔ)言還是方便許多。

如我上一篇博客提到，?LINQ不一定要基于?IEnumerable<T>，只需定定義一個(gè)類型，實(shí)現(xiàn)所需要的?LINQ表達(dá)式即可，?LINQ的?select關(guān)鍵字，會(huì)調(diào)用?.Select方法，可以用如下的“騷操作”，實(shí)現(xiàn)“移花接木”的效果：

void Main() {var query = from i in new F()select 3;Console.WriteLine(string.Join(",", query)); // 0,1,2,3,4 } class F {public IEnumerable<int> Select<R>(Func<int, R> t){for (var i = 0; i < 5; ++i){yield return i;}} }

2.?async/await，與?Task/?ValueTask類型

不是“黑魔法”，是“鴨子類型”。

async/await發(fā)布于?C# 5.0，可以非常便利地做異步編程，其本質(zhì)是狀態(tài)機(jī)。

async/await的本質(zhì)是會(huì)尋找類型下一個(gè)名字叫?GetAwaiter()的接口，該接口必須返回一個(gè)繼承于?INotifyCompletion或?ICriticalNotifyCompletion的類，該類還需要實(shí)現(xiàn)?GetResult()方法和?IsComplete屬性。

這一點(diǎn)在?C#語(yǔ)言規(guī)范中有說(shuō)明，調(diào)用?awaitt本質(zhì)會(huì)按如下順序執(zhí)行：

先調(diào)用?t.GetAwaiter()方法，取得等待器?a；

調(diào)用?a.IsCompleted取得布爾類型?b；

如果?b=true，則立即執(zhí)行?a.GetResult()，取得運(yùn)行結(jié)果；

如果?b=false，則看情況：

如果?a沒(méi)實(shí)現(xiàn)?ICriticalNotifyCompletion，則執(zhí)行?(aasINotifyCompletion).OnCompleted(action)

如果?a實(shí)現(xiàn)了?ICriticalNotifyCompletion，則執(zhí)行?(aasICriticalNotifyCompletion).OnCompleted(action)

執(zhí)行隨后暫停，?OnCompleted完成后重新回到狀態(tài)機(jī)；

有興趣的可以訪問(wèn)?Github具體規(guī)范說(shuō)明：https://github.com/dotnet/csharplang/blob/master/spec/expressions.md#runtime-evaluation-of-await-expressions

正常?Task.Delay()是基于?線程池計(jì)時(shí)器的，可以用如下“騷操作”，來(lái)實(shí)現(xiàn)一個(gè)單線程的?TaskEx.Delay()：

static Action Tick = null; void Main() {Start();while (true){if (Tick != null) Tick();Thread.Sleep(1);} } async void Start() {Console.WriteLine("執(zhí)行開始");for (int i = 1; i <= 4; ++i){Console.WriteLine($"第{i}次，時(shí)間：{DateTime.Now.ToString("HH:mm:ss")} - 線程號(hào)：{Thread.CurrentThread.ManagedThreadId}");await TaskEx.Delay(1000);}Console.WriteLine("執(zhí)行完成"); } class TaskEx {public static MyDelay Delay(int ms) => new MyDelay(ms); } class MyDelay : INotifyCompletion {private readonly double _start;private readonly int _ms;public MyDelay(int ms){_start = Util.ElapsedTime.TotalMilliseconds;_ms = ms;}internal MyDelay GetAwaiter() => this;public void OnCompleted(Action continuation){Tick += Check;void Check(){if (Util.ElapsedTime.TotalMilliseconds - _start > _ms){continuation();Tick -= Check;}}}public void GetResult() {}public bool IsCompleted => false; }

運(yùn)行效果如下：

執(zhí)行開始 第1次，時(shí)間：17:38:03 - 線程號(hào)：1 第2次，時(shí)間：17:38:04 - 線程號(hào)：1 第3次，時(shí)間：17:38:05 - 線程號(hào)：1 第4次，時(shí)間：17:38:06 - 線程號(hào)：1 執(zhí)行完成

注意不需要非得使用?TaskCompletionSource<T>才能創(chuàng)建定定義的?async/await。

3. 表達(dá)式樹，與?Expression<T>類型

是“黑魔法”，沒(méi)有“操作空間”，只有當(dāng)類型是?Expression<T>時(shí)，才會(huì)創(chuàng)建為表達(dá)式樹。

表達(dá)式樹是?C# 3.0隨著?LINQ一起發(fā)布，是有遠(yuǎn)見的“黑魔法”。

如以下代碼：

Expression<Func<int>> g3 = () => 3;

會(huì)被編譯器翻譯為：

Expression<Func<int>> g3 = Expression.Lambda<Func<int>>(Expression.Constant(3, typeof(int)), Array.Empty<ParameterExpression>());

4. 插值字符串，與?FormattableString類型

是“黑魔法”，沒(méi)有“操作空間”。

插值字符串發(fā)布于?C# 6.0，在此之前許多語(yǔ)言都提供了類似的功能。

只有當(dāng)類型是?FormattableString，才會(huì)產(chǎn)生不一樣的編譯結(jié)果，如以下代碼：

FormattableString x1 = $"Hello {42}"; string x2 = $"Hello {42}";

編譯器生成結(jié)果如下：

FormattableString x1 = FormattableStringFactory.Create("Hello {0}", 42); string x2 = string.Format("Hello {0}", 42);

注意其本質(zhì)是調(diào)用了?FormattableStringFactory.Create來(lái)創(chuàng)建一個(gè)類型。

5.?yieldreturn，與?IEnumerable<T>類型；

是“黑魔法”，但有補(bǔ)充說(shuō)明。

yieldreturn除了用于?IEnumerable<T>以外，還可以用于?IEnumerable、?IEnumerator<T>、?IEnumerator。

因此，如果想用?C#來(lái)模擬?C++/?Java的?generator<T>的行為，會(huì)比較簡(jiǎn)單：

var seq = GetNumbers(); seq.MoveNext(); Console.WriteLine(seq.Current); // 0 seq.MoveNext(); Console.WriteLine(seq.Current); // 1 seq.MoveNext(); Console.WriteLine(seq.Current); // 2 seq.MoveNext(); Console.WriteLine(seq.Current); // 3 seq.MoveNext(); Console.WriteLine(seq.Current); // 4 IEnumerator<int> GetNumbers() {for (var i = 0; i < 5; ++i)yield return i; }

yieldreturn——“迭代器”發(fā)布于?C# 2.0。

6.?foreach循環(huán)，與?IEnumerable<T>類型

是“鴨子類型”，有“操作空間”。

foreach不一定非要配合使用?IEnumerable<T>類型，只要對(duì)象存在?GetEnumerator()方法即可：

void Main() {foreach (var i in new F()){Console.Write(i + ", "); // 1, 2, 3, 4, 5,} } class F {public IEnumerator<int> GetEnumerator(){for (var i = 0; i < 5; ++i){yield return i;}} }

另外，如果對(duì)象實(shí)現(xiàn)了?GetAsyncEnumerator()，甚至也可以一樣使用?awaitforeach異步循環(huán)：

async Task Main() {await foreach (var i in new F()){Console.Write(i + ", "); // 1, 2, 3, 4, 5,} } class F {public async IAsyncEnumerator<int> GetAsyncEnumerator(){for (var i = 0; i < 5; ++i){await Task.Delay(1);yield return i;}} }

awaitforeach是?C# 8.0隨著?異步流一起發(fā)布的，具體可見我之前寫的《代碼演示C#各版本新功能》。

7.?using關(guān)鍵字，與?IDisposable接口

是，也不是。

引用類型和正常的?值類型用?using關(guān)鍵字，必須基于?IDisposable接口。

但?refstruct和?IAsyncDisposable就是另一個(gè)故事了，由于?refstruct不允許隨便移動(dòng)，而引用類型——托管堆，會(huì)允許內(nèi)存移動(dòng)，所以?refstruct不允許和?引用類型產(chǎn)生任何關(guān)系，這個(gè)關(guān)系就包含繼承?接口——因?yàn)?接口也是?引用類型。

但釋放資源的需求依然存在，怎么辦，“鴨子類型”來(lái)了，可以手寫一個(gè)?Dispose()方法，不需要繼承任何接口：

void S1Demo() {using S1 s1 = new S1(); } ref struct S1 {public void Dispose(){Console.WriteLine("正常釋放");} }

同樣的道理，如果用?IAsyncDisposable接口：

async Task S2Demo() {await using S2 s2 = new S2(); } struct S2 : IAsyncDisposable {public async ValueTask DisposeAsync(){await Task.Delay(1);Console.WriteLine("Async釋放");} }

8.?T?，與?Nullable<T>類型

是“黑魔法”，只有?Nullable<T>才能接受?T?，?Nullable<T>作為一個(gè)?值類型，它還能直接接受?null值（正常?值類型不允許接受?null值）。

示例代碼如下：

int? t1 = null; Nullable<int> t2 = null; int t3 = null; // Error CS0037: Cannot convert null to 'int' because it is a non-nullable value type

生成代碼如下（?int?與?Nullable<int>完全一樣，跳過(guò)了編譯失敗的代碼）：

IL_0000: nop IL_0001: ldloca.s 0 IL_0003: initobj valuetype [System.Runtime]System.Nullable`1<int32> IL_0009: ldloca.s 1 IL_000b: initobj valuetype [System.Runtime]System.Nullable`1<int32> IL_0011: ret

9. 任意類型的?Index/Range泛型操作

有“黑魔法”，也有“鴨子類型”——存在操作空間。

Index/Range發(fā)布于?C# 8.0，可以像?Python那樣方便地操作索引位置、取出對(duì)應(yīng)值。以前需要調(diào)用?Substring等復(fù)雜操作的，現(xiàn)在非常簡(jiǎn)單。

string url = "https://www.super-cool.com/product/7705a33a-4d2c-455d-a42c-c95e6ac8ee99/summary"; string productId = url[35..url.LastIndexOf("/")]; Console.WriteLine(productId);

生成代碼如下：

string url = "https://www.super-cool.com/product/7705a33a-4d2c-455d-a42c-c95e6ac8ee99/amd-r7-3800x"; int num = 35; int length = url.LastIndexOf("/") - num; string productId = url.Substring(num, length); Console.WriteLine(productId); // 7705a33a-4d2c-455d-a42c-c95e6ac8ee99

可見，?C#編譯器忽略了?Index/Range，直接翻譯為調(diào)用?Substring了。

但數(shù)組又不同：

var range = new[] { 1, 2, 3, 4, 5 }[1..3]; Console.WriteLine(string.Join(", ", range)); // 2, 3

生成代碼如下：

int[] range = RuntimeHelpers.GetSubArray<int>(new int[5] {1,2,3,4,5 }, new Range(1, 3)); Console.WriteLine(string.Join<int>(", ", range));

可見它確實(shí)創(chuàng)建了?Range類型，然后調(diào)用了?RuntimeHelpers.GetSubArray<int>，完全屬于“黑魔法”。

但它同時(shí)也是“鴨子”類型，只要代碼中實(shí)現(xiàn)了?Length屬性和?Slice(int,int)方法，即可調(diào)用?Index/Range：

var range2 = new F()[2..]; Console.WriteLine(range2); // 2 -> -2 class F {public int Length { get; set; }public IEnumerable<int> Slice(int start, int end){yield return start;yield return end;} }

生成代碼如下：

F f = new F(); int length2 = f.Length; length = 2; num = length2 - length; string range2 = f.Slice(length, num); Console.WriteLine(range2);

總結(jié)

如上所見，?C#的“黑魔法”確實(shí)挺多，但“鴨子類型”也有很多，“騷操作”的“操作空間”很大。

據(jù)傳?C# 9.0將添加“鴨子類型”的元祖——?TypeClasses，到時(shí)候“操作空間”肯定比現(xiàn)在更大，非常期待！

喜歡的朋友請(qǐng)關(guān)注我的微信公眾號(hào)：【DotNet騷操作】

總結(jié)

以上是生活随笔為你收集整理的C#中的9个“黑魔法”与“骚操作”的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。