前言

最近VS2019正式版發(fā)布了，裝下來順便試用了一下C#8.0，最大的看點應該就是可空引用類型了。不過C#8.0仍然處于Beta的狀態(tài)，而且試用時也遇到了幾個坑。

背景知識說明：

所謂的可空引用類型是指，一旦啟用了可空引用類型這個新特征，引用類型將默認被視為不可空，無法賦予null，除非手工將它設為可空引用類型。

實戰(zhàn)示例：

首先是新建一個C#的項目，在 項目文件(.csproj)里加入兩行配置，目的是啟用“C#8.0語言”和“可空引用類型”：

<LangVersion>8.0</LangVersion>
<NullableContextOptions>enable</NullableContextOptions>

整個文件看起來是這樣的：

這樣就算是整個項目全局啟用了可空引用類型了。

注意：

在VS2019正式版中，使用

<NullableContextOptions>enable</NullableContextOptions>

而不是使用

<NullableReferenceTypes>true</NullableReferenceTypes>

后者在正式版中已經(jīng)失效了。

如果不希望全局啟用可空引用類型的話，可以在程序代碼中加入以下編譯指令：

#nullable enable

這樣可以在加入了該指令的文件中，單獨啟用可空引用類型。但是，極度不推薦這種做法。為什么呢？因為該指令僅僅在該文件中有效，不能跨文件生效，從而無法阻止null逃逸到使用了該指令的文件中，也就是說，用了也等于沒用。

一個很簡單的例子足以證明：

注意上面項目文件中并沒有全局啟用可空引用類型，而下面的Class1.cs中使用了編譯器指令來單獨啟用可空引用類型。

從運行結果可見，空引用仍然逃逸到使用了該指令的作用域中了。別說編譯錯誤，連編譯警告都沒有。完全達不到理想的效果。

因此，強烈建議在項目文件中全局啟用可空引用類型，而不是在某個源文件中單獨使用。

另外，還有一點要注意的是，即使啟用了可空引用類型后，默認情況下，即使對不可空引用賦予null，編譯器也只會生成編譯警告，而不是編譯錯誤。仍然是能夠編譯通過的。一個大項目中，編譯警告不可避免，甚至可能會很多，從而淹沒了“給不可空引用類型賦予空值”這種不起眼的警告。

因此，建議將特定的警告視為錯誤。警告編號為8600、8625、8618、8604，或者將所有警告視為錯誤。具體是在項目文件中加入以下設置（見圖一）：

<WarningsAsErrors>8600 8625 8618 8604</WarningsAsErrors>

或者在項目編輯器中設置也可以：

這是我自己測試得出的結果，可能還有其它潛在的相關警告編號我沒有測試出來。如果有誰知道的話，告訴我一下，謝謝。

做好這些配置之后，可以看到引用類型默認都不能賦予空值了：

這時候普通的引用類型的變量和參數(shù)都不能設為null了。

這樣可以防止空值擴散開來，引起惱人的空引用異常。

但是，這里有個坑需要注意?。。?！

struct里不適用可空引用的規(guī)則?。?/p>

struct里不適用可空引用的規(guī)則?。?/p>

struct里不適用可空引用的規(guī)則?。?/p>

這種情況下直接運行，仍然會拋出空引用異常?。?！C#8.0仍未能完全封堵住空引用的逃逸。

其實我還是比較贊同用不可空引用類型的方案的，而不是可空引用類型的方案。畢竟我想要的，只不過是一個不可空的斷言，只是想利用不可空引用來劃分安全邊界，從而防止空值的擴散。簡單來說就是想將變量和參數(shù)明確聲明為不可空引用類型。因為歷史和現(xiàn)實的原因，大量的庫都還沒能全面使用可空引用類型。這種情況下，只有我使用可空引用類型，是不靠譜的。無法劃分安全邊界。

然而C#選擇了可空引用類型的方案，而且還不是強制啟用，而且默認只是警告。。跟沒有一樣。。。

比方說，我使用了一個第三方庫項目，而空值的來源是正好是該庫項目的，而我對這個庫并沒有源代碼或者修改權限。這時候就無法阻止空值逃逸到我的項目中了。

還是之前的代碼，只是稍微做一下修改。新增了一個庫項目ClassLibrary1，這個庫并沒有使用可空引用類型。

庫的代碼如下：

很簡單，就是LibClass3.GetInstance()本應該返回LibClass2的實例，但是出于某種原因，返回了null。但是我的項目中使用了LibClass2和LibClass3。我的項目是全局啟用了可空引用類型的：

編譯正常，毫無警告和錯誤。一旦運行，則拋出空引用異常：

可見，目前來說，C#8.0的可空引用類型并不能解決外源性的空值擴散，只能解決內源性的空值擴散，無法跨模塊生效。還是洗洗睡吧。

參考資料：

https://docs.microsoft.com/en-us/dotnet/csharp/nullable-references

https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/nullable-types/index

https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/proposals/csharp-8.0/nullable-reference-types-specification

https://github.com/dotnet/roslyn/blob/master/docs/features/nullable-reference-types.md

https://www.youtube.com/watch?v=VdC0aoa7ung

https://stackoverflow.com/questions/54852880/what-is-the-difference-between-nullablecontextoptions-and-nullablereferencetypes

總結

以上就是這篇文章的全部內容了，希望本文的內容對大家的學習或者工作具有一定的參考學習價值，謝謝大家對我們的支持。