为何泛型函数无法返回null？C#可空类型与泛型约束疑问

核心问题：泛型约束不算方法签名的一部分 #

C#的重载规则里，判断两个方法是否重复，只看方法名、类型参数数量、参数列表的类型，泛型约束完全不在判定范围内。哪怕你两个方法的约束完全互斥（一个要求class、一个要求struct），只要方法名、类型参数个数、参数列表都一样，编译器就会认定是重复定义，直接抛出CS0128错误。

为什么无约束的泛型方法会报错？ #

你写的T? ReturnNull<T>() => null;触发CS0403，本质是编译器拿不准null能不能适配T?：

• 要是T是引用类型，T?是可空引用类型，null没问题；
• 要是T是非可空值类型，T?是Nullable<T>，虽然null能转成Nullable<T>，但编译器会因为T可能是那种本身不能为null的值类型，直接报错。

其实不用搞重载，一行代码就能搞定所有场景：

T? ReturnNull<T>() => default;

• 当T是引用类型时，default(T?)就是null；
• 当T是值类型时，default(T?)就是Nullable<T>的默认实例（等价于null）。

单独加约束的方法为啥能运行？ #

当你给T加class约束时，编译器明确知道T是引用类型，T?是可空引用类型，null直接就能赋值；
加struct约束时，T?是Nullable<T>，null能隐式转成这个类型，所以编译都能过。但这俩方法不能放一起，因为它们的签名完全一致。

替代方案 #

如果非要分开处理引用类型和值类型的场景，别用重载，直接给方法起不同的名字就行：

T? ReturnNullForClass<T>() where T : class => null;
T? ReturnNullForStruct<T>() where T : struct => null;

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