為什麼 Visual Studio 要為 C# 中新建立的陣列新增可為 Null 的註解？

為什麼 Visual Studio 會為新陣列加上可為空白註解？

在 C# 中，用 new 初始化陣列通常會傳回一個不可為空的型別值。然而，在使用Visual Studio (VS) 中的快速修復將var 替換為顯式類型後，數組聲明可能包含可為空的註釋(?)：

TVal[]? zeroBased = new TVal[size];

這個註釋，由VS 添加，表示該數組可能為null。

C# 中的可空類型和VS

可空類型是 C# 8.0 中引入的引用類型，允許變數表示不可為空值和空值。當專案中啟用 Nullable 或使用 #nullable pragma 時，VS 可能會為使用 var 宣告的參考類型變數推斷可為 null 的參考類型。這個推論甚至適用於引用型別的陣列。

可為空註解的原因

陣列聲明中的可為空註解是 VS 對程式碼解釋的結果。根據 C# 規範，當啟用可為空上下文時，var 會為引用類型推斷可為空引用類型。這是為了防止對變數進行潛在的空賦值，這在使用 var 時不太明顯。

影響和用法

在大多數情況下，新的可為空註解建立的陣列是不必要的。用 new 初始化的陣列保證為非空。但是，如果您打算稍後在程式碼中將 null 指派給數組，則可能需要保留可為 null 的註解以避免編譯錯誤。

結論

雖然在新創建的數組上使用可為空註釋似乎是多餘的，這是VS 在可為空上下文中推斷var 可為空類型的結果。請記住，當使用 new 建立陣列時，此註解是可選的。但是，如果您打算隨後將 null 指派給數組，則保留註解以確保類型安全可能會有所幫助。

以上是為什麼 Visual Studio 要為 C# 中新建立的陣列新增可為 Null 的註解？的詳細內容。更多資訊請關注PHP中文網其他相關文章！