泛型基类与非泛型子类实现接口的编译问题

编译器报错的核心原因是接口实现要求方法签名严格匹配，哪怕参数类型是接口定义参数的子类也不行。

为什么不能用子类参数实现接口？ #

你实现的ISomeInterface<MyEnum>接口明确要求方法签名为：

void SomeMethod(Parent<MyEnum> parent);

而你写的SomeMethod(Child child)是一个独立的重载方法，并非接口方法的实现。从契约角度看，接口承诺“可以接受任意Parent<MyEnum>类型的实例”，但你的方法只能处理Child这一种子类，范围比接口要求的小，无法满足接口的通用性约定——比如如果有人通过接口调用时传入Parent<MyEnum>的另一个子类，你的方法根本无法处理，这就违反了接口的设计初衷。

可行的解决方式 #

方式1：显式接口实现+重载 #

先严格匹配接口签名实现方法，再提供一个接受Child的重载，兼顾接口契约和业务需求：

class SomeClass : ISomeInterface<MyEnum>
{
    // 显式实现接口方法，确保满足契约
    void ISomeInterface<MyEnum>.SomeMethod(Parent<MyEnum> parent)
    {
        if (parent is Child child)
        {
            SomeMethod(child);
        }
        else
        {
            // 处理其他Parent<MyEnum>实例的逻辑（如果需要）
        }
    }

    // 业务层面接受Child的重载方法
    public void SomeMethod(Child child)
    {
        // 你的具体业务逻辑
    }
}

方式2：调整接口泛型约束（如果场景允许） #

如果你的接口本身只需要处理特定子类，可以修改接口定义，把子类类型也纳入泛型参数：

interface ISomeInterface<TChild, TEnum> 
    where TEnum : struct, Enum
    where TChild : Parent<TEnum>
{
    void SomeMethod(TChild child);
}

class SomeClass : ISomeInterface<Child, MyEnum>
{
    public void SomeMethod(Child child)
    {
        // 直接实现业务逻辑
    }
}

补充说明 #

这里容易混淆的是“子类替换父类”的多态特性，但这只适用于方法调用时的参数传递，不适用于接口实现的签名匹配。方法参数的兼容性属于逆变范畴（允许用父类参数替换子类参数），反过来用子类参数替换父类参数是不被允许的，这会破坏接口契约的一致性。

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