泛型接口可空属性实现报错，非基类继承场景求解

问题背景 #

我查阅了多个泛型可空类型相关问题，但仍无法理解为何MinMaxBase<T>和MyIntDecl可编译，而YourIntDecl不能。编译器错误如下：

'YourIntDecl' 未实现接口成员 'IMinMaxDecl.MinValue'。'YourIntDecl.MinValue' 无法实现 'IMinMaxDecl.MinValue'，因为它没有匹配的返回类型 'short'。

移除IComparable约束后，public class YourIntDecl : IMinMaxDecl<Int16?>可编译（注意使用了可空Int16作为类型参数），但添加约束后会报错：

类型 'short?' 不能用作泛型类型或方法 'IMinMaxDecl' 中的类型参数 'T'。可空类型 'short?' 不满足 'System.IComparable' 的约束。可空类型无法满足任何接口约束。

若因需继承其他基类而无法使用MinMaxBase，正确解决方案是什么？

代码示例 #

public interface IMinMaxDecl<T> where T : IComparable
{
    T? MinValue { get; set; } // 需要可空，因为是可选值
    T? MaxValue { get; set; } // 需要可空，因为是可选值
}

public abstract class MinMaxBase<T> : IMinMaxDecl<T> where T : IComparable
{
    public T? MinValue { get; set; }
    public T? MaxValue { get; set; }
}

public class MyIntDecl : MinMaxBase<Int16>; // 编译正常

public class YourIntDecl : IMinMaxDecl<Int16>
{
    public Int16? MinValue { get; set; }
    public Int16? MaxValue { get; set; }
}

错误原因分析 #

1. YourIntDecl编译失败的核心原因
   当T为值类型（如Int16）时，若项目未启用C# 8.0+的nullable上下文，编译器会将接口中的T?解析为非可空的T（即short），而非Nullable<short>。此时YourIntDecl中显式定义的Int16?（即Nullable<short>）与接口要求的非可空short类型不匹配，导致编译错误。而MinMaxBase<T>中使用T?与接口定义完全一致，编译器会同步解析为非可空T，因此MyIntDecl可以正常编译。

2. 可空类型无法满足接口约束的原因
   可空值类型（如short?）并未直接实现IComparable接口，它实现的是泛型版本IComparable<short?>。因此当接口约束为where T : IComparable时，short?无法满足该约束，导致编译报错。

正确解决方案 #

方案1：启用Nullable上下文并隐式实现接口 #

如果使用C# 8.0及以上版本，在项目中启用Nullable上下文（通过项目设置或#nullable enable指令），此时编译器会正确将T?解析为可空值类型，直接隐式实现接口即可：

#nullable enable
public class YourIntDecl : IMinMaxDecl<Int16>
{
    public Int16? MinValue { get; set; }
    public Int16? MaxValue { get; set; }
}

方案2：显式实现接口成员 #

显式实现接口的成员，确保类型与接口定义严格匹配，同时可保留类自身的可空属性：

public class YourIntDecl : IMinMaxDecl<Int16>
{
    // 显式实现接口成员，匹配接口的类型定义
    Int16? IMinMaxDecl<Int16>.MinValue { get; set; }
    Int16? IMinMaxDecl<Int16>.MaxValue { get; set; }

    // 类自身对外暴露的可空属性（可选）
    public Int16? MinValue { get; set; }
    public Int16? MaxValue { get; set; }
}

方案3：调整接口定义，明确使用Nullable #

修改接口定义，直接使用Nullable<T>代替T?，同时添加struct约束（确保T为值类型），避免可空修饰符的歧义：

public interface IMinMaxDecl<T> where T : struct, IComparable
{
    Nullable<T> MinValue { get; set; }
    Nullable<T> MaxValue { get; set; }
}

public class YourIntDecl : IMinMaxDecl<Int16>
{
    public Int16? MinValue { get; set; }
    public Int16? MaxValue { get; set; }
}

方案4：调整接口约束以支持可空值类型 #

若需要使用可空值类型作为T，可将接口约束改为where T : IComparable<T>，因为可空值类型实现了IComparable<T?>（即IComparable<T>当T为可空值类型时）：

public interface IMinMaxDecl<T> where T : IComparable<T>
{
    T? MinValue { get; set; }
    T? MaxValue { get; set; }
}

public class YourIntDecl : IMinMaxDecl<Int16?>
{
    public Int16? MinValue { get; set; }
    public Int16? MaxValue { get; set; }
}

内容的提问来源于stack exchange，提问作者Rudiger W.