前言

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

背景知識說明：

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

實(shí)戰(zhàn)示例：

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

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

整個(gè)文件看起來是這樣的：

這樣就算是整個(gè)項(xiàng)目全局啟用了可空引用類型了。

注意：

在VS2019正式版中，使用

<NullableContextOptions>enable</NullableContextOptions>

而不是使用

<NullableReferenceTypes>true</NullableReferenceTypes>

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

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

#nullable enable

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

一個(gè)很簡單的例子足以證明：

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

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

因此，強(qiáng)烈建議在項(xiàng)目文件中全局啟用可空引用類型，而不是在某個(gè)源文件中單獨(dú)使用。

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

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

<WarningsAsErrors>8600 8625 8618 8604</WarningsAsErrors>

或者在項(xiàng)目編輯器中設(shè)置也可以：

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

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

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

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

但是，這里有個(gè)坑需要注意?。。?！

struct里不適用可空引用的規(guī)則??！

struct里不適用可空引用的規(guī)則！！

struct里不適用可空引用的規(guī)則！！

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

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

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

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

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

庫的代碼如下：

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

編譯正常，毫無警告和錯(cuò)誤。一旦運(yùn)行，則拋出空引用異常：

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

參考資料：

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

總結(jié)

以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，謝謝大家對我們的支持。