类型参数继承的通用类型转换

Question

给出以下代码：

namespace sample
{
    class a { }

    class b : a { }

    public class wrapper<T> { }

    class test
    {
        void test1()
        {
            wrapper<a> y = new wrapper<b>();
            //Error 11  Cannot implicitly convert type 'sample.wrapper<sample.b>' to 'sample.wrapper<sample.a>' 
        }
    }
}

从逻辑上讲，由于b是a ，所以wrapper<b>是wrapper<a> 。 那为什么不能进行这种转换，或者我怎么进行呢？

谢谢。

Answer 1

因为b是a，所以wrapper<b>是wrapper<a>

嗯，.NET泛型类并非如此，它们不能是协变的。 您可以使用接口协方差实现类似的操作：

class a { }
class b : a { }

public interface Iwrapper<out T> { }
public class wrapper<T> : Iwrapper<T> {}

class test
{
    void test1()
    {
        Iwrapper<a> y = new wrapper<b>();
    }
}

Answer 2

这是协方差问题。

类b是a ，但是wrapper<b>不是wrapper<a> 。

您可以使用C＃4的协方差语法来允许它，如下所示：

public interface IWrapper<out T> { ... }

public class Wrapper<T> : IWrapper<T> { ... }

这将指示CLR将Wrapper<B>视为Wrapper<A> 。

（记录：C＃具有大写约定；类名使用Pascal大小写）。

Answer 3

让我们做一个场景。 让我们将类a Mammal ，将类称为b Dog ，并说wrapper<T>类为List<T>

看看这段代码会发生什么

List<Dog> dogs = new List<Dog>();  //create a list of dogs
List<Mammal> mammals = dogs;   //reference it as a list of mammals

Cat tabby = new Cat();
mammals.Add(tabby)   // adds a cat to a list of dogs (!!?!)

Dog woofer = dogs.First(); //returns our tabby
woofer.Bark();  // and now we have a cat that speaks foreign languages

---

（我对“ 如何在字典中存储基层孩子的答案”的部分措辞）