.NET 6 對 StackOverflow 的優化

Intro

去年寫了一系列的傻逼代碼, 其中有一篇 寫了多年代碼，你會 StackOverflow 嗎，昨天一不小心又寫了一個 StackOverflow 代碼。。然后想把新的代碼加到原來 StackOverflow 的示例中，把原來的示例項目改成了 .NET 6 項目，偶然間發現 .NET 6 對于 StackOverlow 有一些小優化，且看下文

Sample

首先來看我們的 StackOverflow 的示例代碼，最初的版本是沒有 stack overflow 的，后來想著優化一下哎就改成了 StackOverflow 的版本了。。

下面示例中有兩個參數，可以理解為方法參數，會是動態的參數，不是一成不變的

var?isNegative?=?false; var?oper?=?'>';

第一個版本的代碼是這樣的：

Func<int,?bool>?filter;if?(!isNegative) {filter?=?oper?==?'>'??(i?=>?i?>?0):?(i?=>?i?<?0); } else {filter?=?oper?==?'>'??(i?=>?i?<=?0):?(i?=>?i?>=?0); }

大概意圖是這樣的，isNegative 是表示條件是否取反，true 是 false 的反向操作，比如上面的代碼，如果 isNegative 為 false，filter 表示 >0，則 isNegative 為 true , filter 表示為 <=0

第二次看這樣的代碼的時候，感覺是不是可以優化一下，如果 isNegative 為 true 的時候取一個反，于是改成了下面這樣

第二版：

filter?=?oper?==?'>'??(i?=>?i?<?0):?(i?=>?i?>?0); if?(isNegative) {filter?=?i?=>?!filter(i); }

這樣看起來是不是簡單一些，但就是這樣的代碼會導致 StackOverflow

上面的代碼 filter = i => !filter(i); 等同于下面這樣的代碼：

Func<int,?bool>?filter?=?x?=>?x>0; filter?=?delegate?(int?i)?=> {return?filter(i);???? };

如果覺得沒有什么問題，我們可以再往下看，將上面的代碼使用 ILSpy 使用 C# 1.0 翻譯一下，可以看到翻譯后的結果如下：

<>c__DisplayClass4_0?<>c__DisplayClass4_?=?new?<>c__DisplayClass4_0(); <>c__DisplayClass4_.func?=?<>c.<>9__4_0????(<>c.<>9__4_0?=?new?Func<int,?bool>(<>c.<>9.<Main>b__4_0)); <>c__DisplayClass4_.func?=?new?Func<int,?bool>(<>c__DisplayClass4_.<Main>b__1);private?sealed?class?<>c {public?static?readonly?<>c?<>9?=?new?<>c();public?static?Func<int,?bool>?<>9__4_0;internal?bool?<Main>b__4_0(int?x){return?x?>?0;} }private?sealed?class?<>c__DisplayClass4_0 {public?Func<int,?bool>?func;internal?bool?<Main>b__1(int?x){return?func(x);} }

從上面的代碼可以看出來，這里發生了一個死循環，<>c__DisplayClass4_0 的 func 在調用的時候會調用 <Main>b__1 方法，而這個方法會再次調用 func 這個委托，之后互相調用起來最后就爆棧了...

那么上面的代碼是不是可以優化呢，可能也談不上優化，只是用了模式匹配換了一種寫法罷了，第三版寫法如下：

Func<int,?bool>?filter?=?(isNegative,?oper)?switch {(false,?'>')?=>?i?=>?i?>?0,(false,?_)?=>?i?=>?i?<?0,(true,?'>')?=>?i?=>?i?<=?0,(true,?_)?=>?i?=>?i?>=?0, };

這里使用了 switch 的模式匹配來簡化代碼，效果和第一種方式完全一樣，只是換了一種寫法

StackOverflow enhancement

我們拿前面第二種寫法的一個最簡化的代碼來做一個測試，代碼如下：

Func<int,?bool>?filter?=?x?=>?x>0; filter?=?delegate?(int?i)?=> {return?filter(i);???? }; Console.WriteLine(filter(10));

首先把項目修改成 .netcoreapp3.1，然后運行這段代碼，輸出結果如下：

只有一句 Stack overflow.

然后將項目改成 .net6.0 再運行，輸出結果如下：

可以看到在 .NET 6 下，StackOverflow 的時候會打印出一個重復的次數以及調用的堆棧信息，這對于我們我們排查問題來說會非常的友好，可以讓我們更快更準確的找到問題代碼，減少焦慮的時間

More

在之前的版本中，如果發生了 StackOverflow 我們需要依賴 Dump 去分析調用堆棧，即使現在微軟的文檔中還有根據 dump 分析 StackOverflowException 的，這一優化可以幫助我們很好很高效的找到發生錯誤的代碼

References

• https://github.com/WeihanLi/SamplesInPractice/blob/master/StupidSamples/StackOverflowSample.cs#L49

• 寫了多年代碼，你會 StackOverflow 嗎

總結

以上是生活随笔為你收集整理的.NET 6 对 StackOverflow 的优化的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。