為什麼 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中文網其他相關文章！
