铸造通用MyClass <Child> 到MyClass <Parent> 在C＃中

Question

假设我有一个父类Animal ，子类Cat和Dog 。 我也有Building<T> ，其中T可以是任何Animal 。

public class<T> Building
{
    public T Inhabitant {get; set;}
}

现在，我想用猫建造一些建筑物，而用狗建造一些建筑物（基于仅在运行时可用的参数）。 为此，我正在尝试创建以下方法：

private Building<Animal> populateBuilding(string animalKind)
{
    if(animalKind == "cat")
    {
        return new Building<Cat>;
    }
    if(animalKind == "dog")
    {
        return new Building<Dog>;
    }
    return null;
}

但是，我无法执行此操作，因为编译器告知无法将Building<Dog>/Building<Cat>强制转换为Building<Animal> 。 我发现了几个描述相似问题但使用列表的示例（例如List<Animal>, List<Dog>, List<Cat> ）。 但是，我没有在我的情况下使用列表，并且想知道是否仍然是这种情况。

Answer 1

你应该阅读有关协变和逆变一些文章，比如这一个 。

在您的情况下， Building类的设计使其不允许任何一个。

假设允许它协变地使用Building 。 然后它将允许以下代码段：

var dogHouse = new Building<Dog>();
var house = (Building<Animal>) dogHouse; // Casting to base class

house.Inhabitant = new Cat(); // Inhabitant of a Building<Animal> is any Animal
dogHouse.Inhabitant.Bark(); // Meow!

如果泛型的方法仅返回类型T值（作为返回值或out parameters），则泛型可以与其类型参数T协变使用。 如果泛型的方法仅接受类型T值作为参数，则可以与其类型参数T协变使用。 在您的情况下，两者都有，即get_Inhabitant返回Animal和set_Inhabitant接受Animal 。

此外，在C＃中，正如在注释中正确指出的那样，协方差和反方差的概念仅应用于接口和委托。

Answer 2

您应该能够做到以下几点：

private Building<Animal> populateBuilding(string animalKind)
{
    var building = new Building<Animal>();

    if (animalKind == "cat")
    {
        return new Building<Animal>
        {
            Inhabitant = new Cat()
        };
    }
    if (animalKind == "dog")
    {
        return new Building<Animal>
        {
            Inhabitant = new Dog()
        };
    }

    return null;
}