C#泛型场景下类无法转换为接口的问题排查与解决

背景 #

有一个需要接收泛型接口作为参数的方法，用动物类简化业务逻辑：typeOfAnimal代表Fox、Cat等具体动物类，IDefinition<T>是封装任意动物定义的接口。当前实现可正常运行，但希望重构掉传入自身实例的写法。

当前可行代码 #

Fox类 #

public class Fox : Animal {
   public void Init()
        {
            DefinitionOfFox definition = new DefinitionOfFox();
            definition.Method1<Fox>(this, definition);
        }
}

DefinitionOfFox类 #

public class DefinitionOfFox : IDefinition<Fox>
{
    public void Method1<T>(T typeOfAnimal, IDefinition<T> definition)
    {
        OtherService otherService = new OtherService();
        otherService.Method2<T>(typeOfAnimal, definition);
    }
}

OtherService类 #

public class OtherService
{
    public void Method2<T>(T typeOfFox, IDefinition<T> definition)
    {

    }
}

理想重构代码（编译报错） #

Fox类的Init方法 #

public void Init()
{
    DefinitionOfFox definition = new DefinitionOfFox();
    definition.Method1<Fox>(this);
}

DefinitionOfFox类 #

public class DefinitionOfFox : IDefinition<Fox>
{
    public void Method1<T>(T typeOfAnimal)
    {
        DefinitionOfFox definition = new DefinitionOfFox();
        OtherService otherService = new OtherService();
        otherService.Method2<T>(typeOfAnimal, definition);
    }
}

疑问 #

编译器报错：无法将DefinitionOfFox转换为IDefinition。为何当前状态可行而理想状态不行？能否实现理想状态？

为什么当前可行、理想状态不行？ #

当前状态中，调用definition.Method1<Fox>(this, definition)时，明确指定了泛型参数T=Fox，此时IDefinition<T>就是IDefinition<Fox>，而DefinitionOfFox正好实现了这个接口，类型完全匹配，编译自然通过。

理想状态的Method1<T>是开放泛型方法，编译器无法保证传入的T一定是Fox——哪怕调用时传了T=Fox，方法内部也没有泛型约束限制T必须和当前类实现的IDefinition<T>的T一致。比如若有人调用definition.Method1<Cat>(new Cat())，此时IDefinition<T>是IDefinition<Cat>，但DefinitionOfFox并未实现该接口，类型转换必然失败，所以编译器提前报错规避这种风险。

如何实现理想状态？ #

提供两种可行方案：

方案1：给泛型方法添加约束，绑定T与当前类的接口实现 #

修改DefinitionOfFox的Method1，添加泛型约束，确保T对应的IDefinition<T>就是当前类实现的接口，同时直接用this代替新建实例：

public class DefinitionOfFox : IDefinition<Fox>
{
    // 约束T必须是Fox，且当前类实现IDefinition<T>
    public void Method1<T>(T typeOfAnimal) where T : Fox, IDefinition<T>
    {
        OtherService otherService = new OtherService();
        otherService.Method2<T>(typeOfAnimal, this);
    }
}

方案2：去掉方法泛型，直接使用类绑定的具体类型 #

既然DefinitionOfFox仅针对Fox实现IDefinition<Fox>，可将Method1改为非泛型方法，直接绑定Fox类型：

public class DefinitionOfFox : IDefinition<Fox>
{
    // 去掉泛型T，直接使用Fox类型
    public void Method1(Fox typeOfAnimal)
    {
        OtherService otherService = new OtherService();
        otherService.Method2<Fox>(typeOfAnimal, this);
    }
}

对应的Fox类Init方法调用时无需指定泛型参数：

public void Init()
{
    DefinitionOfFox definition = new DefinitionOfFox();
    definition.Method1(this);
}

此方案更简洁，适合每个DefinitionXX类仅对应一种动物类型的场景。

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