C# 协变与抗变详解

-------------------------------------------------Animal.cs

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication2
{
    public class Animal
    {
    }
}

-------------------------------------------------Dog.cs

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication2
{
    public class Dog:Animal
    {
    }
}

-------------------------------------------------IOut.cs

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication2
{
    public interface IOut<out T>//协变
    {
        T Xb();//T 只能作为返回值
    }
}

-------------------------------------------------IIn.cs

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication2
{
    public interface IIn<in T>//抗变
    {
        void Kb(T t);//T 只能作为参数
    }
}

-------------------------------------------------ListOutIn.cs

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication2
{
    public class ListOutIn<T> : IOut<T>, IIn<T>
    {
        public T Xb()
        {
            throw new NotImplementedException();
        }
        public void Kb(T t)
        {
            throw new NotImplementedException();
        }
    }
}

-------------------------------------------------主程序

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication2
{
    class Program
    {
        static void Main(string[] args)
        {
            //out --> 协变--> 输出--> 隐式转换
            //in  --> 抗变--> 输入--> 显示转换

            //协变
            IOut<Animal> oa = new ListOutIn<Animal>();
            IOut<Dog> od = new ListOutIn<Dog>();
            oa = od;//因为接口是协变的，隐式转换成功
            //抗变
            IIn<Animal> ia = new ListOutIn<Animal>();
            IIn<Dog> id = new ListOutIn<Dog>();
            id = ia;//因为接口是抗变的，显示转换成功
        }
    }
}