Csharp 无法覆盖返回 Task 的方法

发布于03月10日

请考虑以下代码:

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>()'个

然而，如果A是一个接口，类似的代码将不会有错误地编译. 该问题似乎不是特定版本的C#所特有的.

这背后的原因是什么？

推荐答案

Dr:可为空的引用类型在语言中引入了一些阻抗不匹配，相对于泛型是particularly.

这与可为空的引用类型有关.在可为空的引用类型存在之前，这段代码根本不会编译，因为T?没有意义.

我不认为think您可以用一种对T作为引用类型和T作为值类型都有意义的方式来定义它(除非底部的NOT NULL/DEFAULT版本这样做)……但如果你 Select 你想要的，你可以适当地限制T个:

将T约束为不可为Null的值类型:

public abstract class A
{
    public abstract Task<T?> M<T>() where T : struct;
}

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

将T约束为引用类型:

public abstract class A
{
    public abstract Task<T?> M<T>() where T : class;
}

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

我确实同意这很奇怪--更奇怪的是notnull约束，其中您需要在覆盖上指定default约束:

public abstract class A
{
    public abstract Task<T?> M<T>() where T : notnull;
}

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

不幸的是，我坦率地承认，我并不完全理解这意味着什么.整个话题让人百思不得其解...