类型参数继承上的泛型类型转换

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 的 covariance 语法来允许它：

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

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

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

（作为记录：C# 有大写约定；类名是 Pascal 大小写的）。

Answer 3

让我们做一个场景。让我们调用类aMammal，类bDog，假设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

---

（我在How to store base class children in a dictionary? 上的回答转述）