为何重写返回Task<T?>的类方法编译失败，接口则正常？

public class A
{
    public virtual Task<T?> M<T>()
    {
        throw new NotImplementedException();
    }
}

public class B : A
{
    public override Task<T?> M<T>()
    {
        throw new NotImplementedException();
    }
}

编译时会触发如下错误：

CS0508: 'B.M<T>()': return type must be 'Task<T?>' to match overridden member 'A.M<T>()'

问题原因 #

这一现象的核心是C#中类的方法重写与接口方法实现的类型匹配规则存在本质差异：

• 类的虚方法重写要求完全精确的类型匹配
  在类的继承体系中，虚方法重写对返回类型的检查极为严格，要求子类返回类型与基类完全等同。示例里基类A的M<T>返回Task<T?>，这里的T?语义会随T的类型动态变化：当T是值类型时等价于Nullable<T>，当T是引用类型时是可空引用类型。子类B重写时，编译器无法确认子类的Task<T?>与基类的Task<T?>是完全一致的构造类型，因此抛出类型不匹配错误。

• 接口方法实现遵循契约式匹配，支持语义兼容
  当A改为接口后，接口定义的是行为契约而非严格的类型绑定。实现类的方法返回值只要满足契约语义（即返回包装了可空T的Task），编译器就会判定兼容。此外，接口方法实现支持返回类型协变，对可空修饰符的处理更灵活，不需要像类重写那样要求完全的类型等同。

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