协变 And 逆变，====================

[【Help】]

对于协变和逆变不知道日常中大家是什么情况下会用到？

以下是一个协变的小列子，但是没有体现出具体协变的作用，难道只是为了不子类到父类的不报错吗？他协变后最终是父类的实例，这样做没有看到什么作用，还不如直接就new List<Base>（）了，没有看到具体的一个作用

using System;
using System.Collections.Generic;

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            List<Test1> list = new List<Test1>
            {
                new Test1 {t = "t1"},
                new Test1 {t = "t2"}
            };
            
            IEnumerable<Base> strings = list;

            foreach (var item in strings)
            {
                Console.WriteLine(item.b);
            }
        }

    }

    public class Base
    {
        public string b { get; set; }
    }

    public class Test1:Base
    {
        public string t { get; set; }
    }
}

[以专业开发人员为伍]

协变逆变是为了真正需要多态的场合。你这个代码根本不需要多态，定义一个 IEnumerable<Base> strings 还不如直接定义一个 IEnumerable<Test1> strings 更直接，所以这里你没有体现出多态的工程开发意义所以展出不出需求来！

[以专业开发人员为伍]

多态是什么软件工程背景？ 首先有 IEnumerable<Base> strings，这个时候还根本不知道有 Test1 类型呢，是在与这个 strings 变量相关的代码发布了很久才有了扩展，这时候扩展部分需要借助父类来外界打交道、这时候真正需要继承。 不是为了继承而继承，而是真正理解继承。那个时候就不会因为简单的多态概念而怀疑编程方法了。

[以专业开发人员为伍]

List<T> 本身不支持多态，也就是说 List<Base> 跟 List<Test1> 并不具有兼容性！那么这个时候就需要写一个类似

var
 result = list.Cast(x=> (Base)x);

这样的转换代码使得 list 能转换为 Base 的可枚举列表。有了协变逆变的 in、out 声明，那么在过程接口就直接支持多态了，不需要自己写列表的转换语句了。

[闭包客]

你仔细看会发现，那就是用在委托的输入和输出的，比如 Func 委托。

[【Help】]

引用 3 楼 sp1234 的回复:

List<T> 本身不支持多态，也就是说 List<Base> 跟 List<Test1> 并不具有兼容性！那么这个时候就需要写一个类似

var
 result = list.Cast(x=> (Base)x);

这样的转换代码使得 list 能转换为 Base 的可枚举列表。有了协变逆变的 in、out 声明，那么在过程接口就直接支持多态了，不需要自己写列表的转换语句了。

谢谢大牛