C#里泛型接口支持协变、逆变和不支持协变、逆变的对比?

这其实是对3个问题的补充。

定义一个接口IFoo，既不支持协变，也不支持逆变。

    interface IFoo<T>
    {
        void Method1(T param);
        T Method2();
    }

实现接口IFoo

    public class FooClass<T> : IFoo<T>
    {
        public void Method1(T param)
        {
            Console.WriteLine(default(T));
        }
        public T Method2()
        {
            return default(T);
        }
    }

定义一个接口IBar支持对参数T的协变

    interface IBar<out T>
    {
        T Method();
    }

实现接口IBar

    public class BarClass<T> : IBar<T>
    {
        public T Method()
        {
            return default(T);
        }
    }

 定义一个接口IBaz支持对参数T的逆变

    interface IBaz<in T>
    {
        void Method(T param);
    }

实现接口IBaz

    public class BazClass<T> : IBaz<T>
    {
        public void Method(T param)
        {
            Console.WriteLine(param.ToString());
        }
    }

定义两个有继承关系的类型，IParent和SubClass。

    interface IParent
    {
        void DoSomething();
    }
    public class SubClass : IParent
    {
        public void DoSomething()
        {
            Console.WriteLine("SubMethod");
        }
    }

按照协变的逻辑，分别来使用IFoo和IBar。

            //IFoo 不支持对参数T的协变
            IFoo<SubClass> foo_sub = new FooClass<SubClass>();
            IFoo<IParent> foo_parent = foo_sub;//编译错误

            //IBar 支持对参数T的协变
            IBar<SubClass> bar_sub = new BarClass<SubClass>();
            IBar<IParent> bar_parent = bar_sub;

foo_parent = foo_sub 会提示编译时错误“无法将类型“IFoo<SubClass>”隐式转换为“IFoo<IParent>”。存在一个显式转换(是否缺少强制转换?)”

 

按照逆变的逻辑，分别来使用IFoo和IBaz。

            //IFoo 对参数T逆变不相容
            IFoo<IParent> foo_parent = null;
            IFoo<SubClass> foo_sub = foo_parent;//编译错误

            //IBaz 对参数T逆变相容
            IBaz<IParent> baz_parent = null;
            IBaz<SubClass> baz_sub = baz_parent;

 foo_sub = foo_parent 会提示编译时错误“无法将类型“IFoo<IParent>”隐式转换为“IFoo<ISub>”。存在一个显式转换(是否缺少强制转换?)”