C#泛型notnull约束下值类型无法使用可空方法签名的问题

代码片段 #

public static void Main()
{
    var t = new Test<uint>();

    t.Run(null);
}

public class Test<T> where T: notnull
{
    public void Run(T? value)
    {
        Console.WriteLine(value is null);
    }
}

问题描述 #

我需要约束泛型类型T为非空类型，但Run方法要接受该类型的可空版本。实际运行时发现：

• 当T为值类型（比如uint）时，Run方法的参数签名是uint而非uint?，无法传入null；
• 当T为引用类型时，参数签名是正确的可空引用类型，能正常传入null。
  将约束改为struct时值类型可以正常工作，但我需要同时支持引用类型和值类型，请问这一现象的原因是什么？

原因分析 #

这是C#中可空类型修饰符?在泛型场景下的特殊解析规则导致的：

• 当泛型约束为notnull时，T的范围包含非空引用类型和值类型（值类型本身默认就是非空的）。
• 对于引用类型：T?会被解析为可空引用类型，编译器生成的方法签名允许传入null，符合预期。
• 对于值类型：在notnull约束下，编译器不会将T?解析为Nullable<T>（值类型的可空包装）。因为notnull约束并没有限定T是引用类型，而值类型本身是非空的，此时T?会被视为与T完全等价的类型，所以参数签名变成了uint而非uint?，自然无法传入null。
• 当约束改为struct时，T被限定为值类型，此时T?会被明确解析为Nullable<T>，因此能正常接受null值。

如果需要同时支持引用类型和值类型的可空参数，可以考虑以下方案：

• 为泛型类编写两个重载：一个针对引用类型（添加class约束），一个针对值类型（添加struct约束）；
• 使用object?作为参数类型（但会丢失编译期类型安全性）；
• 借助C#的Nullable属性或手动在代码中判断T的类型，做针对性处理。

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