为什么 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中文网其他相关文章！