为何使用可空类型时方法可共存，非可空时触发“方法已定义”编译错误？

先看两段C#代码的编译结果：

版本1（编译通过） #

interface eer
{    
    public abstract void S1<T>(T? t) where T : struct;
    public abstract void S1<T>(T? t);   // 编译正常
}

版本2（编译报错） #

interface eer
{    
    public abstract void S1<T>(T t) where T : struct;  
    public abstract void S1<T>(T t); // 触发"Method already defined"错误
}

确切原因 #

核心在于C#对泛型方法签名的判定规则，以及可空类型T?的语义差异：

1. 泛型约束本身不参与方法签名的唯一性判定，但T?的语义会被泛型约束改变：

   • 版本1的第一个方法：带where T : struct约束，此时T?等价于Nullable<T>（仅适用于值类型的可空包装类型），T只能是值类型。
   • 版本1的第二个方法：无泛型约束，此时T?是可空引用类型修饰符（当T为引用类型时）或Nullable<T>（当T为值类型时），T可以是任意类型（值类型/引用类型）。
     编译器会认为这两个方法的有效签名存在差异——因为它们支持的泛型参数范围不同，实例化后的方法参数类型可能完全不同，因此允许共存。

2. 版本2中，两个方法的参数都是T，泛型约束不影响签名判定，编译器会认为它们的方法签名（S1<T>(T)）完全重复，因此抛出“方法已定义”的编译错误。

实例说明 #

版本1的合法调用场景

// 调用带struct约束的方法：T必须是值类型
eer obj = ...;
obj.S1<int>(123); // 匹配第一个方法，T=int（值类型，符合约束）

// 调用无约束的方法：T可以是引用类型
obj.S1<string>("hello"); // 匹配第二个方法，T=string（引用类型，不满足第一个方法的struct约束）

版本2的冲突场景

如果版本2能编译，当尝试调用obj.S1<int>(123)时，编译器无法区分应该调用带struct约束还是不带约束的方法——因为它们的签名完全一致，这会导致歧义，因此编译器直接在编译阶段就抛出错误。

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