为什么使用 [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? .

它似乎是对普通 class 的简单构造函数调用。 构造函数可以抛出异常但不能返回 null。

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

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

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

这是由语言定义的。

从var的文档中：

重要的

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