在 C# 中的接口中实现逆变

Question

我浏览了很多博客来了解逆变，我了解的越多，我就越困惑。

我的问题是，假设我有一个接口和实现如下

interface ICovariant<in T>
    {
        void add(T _object);
    }
    public class sample<T> : ICovariant<T>
    {
        List<T> lists = new List<T>();
        public void add(T _object)
        {
            lists.Add(_object);
        }
    }
    public class baseClass
    {
        public string name { get; set; }
        public void print()
        {
            Console.WriteLine("one method");
        }
    }
    public class derivedClass : baseClass
    {
        public string address { get; set; }
        public void print()
        {
            Console.WriteLine("one more method");
        }
    }

我像这样实现逆变

ICovariant<derivedClass> derivedClass = new sample<baseClass>();

在上面的行中，我可以在最衍生的类上定义最小的衍生类，但是当我这样做时，我得到了一个错误

derivedClass.add(new baseClass());

为什么会报错？

1. 我在接口中定义时提到了 T 作为逆变。
2. 当我能够初始化具有最少继承类型的示例类时，为什么我不能在调用 add 方法时做同样的事情。

我错过了什么

Answer 1

当我能够用最少继承类型初始化示例类时，为什么我不能在调用 add 方法时做同样的事情？

因为您将对象转换为ICovariant<derivedClass>。 ICovariant<derivedClass> 有一个 add 方法，它只接受 derivedClass 实例，而 baseClass 不是 derivedClass 实例。如果您没有将sample<baseClass> 转换为ICovariant<derivedClass>，而是将其保留为sample<baseClass>（甚至ICovariant<baseClass>），那么add 方法将接受baseClass，而不是derivedClass，您可以将任何baseClass 实例传递给它。