为何C#编译器不允许可为空泛型类型属性赋值null？

问题代码 #

public class ClassA<TUid>
{
    public TUid? Uid { get; set; }
}

public class ClassB : ClassA<Guid>
{
    public void Test()
    {
        ClassB dto = new ClassB();
        dto.Uid = null; // 此处编译器报错
    }
}

报错信息 #

Cannot convert null to 'Guid' because it is a non-nullable value type

原因解析 #

核心问题出在C#对泛型中T?语法糖的解析规则上：

• 在非泛型上下文中使用Guid?时，编译器会直接将其解析为Nullable<Guid>（可空值类型），允许赋值null。
• 但在无约束泛型参数上使用T?时，编译器不会自动将值类型的T包装为Nullable<T>：
  1. 泛型参数TUid没有struct约束时，编译器无法提前确定TUid是值类型还是引用类型。
  2. 当TUid被替换为Guid（非空值类型）后，TUid?并不会被解析为Guid?，而是被视为普通的Guid类型（非空值类型），因此无法赋值null。

验证解决方法 #

方法1：给泛型参数添加struct约束 #

如果修改ClassA，给TUid加上值类型约束，TUid?就会被正确解析为Nullable<TUid>：

public class ClassA<TUid> where TUid : struct
{
    public TUid? Uid { get; set; }
}

public class ClassB : ClassA<Guid>
{
    public void Test()
    {
        ClassB dto = new ClassB();
        dto.Uid = null; // 不再报错
    }
}

方法2：直接传入可空值类型作为泛型参数 #

将泛型参数指定为Guid?，此时TUid本身就是可空类型，TUid?等同于Guid?，允许赋值null：

public class ClassB : ClassA<Guid?>
{
    public void Test()
    {
        ClassB dto = new ClassB();
        dto.Uid = null; // 不再报错
    }
}

方法3：改为非泛型类 #

非泛型上下文直接声明Guid?类型属性，编译器可以明确解析为可空值类型：

public class ClassA
{
    public Guid? Uid { get; set; }
}

内容的提问来源于stack exchange，提问作者Serg