c# - 为什么我不能将对象转换为受约束的泛型？

Question

鉴于我有以下接口(interface)和一个实现它的类:

public interface IAnimal
{
    void Feed();
}

public class Animal : IAnimal
{
    public void Feed()
    {
        // feed
    }
}

当我的 Animal 类实现它时，为什么不能从我的具体类转换为约束为 IAnimal 的泛型？

public class Zoo
{
    private readonly Animal animal = new Animal();

    public TAnimal GetAnimal<TAnimal>() where TAnimal : IAnimal
    {
        return (TAnimal)(this.animal); // This will not compile
    }
}

如果我将 animal 的字段类型更改为 IAnimal 而不是 Animal，那么它可以编译:

public class Zoo
{
    private readonly IAnimal animal = new Animal();

    public TAnimal GetAnimal<TAnimal>() where TAnimal : IAnimal
    {
        return (TAnimal)(this.animal); // this compiles
    }
}

或者，如果我在转换为通用 TAnimal 之前对 IAnimal 进行显式转换，那么这也可以正常编译:

public class Zoo
{
    private readonly Animal animal = new Animal();

    public TAnimal GetAnimal<TAnimal>() where TAnimal : IAnimal
    {
        return (TAnimal)((IAnimal)this.animal); // this compiles
    }
}

所以我的问题是 - 为什么第一个版本不起作用？编译器肯定有足够的信息知道 Animal 实现了 IAnimal，所以给定约束将其转换为 TAnimal 是否有效？还是我在这里遗漏了什么？

Answer 1

Animal 继承自 IAnimal 而 TAnimal 不是继承自 Animal，而是继承自 IAnimal 也是。如果 B 没有继承自 A，则不能从 A 转换为 B，这将是一些喜欢:

DataTable dt = new DataTable();
string str = (string)dt;

即使 DataTable 和 string 继承自 object，您也不能这样做。要在不通过继承关联的类型之间进行转换，您必须定义 conversion operators