C#泛型基类声明可空返回类型 重写时提示必须为非空类型如何解决

问题原因 #

这是C#可空引用类型与泛型结合时的固有规则：
当泛型参数T没有显式添加struct（值类型）或class（引用类型）约束时，T?的语义会根据T的实际类型区别处理：

• 若T为引用类型，T?代表允许为null的对应引用类型
• 若T为值类型，无约束泛型下的T?不会被解析为Nullable<T>，仅会作为可空性注解存在，实际类型仍为不可空的T

你定义的基类中T无约束，当指定T为值类型int时，编译器判定Test()方法的返回类型为int而非int?，因此子类重写时使用int?作为返回类型会触发类型不匹配错误。

可行实现方案 #

方案1：为泛型参数添加struct约束 #

如果该泛型抽象类仅用于值类型场景，直接给T添加值类型约束即可，此时T?会被编译器明确识别为Nullable<T>，子类可正常用int?重写方法：

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

public class B : A<int>
{
    public override int? Test() => 1; // 可正常编译
}

方案2：兼容值类型与引用类型的通用写法 #

如果需要泛型同时支持值类型和引用类型，可使用[MaybeNull]特性标注返回值，配合无约束泛型实现需求：

using System.Diagnostics.CodeAnalysis;

public abstract class A<T>
{
    [return: MaybeNull]
    public abstract T Test();
}

// 值类型实现
public class B : A<int?>
{
    public override int? Test() => 1; // 正常编译
}

// 引用类型实现
public class C : A<string>
{
    public override string Test() => null; // 符合可空性语义要求
}

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