传递带有约束的泛型类型作为 Type<Constraint>

Question

如果我GenericClass的类型约束为where T : BaseType，为什么我不能将其作为 传递GenericClass<BaseType>？

class GenericClass<T> where T : BaseType

{

    void Method()

    {

        new UtilityClass().Method(this);

    }

}

class UtilityClass

{

    internal void Method(GenericClass<BaseType> genericClass)

    {

    }

}

静态分析器错误：

Cannot convert from 'GenericsPoc.GenericClass<T>' to 

'GenericsPoc.GenericClass<GenericsPoc.BaseType>'

我没想到这一点，因为UtilityClass<T>在T具有继承BaseClass。

Answer 1

您需要进行修改，UtilityClass以便该方法也向下传递泛型类型：internal void Method<T>(GenericClass<T> genericClass) where T: BaseType{}

Answer 2

这个问题每天都会被问到。再一次！class Cage<T> where T : Animal{&nbsp; public void Add(T t) { ... }}现在你的问题是：为什么这是非法的？Cage<Animal> cage = new Cage<Gerbil>();因为这一行是合法的：cage.Add(new Tiger());Cage<Animal>有一个方法Add，它需要Animal. ATiger是 anAnimal所以必须是合法的。但这意味着我们只是将老虎放入沙鼠笼中。由于该行必须是合法的并且会导致类型错误，因此其他一些行必须是非法的，现在您知道它是哪一行了。你想要的特性称为泛型协方差，它在 C# 中是合法的，当：泛型类型是接口或委托可变类型参数是引用类型接口或委托已被标记为安全的变化。例如：IEnumerable<Animal> animals = new List<Tiger>() { new Tiger() };那是合法的。List<Tiger>implements IEnumerable<Tiger>，它是一个接口并标记为协方差安全，因此可以将其分配给IEnumerable<Animal>。您会注意到无法将鸭子放入动物序列中，因此无法将鸭子放入老虎序列中。这就是我们如何知道协方差是安全的。