泛型类协方差

Question

是否可以在C#中编译以下代码？我在Java中编译类似.

public interface IInterface
{
    ...
}

public class Class1 : IInterface
{
    ...
}

public abstract class Base<T> where T : IInterface
{
    ...
}

public class Class2<T> : Base<T> where T : IInterface
{
    ...
}

.
.
.

public SomeMethod()
{
    List<Base<IInterface>> list = new List<Base<IInterface>>();
    Class2<Class1> item = new Class2<Class1>();
    list.Add(item); // Compile error here
}

Answer 1

不,这在C#中是不合法的.C#4及更高版本支持通用接口和通用委托在使用引用类型构造时的协方差和逆变.所以,例如,IEnumerable<T>是协变的,所以你可以说:

List<Giraffe> giraffes = new List<Giraffe>() { ... };
IEnumerable<Animal> animals = giraffes;

但不是

List<Animal> animals = giraffes;

因为动物名单中可以插入一只老虎,但长颈鹿的名单却不能.

在C#中进行协方差和逆变的网络搜索,你会发现很多关于它的文章.

Answer 2

你不能像这样使用泛型。列表类型是 IInterface 但你尝试将 Class1 类型添加到列表中。它应该如下所示。

        List<Base<Class1>> list = new List<Base<Class1>>();
        Class2<Class1> item = new Class2<Class1>();
        list.Add(item);