为什么使用 [var x = new T()] 解析为 [T?]？

Question

我正在使用 VS2022、.NET 6、C# 10，并在项目范围内启用了可空性上下文。

public static ModelEnumerationAttributeProperty FromPropertyInfo (PropertyInfo propertyInfo, object value)
{
    var property = ModelEnumerationAttributeProperty.FromPropertyInfo(propertyInfo);

    property.PropertyValue = value;
    property.PropertyValueString = value?.ToString();

    return (property);
}

变量property 的自动检测类型解析为可空类型ModelEnumerationAttributeProperty?。

这似乎是对 vanilla 类的简单构造函数调用。构造函数可以抛出异常但不能返回 null。

那么为什么使用 [var x = new T()] 会自动解析为 ？

更新：* 这是调用构造函数的静态重载：

public static ModelEnumerationAttributeProperty FromPropertyInfo (PropertyInfo propertyInfo)
{
    var property = new ModelEnumerationAttributeProperty();

    property.PropertyInfo = propertyInfo;
    property.Type = propertyInfo.PropertyType;
    property.Name = propertyInfo.PropertyType.Name;
    property.FullName = propertyInfo.PropertyType.FullName ?? "";
    property.AssemblyQualifiedName = propertyInfo.PropertyType.AssemblyQualifiedName ?? "";

    property.PropertyName = propertyInfo.Name;

    return (property);
}

如果不可为空，编译器不会标记此重载和返回类型。我还不如打电话给var o = new object();，它会做同样的事情。

Answer 1

这是由语言定义的。

来自the documentation for var：

重要

当 var 与启用的可空引用类型一起使用时，它始终暗示可空引用类型，即使表达式类型不是 可以为空。编译器的空状态分析可防止 取消引用潜在的空值。如果变量从不 分配给一个可能为空的表达式，编译器不会发出任何 警告。如果将变量分配给可能是 null，您必须在取消引用它之前测试它不为 null 避免任何警告。